git.iko.soy/stackage
on master help sign in
Merge pull request #5717 from andreasabel/master
2754fe6Jens Petersen
build-constraints.yaml+1
compare with master
unifiedsplit
@@ -16,6 +16,7 @@ packages:
16 - BNFC
16 - BNFC
17 - STMonadTrans
17 - STMonadTrans
18 - Agda
18 - Agda
19+ - agda2lagda
19
20
20 "Diogo Biazus <diogo@biazus.ca>":
21 "Diogo Biazus <diogo@biazus.ca>":
21 - hasql-notifications
22 - hasql-notifications