git.iko.soy/stackage
on master help sign in
Still disable `Agda` (#5826)
0b1d276Mihai Maruseac
build-constraints.yaml+1−4
compare with master
unifiedsplit
@@ -25,7 +25,7 @@ packages:
25 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
25 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
26 - BNFC
26 - BNFC
27 - STMonadTrans
27 - STMonadTrans
28− - Agda
28+ - Agda < 0 # https://github.com/commercialhaskell/stackage/issues/5826
29 - agda2lagda
29 - agda2lagda
30 - ListLike
30 - ListLike
31
31
@@ -2434,9 +2434,6 @@ packages:
2434 "Andrew Gibiansky <andrew.gibiansky@gmail.com> @gibiansky":
2434 "Andrew Gibiansky <andrew.gibiansky@gmail.com> @gibiansky":
2435 - ipython-kernel
2435 - ipython-kernel
2436
2436
2437− "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2438− [] # - Agda moved to Andreas Abel
2439−
2440 "James Cook <mokus@deepbondi.net> @mokus0":
2437 "James Cook <mokus@deepbondi.net> @mokus0":
2441 - dependent-map < 0 # via constraints-extras
2438 - dependent-map < 0 # via constraints-extras
2442 - dependent-sum < 0 # via constraints-extras
2439 - dependent-sum < 0 # via constraints-extras