Merge pull request #6165 from andreasabel/Sit

jkachmar · web-flow · commit e032886e4482 · 2021-08-12T19:05:42.000-04:00
Add new package Sit (executable)
diff --git a/build-constraints.yaml b/build-constraints.yaml
@@ -39,6 +39,7 @@ packages:
 
     "Andreas Abel <andreas.abel@gu.se> @andreasabel":
         - BNFC
+        - Sit
         - STMonadTrans
         - Agda
         - agda2lagda

-Original file line number
+Diff line change
     "Andreas Abel <[email protected]> @andreasabel":
         - BNFC
 +        - Sit
         - STMonadTrans
         - Agda
         - agda2lagda