Merge pull request #5717 from andreasabel/master
Add agda2lagda (new package)
commit2754fe64c7c990345ec068dd6a330a0e6d3d630b
authorJens Petersen <juhpetersen@gmail.com>
dateTue 3 Nov 2020, 00:37 (6 years ago)
parent98a59f552a41d3
build-constraints.yaml+1
@@ -16,6 +16,7 @@ packages:
1616 - BNFC
1717 - STMonadTrans
1818 - Agda
19+ - agda2lagda
1920
2021 "Diogo Biazus <diogo@biazus.ca>":
2122 - hasql-notifications