From 52a41d34958f5dd0bfa439c62e6ddea50a75b031 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Sun, 1 Nov 2020 01:02:51 +0100
Subject: [PATCH] Add agda2lagda (new package)

---
 build-constraints.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 06ab5fbe..43b35882 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -16,6 +16,7 @@ packages:
         - BNFC
         - STMonadTrans
         - Agda
+        - agda2lagda
 
     "Diogo Biazus <diogo@biazus.ca>":
         - hasql-notifications