git.iko.soy/stackage
on master help sign in
Add Agda
64aea85Andreas Abel
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