Add new package Sit (executable)
commit9f86f8a4cba1e399f6b4356904c06b41e0b26e3c
authorAndreas Abel <andreas.abel@ifi.lmu.de>
dateThu 12 Aug 2021, 21:20 (5 years ago)
parentbd4535f
build-constraints.yaml+1
@@ -39,6 +39,7 @@ packages:
3939
4040 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
4141 - BNFC
42+ - Sit
4243 - STMonadTrans
4344 - Agda
4445 - agda2lagda