git.iko.soy/stackage
on master help sign in
Merge pull request #5715 from andreasabel/master
4ca19deJens Petersen
build-constraints.yaml+1
compare with master
unifiedsplit
@@ -15,6 +15,7 @@ packages:
15 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
15 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
16 - BNFC
16 - BNFC
17 - STMonadTrans
17 - STMonadTrans
18+ - Agda
18
19
19 "Diogo Biazus <diogo@biazus.ca>":
20 "Diogo Biazus <diogo@biazus.ca>":
20 - hasql-notifications
21 - hasql-notifications