From 64aea85458da50c3e1f0b4dde36ce96f05202538 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Thu, 29 Oct 2020 23:51:58 +0100
Subject: [PATCH] Add Agda

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 1d38fa5b..06ab5fbe 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -15,6 +15,7 @@ packages:
     "Andreas Abel <andreas.abel@gu.se> @andreasabel":
         - BNFC
         - STMonadTrans
+        - Agda
 
     "Diogo Biazus <diogo@biazus.ca>":
         - hasql-notifications