Skip to content
Snippets Groups Projects
Commit 2ac3b74f authored by Ryan Scott's avatar Ryan Scott
Browse files

Merge branch 'Agda-quickfix' into 'master' 

Constrain extra_package version of Agda to patched version

See merge request !162
parents 3ac2072b 0bffd1de
No related branches found
No related tags found
1 merge request!162Constrain extra_package version of Agda to patched version
Pipeline #37162 failed
Stage: test
Stage: update-repo
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
ci/config.sh
+ 1
− 1
View file @ 2ac3b74f
......@@ -101,7 +101,7 @@ extra_package microstache
extra_package singletons
extra_package servant
extra_package hgmp
extra_package Agda
extra_package Agda 2.6.1.3
# Build-tool packages
build_tool_package alex
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment