From 9f86f8a4cba1e399f6b4356904c06b41e0b26e3c Mon Sep 17 00:00:00 2001 From: Andreas Abel Date: Thu, 12 Aug 2021 21:20:54 +0200 Subject: [PATCH] Add new package Sit (executable) --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 51ff4f3a..6d79eb81 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -39,6 +39,7 @@ packages: "Andreas Abel @andreasabel": - BNFC + - Sit - STMonadTrans - Agda - agda2lagda