haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-08-20 19:14:38 +02:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Remove duplicate "Agda" entry

Browse Source 
The "Agda < 0" under @ars contradicts the "Agda" entry under @andreasabel.
This commit is contained in:
Andreas Abel 2021-01-15 09:58:08 +01:00
parent edb305ea36
commit 4cb5be3f58
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-constraints.yaml
View File

@ -2435,7 +2435,7 @@ packages:
- ipython-kernel - ipython-kernel
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr": "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
- Agda < 0 [] # - Agda moved to Andreas Abel
"James Cook <mokus@deepbondi.net> @mokus0": "James Cook <mokus@deepbondi.net> @mokus0":
- dependent-map < 0 # via constraints-extras - dependent-map < 0 # via constraints-extras