Skip to content
Snippets Groups Projects
Commit 62467804 authored by Matthew Pickering's avatar Matthew Pickering
Browse files

Add mmark as an extra_package

parent b6e826ff
No related branches found
Tags 2_9_1
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
ci/config.sh
+ 1
− 0
View file @ 62467804
...@@ -105,6 +105,7 @@ extra_package singletons ...@@ -105,6 +105,7 @@ extra_package singletons
extra_package servant extra_package servant
extra_package hgmp extra_package hgmp
extra_package Agda 2.6.1.3 extra_package Agda 2.6.1.3
extra_package mmark
# Build-tool packages # Build-tool packages
build_tool_package alex build_tool_package alex
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment