Skip to content

Constrain extra_package version of Agda to patched version

Ryan Scott requested to merge RyanGlScott/head.hackage:Agda-quickfix into master

Make sure that extra_package Agda doesn't accidentally pick up a later version of Agda than what is currently patched.

Merge request reports