git.iko.soy/stackage
on master help sign in
Merge pull request #6165 from andreasabel/Sit
e032886jkachmar
build-constraints.yaml+1
compare with master
unifiedsplit
@@ -39,6 +39,7 @@ packages:
39
39
40 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
40 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
41 - BNFC
41 - BNFC
42+ - Sit
42 - STMonadTrans
43 - STMonadTrans
43 - Agda
44 - Agda
44 - agda2lagda
45 - agda2lagda