packages feed

Agda

view on Hackage

versionuploadeduploaderchanges
2.8.02025-07-05 20:33 UTCAndreasAbel4 revisions+18634/−12622 lines, 330 filesdep +enummapsetdep +filelockdep +filemanipdep ~STMonadTransdep ~aesondep ~ansi-terminalsetup-changedPVP ok
2.7.0.12024-09-12 18:40 UTCAndreasAbel3 revisions+297/−576 lines, 15 filesdep ~basesetup-changedPVP: major bump suggested
2.7.02024-08-16 12:31 UTCAndreasAbel+9365/−8442 lines, 212 filesdep +pqueuedep −time-compatdep ~basedep ~containersdep ~parallelsetup-changedPVP ok
2.6.4.32024-03-06 10:35 UTCAndreasAbel2 revisions+76/−50 lines, 10 filesdep ~basedep ~containersdep ~filepathPVP ok
2.6.4.22024-02-24 09:38 UTCAndreasAbel—
2.6.4.12023-11-30 18:10 UTCAndreasAbel3 revisions—
2.6.42023-10-06 12:20 UTCAndreasAbel1 revisions—
2.6.3.12026-01-30 20:16 UTCAndreasAbel—
2.6.32023-01-30 11:50 UTCAndresSicardRamirez5 revisions+23281/−13175 lines, 311 filesdep +STMonadTransdep +dlistdep +time-compatdep −hashtablesdep −template-haskelldep ~Win32dep ~aesondep ~basesetup-changedPVP: major bump suggested
2.6.2.22022-04-02 18:00 UTCAndreasAbel2 revisions+1290/−726 lines, 131 filesdep ~aesondep ~basedep ~bytestringPVP: major bump suggested
2.6.2.12021-12-08 06:39 UTCAndreasAbel4 revisions+5089/−5041 lines, 140 filesdep ~aesondep ~basedep ~bytestringPVP: major bump suggested
2.6.22021-06-19 06:17 UTCAndresSicardRamirez+42808/−29098 lines, 401 filesdep +case-insensitivedep +monad-controldep +paralleldep −geniplate-mirrordep −ieee754dep ~Win32dep ~basedep ~bytestringsetup-changedPVP: major bump suggested
2.6.1.32021-02-07 15:40 UTCAndresSicardRamirez+34/−10089 lines, 18 filesdep ~transformersPVP ok
2.6.1.22020-10-29 21:37 UTCAndreasAbel+8502/−9165 lines, 13 filesdep ~aesondep ~strictsetup-changedPVP: major bump suggested
2.6.1.12020-09-08 13:56 UTCUlfNorell+9813/−9050 lines, 11 filesPVP: major bump suggested
2.6.12020-03-16 05:20 UTCAndresSicardRamirez+55373/−46327 lines, 435 filesdep +ghc-compactdep −EdisonCoredep −filemanipdep −semigroupsdep ~Win32dep ~aesondep ~arraysetup-changedPVP: major bump suggested
2.6.0.12019-05-17 23:02 UTCAndresSicardRamirez+503/−753 lines, 50 filessetup-changedPVP: major bump suggested
2.6.02019-04-12 11:13 UTCAndresSicardRamirez+38364/−24100 lines, 296 filesdep +aesondep +exceptionsdep +splitdep −faildep ~basedep ~containersdep ~stmsetup-changedPVP ok
2.5.4.22018-10-29 16:58 UTCAndresSicardRamirez+428/−162 lines, 25 filesdep +filemanipdep ~textPVP: major bump suggested
2.5.4.12018-07-19 14:10 UTCAndresSicardRamirez+46/−512 lines, 8 filessetup-changedPVP ok
2.5.42018-06-02 19:22 UTCAndresSicardRamirez+28457/−12037 lines, 289 filesdep −monadplusdep −paralleldep −voiddep ~Win32dep ~arraydep ~asyncsetup-changedbinary-addedPVP: major bump suggested
2.5.32017-09-08 22:22 UTCAndresSicardRamirez5 revisions+16415/−23305 lines, 309 filesdep +asyncdep +blaze-htmldep +stmdep −base-orphansdep −shuffledep −transformers-compatdep ~Agdadep ~EdisonCoredep ~Win32PVP: major bump suggested
2.5.22016-12-22 12:39 UTCAndresSicardRamirez3 revisions+34276/−27804 lines, 321 filesdep +faildep +gitrevdep +ieee754dep −EdisonAPIdep −QuickCheckdep −filemanipdep ~Agdadep ~directoryPVP: major bump suggested
2.5.1.22016-11-25 08:38 UTCUlfNorell+954/−13 lines, 6 filesdep ~Agdadep ~EdisonAPIPVP: major bump suggested
2.5.1.12016-06-21 14:53 UTCAndresSicardRamirez1 revisions+397/−197 lines, 28 filesdep ~Agdadep ~EdisonAPIdep ~uhc-utilPVP: major bump suggested
2.5.12016-04-16 22:40 UTCAndresSicardRamirez+35147/−20667 lines, 310 filesdep +EdisonAPIdep +EdisonCoredep +filemanipdep ~Agdadep ~QuickCheckdep ~basesetup-changednew-component:exe:agda-ghc-namesPVP ok
2.4.2.52015-12-18 22:54 UTCAndresSicardRamirez2 revisions+3764/−2964 lines, 67 filesdep +voiddep ~Agdadep ~haskell-src-extsdep ~transformers-compatPVP: major bump suggested
2.4.2.42015-09-26 13:44 UTCAndresSicardRamirez1 revisions+14549/−10927 lines, 178 filesdep −ghc-primdep −old-timedep ~Agdadep ~arraydep ~basePVP: major bump suggested
2.4.2.32015-05-25 16:37 UTCAndresSicardRamirez2 revisions+14425/−11728 lines, 205 filesdep +base-orphansdep +edit-distancedep +geniplate-mirrordep −STMonadTransdep −epicdep −geniplatedep ~Agdadep ~QuickCheckdep ~arrayPVP: major bump suggested
2.4.2.22014-11-26 14:04 UTCAndresSicardRamirez1 revisions+905/−499 lines, 29 filesdep ~Agdadep ~hashtablesPVP: major bump suggested
2.4.2.12014-11-13 23:51 UTCAndresSicardRamirez+18943/−15985 lines, 248 filesdep +template-haskelldep ~Agdadep ~equivalencedep ~haskell-src-extsPVP: major bump suggested
2.4.22014-08-29 07:52 UTCUlfNorell2 revisions+9031/−6751 lines, 116 filesdep ~Agdadep ~basedep ~mtlPVP: major bump suggested
2.4.0.22014-07-29 19:30 UTCAndreasAbel1 revisions+1735/−1071 lines, 158 filesdep ~Agdadep ~basedep ~equivalence
2.4.0.12014-06-16 11:01 UTCUlfNorell+656/−326 lines, 49 filesdep ~Agda
2.4.02014-06-05 10:25 UTCUlfNorell+37275/−158295 lines, 3365 filesdep +STMonadTransdep +boxesdep +data-hashdep ~Agdadep ~QuickCheckdep ~arraybuild-type:Customsetup-changed
2.3.2.22013-10-30 16:33 UTCNilsAndersDanielsson+142906/−5765 lines, 3117 filesdep ~Agdadep ~hashabledep ~hashtablesbinary-added
2.3.2.12013-06-10 14:49 UTCAndresSicardRamirez+127/−68 lines, 10 filesdep ~Agdadep ~QuickCheckdep ~Win32new-uploader
2.3.22012-11-12 01:23 UTCAndreasAbel+23170/−12777 lines, 208 filesdep +Agdadep +Win32dep +deepseqdep −sybdep −utf8-stringdep ~QuickCheckdep ~basedep ~bytestringnew-component:exe:agdanew-uploader
2.3.0.12012-03-12 11:01 UTCUlfNorell+42/−31 lines, 5 filesdep ~arraydep ~basedep ~epicPVP: major bump suggested
2.3.02011-11-23 09:11 UTCUlfNorell+19636/−10586 lines, 186 filesdep +hashabledep +hashtablesdep ~arraydep ~basedep ~bytestringnew-uploaderPVP ok
2.2.102011-02-20 17:33 UTCNilsAndersDanielsson+8483/−5697 lines, 169 filesdep +epicdep +haskell-src-extsdep −Cabaldep −haskell-srcdep ~QuickCheckdep ~basedep ~haskelinePVP: major bump suggested
2.2.82010-09-27 22:09 UTCNilsAndersDanielsson+15189/−9609 lines, 161 filesdep +Cabaldep ~directorysetup-changedPVP: major bump suggested
2.2.62009-12-23 15:42 UTCNilsAndersDanielsson+11598/−6500 lines, 123 filesdep −ghc-primdep −haskell98dep ~QuickCheckdep ~base
2.2.42009-07-07 20:17 UTCNilsAndersDanielsson+2304/−1572 lines, 77 filesdep +sybdep ~base
2.2.22009-04-16 21:53 UTCNilsAndersDanielsson+3382/−527 lines, 75 filesdep ~binarynew-component:exe:agda-mode
2.2.02009-03-17 17:46 UTCNilsAndersDanielsson+37921/−0 lines, 186 filesdep +QuickCheckdep +arraydep +basesetup-changed

Dependencies of Agda-2.8.0

STMonadTrans >=0.4.5 && <0.5 0.4.8 → 0.4.8.1
2025-08-26 07:15 UTC0.4.8.1+13/−6 lines, 2 filesdep ~transformersPVP: major bump suggested
2024-01-04 07:17 UTC0.4.8+34/−27 lines, 4 filesdep −faildep ~basedep ~tasty-quickcheckPVP ok
2023-05-18 15:56 UTC0.4.7+47/−23 lines, 4 filesdep ~basedep ~tastydep ~transformersPVP ok
2021-08-21 12:40 UTC0.4.6+107/−77 lines, 5 filesdep ~basedep ~transformersnew-uploaderPVP: major bump suggested
2020-12-27 12:33 UTC0.4.5+144/−29 lines, 4 filesdep ~mtldep ~tastydep ~transformersPVP ok

showing 5 of 17 versions

Win32 >=2.6.1.0 && <2.15 2.14.2.1 → 2.14.2.2
2026-05-27 18:35 UTC2.14.2.2+8/−5 lines, 4 filesPVP ok
2025-06-23 19:51 UTC2.14.2.1+17/−3 lines, 4 filesPVP ok
2025-05-31 06:32 UTC2.14.2.0+260/−13 lines, 10 filesPVP ok
2024-11-12 20:10 UTC2.14.1.0+235/−11 lines, 11 filesPVP ok
2024-01-13 23:14 UTC2.14.0.0+740/−208 lines, 13 filesdep +os-stringdep ~filepath

showing 5 of 49 versions

aeson >=1.4.7.1 && <2.4 2.3.0.0 → 2.3.1.0
2026-07-05 10:37 UTC2.3.1.0+101/−42 lines, 17 filesdep ~text-iso8601PVP ok
2026-05-21 08:35 UTC2.3.0.0+54/−41 lines, 17 filesdep ~nothunksdep ~text-iso8601new-uploaderPVP ok
2026-05-12 15:10 UTC2.2.5.0+13/−3 lines, 3 filesdep ~semialignPVP ok
2026-04-16 20:18 UTC2.2.4.1+17/−14 lines, 2 filesdep −ghc-primdep ~containersdep ~deepseqdep ~primitivePVP ok
2026-04-15 20:41 UTC2.2.4.0+67/−21 lines, 11 filesdep ~QuickCheckdep ~quickcheck-instancesPVP: major bump suggested

showing 5 of 103 versions

ansi-terminal >=0.10.3 && <1.2 1.1.4 → 1.1.5
2025-12-26 15:19 UTC1.1.5+17/−1 lines, 2 filesPVP ok
2025-12-07 20:14 UTC1.1.4+85/−32 lines, 5 filesPVP ok
2025-07-18 20:35 UTC1.1.3+10/−407 lines, 3 filesdep ~ansi-terminal-typesPVP: major bump suggested
2024-11-14 21:54 UTC1.1.2+81/−15 lines, 6 filesPVP ok
2024-04-23 23:02 UTC1.1.1+68/−12 lines, 6 filesPVP ok

showing 5 of 53 versions

array >=0.5.4.0 && <0.6 0.5.7.0 → 0.5.8.0
2024-09-08 07:13 UTC0.5.8.0+204/−8 lines, 6 filesdep ~basePVP ok
2024-04-12 14:38 UTC0.5.7.0+34/−17 lines, 9 filesdep ~basePVP: major bump suggested
2023-07-10 15:24 UTC0.5.6.0+159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok
2023-02-13 16:01 UTC0.5.5.0+8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok
2019-09-01 06:48 UTC0.5.4.0+33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested

showing 5 of 18 versions

async >=2.2.2 && <2.3 2.2.5 → 2.2.6
2026-01-07 11:26 UTC2.2.6+503/−61 lines, 7 filesdep +unordered-containersPVP: major bump suggested
2023-11-21 08:08 UTC2.2.5+1025/−797 lines, 5 filesdep ~basedep ~hashablePVP: major bump suggested
2021-10-04 12:00 UTC2.2.4+26/−8 lines, 3 filesdep ~basedep ~hashablePVP ok
2021-02-16 10:05 UTC2.2.3+160/−78 lines, 3 filesdep ~basePVP ok
2019-06-06 08:27 UTC2.2.2+48/−15 lines, 4 filesdep ~basedep ~hashablePVP: major bump suggested

showing 5 of 23 versions

base >=4.13.0.0 && <4.22 4.21.2.0 → 4.22.0.0 newer than bounds
2025-12-19 11:52 UTC4.22.0.0 newer than bounds+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

binary >=0.8.7.0 && <0.9 0.8.9.3 → 0.10.0.0 newer than bounds
2018-08-02 10:08 UTC0.10.0.0 newer than bounds+504/−101 lines, 10 filesdep +generic-derivingdep −tardep ~Cabaldep ~QuickCheckPVP ok
2017-03-13 22:00 UTC0.9.0.0 newer than bounds+245/−690 lines, 15 filesdep +tardep −base-orphansdep −binarydep −generic-derivingdep ~Cabaldep ~QuickCheckdep ~basePVP ok
2025-01-28 16:34 UTC0.8.9.3+8/−3 lines, 3 filesPVP ok
2024-04-12 15:16 UTC0.8.9.2+23/−9 lines, 5 filesPVP: major bump suggested
2022-08-04 23:02 UTC0.8.9.1+13/−12 lines, 3 filesPVP ok

showing 5 of 50 versions

blaze-html >=0.9.1.2 && <0.10 0.9.1.2 → 0.9.2.0
2024-03-06 08:07 UTC0.9.2.0+2300/−1786 lines, 19 filesdep ~QuickCheckdep ~containersPVP ok
2019-10-02 15:15 UTC0.9.1.2+12/−3 lines, 2 filesdep ~QuickCheckdep ~bytestringdep ~containersPVP ok
2018-06-12 14:15 UTC0.9.1.1 outside bounds+42/−1 lines, 4 filesPVP: minor bump suggested
2018-06-10 11:18 UTC0.9.1.0 outside bounds+58/−5 lines, 6 filesdep ~HUnitdep ~QuickCheckPVP ok
2017-01-30 16:56 UTC0.9.0.1 outside bounds+16/−1 lines, 2 filesPVP ok

showing 5 of 60 versions

boxes >=0.1.5 && <0.2 0.1.4 → 0.1.5
2018-03-10 20:45 UTC0.1.5+141/−71 lines, 5 filesdep ~base
2015-01-14 16:39 UTC0.1.4 outside bounds+131/−11 lines, 6 filesdep +QuickCheckdep ~basenew-uploader
2013-07-06 16:54 UTC0.1.3 outside bounds+3/−3 lines, 2 filesdep ~splitnew-uploaderPVP ok
2011-08-23 03:23 UTC0.1.2 outside bounds+19/−5 lines, 3 filesnew-uploaderPVP ok
2009-08-22 19:49 UTC0.1.1 outside bounds+9/−2 lines, 3 filesPVP ok

showing 5 of 6 versions

bytestring >=0.10.10.1 && <0.13 0.12.1.0 → 0.12.2.0
2024-12-06 21:41 UTC0.12.2.0+538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok
2024-02-16 03:27 UTC0.12.1.0+3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested
2023-08-16 01:53 UTC0.12.0.2+16/−2 lines, 3 files
2023-08-05 00:03 UTC0.12.0.1+47/−9 lines, 3 files
2023-07-07 01:45 UTC0.12.0.0+1459/−520 lines, 21 filesdep +data-array-bytePVP ok

showing 5 of 49 versions

case-insensitive >=1.2.1.0 && <1.3 1.2.0.11 → 1.2.1.0
2019-05-05 04:35 UTC1.2.1.0+12/−1 lines, 4 filesnew-uploaderPVP: major bump suggested
2018-03-14 20:12 UTC1.2.0.11 outside bounds+21/−17 lines, 2 filesdep ~HUnitdep ~basedep ~bytestringPVP: major bump suggested
2017-05-27 14:27 UTC1.2.0.10 outside bounds+7/−2 lines, 2 filesdep ~HUnitdep ~basedep ~criterionPVP ok
2017-04-22 13:43 UTC1.2.0.9 outside bounds+9/−4 lines, 2 filesdep ~basePVP ok
2017-02-13 22:49 UTC1.2.0.8 outside bounds+7/−2 lines, 2 filesdep ~HUnitPVP ok

showing 5 of 31 versions

containers >=0.6.2.1 && <0.8 0.7 → 0.8 newer than bounds
2025-03-01 13:03 UTC0.8 newer than bounds+8447/−7031 lines, 37 filesnew-uploaderPVP ok
2023-09-27 12:15 UTC0.7+76/−33 lines, 3 filesPVP ok
2023-09-28 04:21 UTC0.6.8+644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested
2023-02-01 03:11 UTC0.6.7+783/−229 lines, 20 filesPVP: major bump suggested
2022-07-22 06:30 UTC0.6.6+736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok

showing 5 of 42 versions

data-hash >=0.2.0.1 && <0.3 0.2.0.0 → 0.2.0.1
2015-05-20 13:52 UTC0.2.0.1+3/−3 lines, 2 filesPVP ok
2012-06-10 08:10 UTC0.2.0.0 outside bounds+179/−14 lines, 8 filesdep +QuickCheckdep +containersdep +data-hashdep ~basesetup-changedPVP ok
2009-04-06 05:05 UTC0.1.0.0 outside bounds+369/−0 lines, 6 filesdep +arraydep +basesetup-changed
deepseq >=1.4.4.0 && <1.6 1.5.2.0 → 1.6.0.0 newer than bounds
2024-09-08 16:18 UTC1.6.0.0 newer than bounds+5/−14 lines, 3 filesdep ~basePVP ok
2025-06-14 22:25 UTC1.5.2.0+13/−4 lines, 3 filesPVP: major bump suggested
2024-09-09 12:48 UTC1.5.1.0+69/−14 lines, 3 filesdep −arraydep ~basePVP: major bump suggested
2023-07-27 19:32 UTC1.5.0.0+619/−532 lines, 5 filesdep ~basePVP ok
2022-12-18 00:14 UTC1.4.8.1+34/−9 lines, 3 filesdep ~basePVP: major bump suggested

showing 5 of 26 versions

directory >=1.3.6.0 && <1.4 1.3.10.1 → 1.3.11.0
2026-05-27 05:59 UTC1.3.11.0+4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok
2026-01-05 11:08 UTC1.3.10.1+4989/−4830 lines, 43 filesPVP: major bump suggested
2025-12-24 02:55 UTC1.3.10.0+90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested
2024-10-11 10:43 UTC1.3.9.0+235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested
2024-05-20 06:52 UTC1.3.8.5+15/−13 lines, 7 filesdep ~basePVP ok

showing 5 of 55 versions

dlist >=0.8.0.8 && <1.1 0.8.0.8 → 1.0
2020-07-18 22:00 UTC1.0+2476/−780 lines, 18 filesdep −Cabaldep ~QuickCheckdep ~deepseqPVP ok
2020-04-02 03:40 UTC0.8.0.8+26/−13 lines, 5 filesdep ~QuickCheckPVP ok
2019-08-05 11:45 UTC0.8.0.7 outside bounds+32/−3 lines, 4 filesdep ~basedep ~deepseqPVP: minor bump suggested
2019-03-29 13:30 UTC0.8.0.6 outside bounds+9/−2 lines, 2 filesdep ~QuickCheckPVP: major bump suggested
2018-09-13 07:03 UTC0.8.0.5 outside bounds+9/−2 lines, 2 filesdep ~QuickCheckPVP: major bump suggested

showing 5 of 24 versions

edit-distance >=0.2.2.1 && <0.3 0.2.1.3 → 0.2.2.1
2015-07-12 17:57 UTC0.2.2.1+383/−228 lines, 15 filesdep +test-framework-quickcheck2dep −test-framework-quickcheckdep ~QuickCheckdep ~basedep ~criterionnew-uploaderPVP ok
2015-05-04 09:23 UTC0.2.1.3 outside bounds+9/−9 lines, 2 filesdep ~basenew-uploaderPVP ok
2013-01-25 23:34 UTC0.2.1.2 outside bounds+309/−193 lines, 9 filesdep +criteriondep +deepseqdep +timedep −old-timedep −parallelPVP ok
2012-10-04 12:50 UTC0.2.1.1 outside bounds+7/−7 lines, 2 filesdep ~basePVP ok
2011-03-28 10:44 UTC0.2.1 outside bounds+6/−6 lines, 3 filesPVP ok

showing 5 of 9 versions

enummapset >=0.6.0.3 && <0.8 0.7.2.0 → 0.7.3.0
2024-09-04 14:31 UTC0.7.3.0+32/−9 lines, 3 filesdep ~aesondep ~basedep ~containersPVP ok
2023-11-17 10:23 UTC0.7.2.0+18/−15 lines, 6 filesdep ~aesondep ~containersdep ~deepseqPVP ok
2022-10-27 16:09 UTC0.7.1.0+33/−4 lines, 4 filesPVP ok
2022-08-05 18:11 UTC0.7.0.0+163/−29 lines, 9 filesdep +aesondep ~basedep ~containersdep ~deepseqPVP ok
2020-05-31 20:36 UTC0.6.0.3+13/−6 lines, 7 filesPVP ok

showing 5 of 13 versions

equivalence >=0.3.5 && <0.5 0.4.1 → 0.4.1.1
2025-08-27 08:52 UTC0.4.1.1+39/−39 lines, 4 filesdep −faildep −template-haskelldep −transformers-compatdep ~QuickCheckdep ~basedep ~containersPVP: major bump suggested
2022-07-26 12:56 UTC0.4.1+128/−36 lines, 5 filesPVP ok
2022-05-26 07:55 UTC0.4.0.1+25/−10 lines, 3 filesPVP ok
2022-02-03 16:34 UTC0.4+220/−207 lines, 6 filesdep +equivalencedep ~STMonadTransdep ~basedep ~mtlnew-uploaderPVP ok
2019-09-09 17:33 UTC0.3.5+28/−34 lines, 6 filesdep −test-frameworkdep −test-framework-quickcheck2dep ~basedep ~mtlPVP ok

showing 5 of 20 versions

exceptions >=0.10.4 && <0.11 0.10.11 → 0.10.12
2026-01-10 20:26 UTC0.10.12+30/−7 lines, 4 filesdep ~QuickCheckdep ~template-haskellPVP ok
2025-10-13 12:05 UTC0.10.11+86/−10 lines, 5 filesPVP ok
2025-06-17 11:54 UTC0.10.10+22/−16 lines, 4 filesdep +tastydep +tasty-hunitdep +tasty-quickcheckdep −test-frameworkdep −test-framework-hunitdep −test-framework-quickcheck2dep ~QuickCheckPVP: major bump suggested
2024-10-31 12:54 UTC0.10.9+51/−160 lines, 5 filesdep −faildep −transformers-compatdep ~QuickCheckdep ~basedep ~mtlPVP: major bump suggested
2024-04-20 19:31 UTC0.10.8+1767/−1763 lines, 13 filesdep ~QuickCheckdep ~template-haskellsetup-changedPVP: major bump suggested

showing 5 of 34 versions

filelock >=0.1.1.5 && <0.2 0.1.1.8 → 0.1.1.9
2026-02-02 07:49 UTC0.1.1.9+18/−9 lines, 2 filesdep ~basePVP ok
2025-08-27 08:00 UTC0.1.1.8+22/−11 lines, 3 filesPVP ok
2023-08-03 09:17 UTC0.1.1.7+17/−5 lines, 2 filesPVP ok
2023-04-06 18:39 UTC0.1.1.6+58/−27 lines, 4 filesdep ~asyncdep ~unixnew-uploaderPVP ok
2020-06-30 11:00 UTC0.1.1.5+53/−5 lines, 4 filesdep ~basePVP ok

showing 5 of 11 versions

filemanip >=0.3.6.3 && <0.4 0.3.6.2 → 0.3.6.3
2015-01-20 23:34 UTC0.3.6.3+28/−10 lines, 3 filesdep ~basedep ~bytestringdep ~directoryPVP: minor bump suggested
2012-09-09 07:05 UTC0.3.6.2 outside bounds+7/−8 lines, 2 filesdep ~bytestringdep ~directorydep ~filepathPVP ok
2012-08-30 03:13 UTC0.3.6.1 outside bounds+17/−19 lines, 4 filesdep −unixPVP ok
2011-02-08 21:49 UTC0.3.5.2 outside bounds+14/−7 lines, 2 filesdep ~basedep ~mtlPVP ok
2010-11-02 04:21 UTC0.3.5.1 outside bounds+2/−2 lines, 1 filesPVP: major bump suggested

showing 5 of 6 versions

filepath >=1.4.2.1 && <1.6 1.5.4.0 → 1.5.5.0
2026-01-20 08:14 UTC1.5.5.0+68/−12 lines, 8 filesdep +QuickCheckdep +template-haskell-liftdep +template-haskell-quasiquoterPVP ok
2024-11-17 13:06 UTC1.5.4.0+26/−6 lines, 3 filesdep ~basePVP ok
2024-06-29 15:30 UTC1.5.3.0+876/−871 lines, 13 filesdep −QuickCheckdep ~basePVP: major bump suggested
2024-01-26 07:02 UTC1.5.2.0+330/−256 lines, 11 filesdep +generic-derivingdep +generic-randomdep +tastydep ~basedep ~os-stringPVP ok
2023-11-25 08:29 UTC1.5.0.0+53/−3744 lines, 35 filesdep +os-stringdep ~basePVP ok

showing 5 of 35 versions

generic-data >=0.9.2.0 && <1.2 1.1.0.1 → 1.1.0.2
2024-12-07 07:44 UTC1.1.0.2+13/−4 lines, 4 filesdep ~basedep ~base-orphansnew-uploaderPVP: major bump suggested
2024-10-19 07:24 UTC1.1.0.1+30/−7 lines, 4 filesdep ~basePVP: major bump suggested
2023-03-14 13:25 UTC1.1.0.0+58/−50 lines, 10 filesdep +tasty-benchdep −criteriondep ~basedep ~base-orphansPVP ok
2023-02-07 17:23 UTC1.0.0.1+22/−22 lines, 4 filesdep ~basePVP: major bump suggested
2022-08-14 10:57 UTC1.0.0.0+225/−76 lines, 10 filesdep ~basePVP ok

showing 5 of 22 versions

ghc-compact >=0.1 && <0.2 (empty) → 0.1.0.0
2017-07-23 14:31 UTC0.1.0.0+570/−0 lines, 5 filesdep +basedep +bytestringdep +ghc-primsetup-changed
gitrev >=1.3.1 && <2 1.3.0 → 1.3.1
2017-03-17 02:35 UTC1.3.1+40/−7 lines, 2 filesPVP ok
2017-03-17 02:05 UTC1.3.0 outside bounds+32/−5 lines, 2 filesdep +base-compatPVP ok
2016-01-11 22:54 UTC1.2.0 outside bounds+24/−13 lines, 2 filesdep ~basePVP ok
2015-08-11 17:41 UTC1.1.0 outside bounds+11/−4 lines, 2 filesPVP ok
2015-03-17 18:56 UTC1.0.0 outside bounds+161/−0 lines, 4 filesdep +basedep +directorydep +filepathsetup-changed
hashable >=1.3.0.0 && <1.6 1.5.0.0 → 1.5.1.0
2026-01-02 17:45 UTC1.5.1.0+7260/−6790 lines, 5 filesdep −HUnitdep −ghc-bignumdep −randomdep ~basedep ~containersPVP: major bump suggested
2024-07-04 19:38 UTC1.5.0.0+50/−156 lines, 4 filesdep −base-orphansdep −ghc-bignum-orphansdep −integer-gmpdep ~QuickCheckdep ~basedep ~bytestringPVP ok
2024-06-24 10:44 UTC1.4.7.0+8/−3 lines, 2 filesPVP ok
2024-06-09 19:43 UTC1.4.6.0+60/−83 lines, 7 filesdep −test-frameworkdep −test-framework-hunitdep −test-framework-quickcheck2PVP ok
2024-06-08 14:07 UTC1.4.5.0+7338/−256 lines, 15 filesdep +primitivedep +tastydep +tasty-hunitdep ~basedep ~bytestringdep ~containersPVP ok

showing 5 of 52 versions

haskeline >=0.7.5.0 && <0.9 0.8.4.1 → 0.8.5.0
2026-06-27 08:23 UTC0.8.5.0+426/−89 lines, 13 filesdep +optparse-applicativePVP ok
2025-10-05 11:48 UTC0.8.4.1+243/−178 lines, 8 filesPVP ok
2025-09-05 12:42 UTC0.8.4.0+237/−91 lines, 16 filesdep ~containersdep ~directoryPVP: major bump suggested
2025-02-08 08:49 UTC0.8.3.0+77/−31 lines, 6 filesdep ~Win32dep ~basenew-uploaderPVP ok
2023-02-22 21:45 UTC0.8.2.1+18/−7 lines, 5 filesdep ~Win32dep ~basedep ~bytestringnew-uploaderPVP ok

showing 5 of 63 versions

monad-control >=1.0.2.3 && <1.1 1.0.3 → 1.0.3.1
2021-08-02 10:16 UTC1.0.3.1+25/−13 lines, 3 filesdep ~transformers
2021-07-26 20:03 UTC1.0.3+6/−2 lines, 2 filesdep ~base
2021-07-26 19:56 UTC1.0.2.4+912/−894 lines, 5 filesdep ~basedep ~transformers-compatsetup-changednew-uploader
2018-02-26 08:14 UTC1.0.2.3+10/−3 lines, 3 filesdep ~transformers-compat
2017-08-06 15:12 UTC1.0.2.2 outside bounds+201/−29 lines, 4 files

showing 5 of 32 versions

mtl >=2.2.2 && <2.4 2.3.1 → 2.3.2
2025-12-08 04:58 UTC2.3.2+112/−21 lines, 12 filesdep ~basenew-uploader
2022-10-31 21:28 UTC2.3.1+188/−33 lines, 8 filesdep ~base
2022-05-07 20:34 UTC2.3+1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader
2018-02-24 22:15 UTC2.2.2+152/−36 lines, 14 filesdep ~base
2014-06-02 02:22 UTC2.2.1 outside bounds+179/−4 lines, 8 filesdep ~basedep ~transformers

showing 5 of 20 versions

murmur-hash >=0.1.0.9 && <0.2 0.1.0.10 → 0.1.0.11
2024-11-12 20:33 UTC0.1.0.11+40/−17 lines, 4 filesnew-uploader
2021-10-31 23:05 UTC0.1.0.10+18/−13 lines, 4 filesdep ~basedep ~bytestring
2016-05-01 15:24 UTC0.1.0.9+23/−3 lines, 2 filesdep ~basedep ~bytestring
2014-12-30 17:31 UTC0.1.0.8 outside bounds+2/−2 lines, 1 filesdep ~base
2014-02-04 13:12 UTC0.1.0.7 outside bounds+2/−2 lines, 1 filesdep ~base

showing 5 of 10 versions

nonempty-containers >=0.3.4.1 && <0.4 0.3.4.5 → 0.3.5.0
2025-05-20 21:41 UTC0.3.5.0+8842/−7783 lines, 21 filesdep ~containerssetup-changed
2023-12-07 00:29 UTC0.3.4.5+24/−23 lines, 9 files
2021-09-26 06:32 UTC0.3.4.4+53/−40 lines, 7 filesdep +invariant
2021-08-26 04:59 UTC0.3.4.3+28/−8 lines, 8 files
2021-08-25 22:55 UTC0.3.4.2+58/−6 lines, 6 files

showing 5 of 14 versions

parallel >=3.2.2.0 && <3.4 3.2.2.0 → 3.3.0.0
2025-10-19 07:46 UTC3.3.0.0+238/−198 lines, 5 filesdep −ghc-primdep ~basenew-uploader
2018-07-13 16:34 UTC3.2.2.0+156/−57 lines, 3 filesdep +ghc-primdep ~basedep ~containersdep ~deepseq
2017-04-08 16:27 UTC3.2.1.1 outside bounds+16/−4 lines, 3 filesdep ~basedep ~deepseq
2016-01-02 08:14 UTC3.2.1.0 outside bounds+42/−18 lines, 4 filesdep ~base
2014-12-28 10:14 UTC3.2.0.6 outside bounds+18/−8 lines, 4 files

showing 5 of 21 versions

peano >=0.1.0.1 && <0.2 0.1.0.3 → 0.1.1.0
2026-01-06 08:07 UTC0.1.1.0+13/−4 lines, 3 files
2025-09-02 06:32 UTC0.1.0.3+17/−6 lines, 3 files
2023-10-23 09:30 UTC0.1.0.2+163/−30 lines, 7 filesdep +peanodep +tasty-benchdep ~basesetup-changednew-uploader
2015-03-27 05:47 UTC0.1.0.1+2/−2 lines, 1 files
2015-03-27 05:42 UTC0.1.0.0 outside bounds+86/−0 lines, 4 filesdep +basesetup-changed
pqueue >=1.4.1.3 && <1.8 1.6.0.0 → 1.7.0.0
2026-04-16 16:30 UTC1.7.0.0+56/−80 lines, 9 filesdep ~base
2025-10-11 18:36 UTC1.6.0.0+356/−408 lines, 19 filesdep ~basedep ~randomdep ~tasty-bench
2023-08-07 22:17 UTC1.5.0.0+857/−336 lines, 21 filesdep ~basedep ~deepseq
2022-10-30 16:10 UTC1.4.3.0+208/−212 lines, 8 filesdep +indexed-traversabledep ~base
2022-06-19 18:29 UTC1.4.2.0+3169/−1319 lines, 25 filesdep +randomdep +tastydep +tasty-benchdep −QuickCheckdep ~basenew-uploader

showing 5 of 21 versions

pretty >=1.1.3.6 && <1.2 1.1.3.5 → 1.1.3.6
2018-01-29 04:01 UTC1.1.3.6+101/−5 lines, 7 filesdep +criteriondep +prettydep ~base
2017-02-03 23:16 UTC1.1.3.5 outside bounds+8/−3 lines, 3 files
2016-06-03 18:38 UTC1.1.3.4 outside bounds+26/−4 lines, 6 files
2016-02-29 19:00 UTC1.1.3.3 outside bounds+165/−109 lines, 7 files
2015-03-19 09:15 UTC1.1.3.2 outside bounds+27/−25 lines, 6 files

showing 5 of 17 versions

process >=1.6.9.0 && <1.7 1.6.29.0 → 1.6.30.0
2026-06-11 10:14 UTC1.6.30.0+19/−1 lines, 2 files
2026-05-24 11:03 UTC1.6.29.0+5282/−4831 lines, 7 filesdep ~base
2026-04-18 12:18 UTC1.6.28.0+70/−33 lines, 3 files
2026-03-08 19:39 UTC1.6.27.0+3/−2 lines, 2 files
2026-03-07 13:46 UTC1.6.26.2+4852/−5346 lines, 7 files

showing 5 of 57 versions

process-extras >=0.7.4 && <0.8 0.7.3 → 0.7.4
2018-02-03 16:53 UTC0.7.4+4/−2 lines, 2 files
2018-01-16 16:25 UTC0.7.3 outside bounds+6/−1 lines, 2 filesdep ~basedep ~deepseq
2017-06-14 18:20 UTC0.7.2 outside bounds+2/−2 lines, 2 files
2016-12-05 19:07 UTC0.7.1 outside bounds+22/−8 lines, 5 files
2016-12-05 18:29 UTC0.7 outside bounds+609/−82 lines, 15 filesdep +HUnitdep +data-defaultdep +mtldep ~ListLikedep ~base

showing 5 of 27 versions

regex-tdfa >=1.3.1.0 && <1.4 1.3.2.4 → 1.3.2.5
2025-09-29 20:12 UTC1.3.2.5+52/−29 lines, 10 filesdep ~basedep ~containersdep ~mtl
2025-05-09 05:29 UTC1.3.2.4+16/−6 lines, 4 files
2025-03-02 15:30 UTC1.3.2.3+46/−45 lines, 8 filesdep −faildep −semigroupsdep ~arraydep ~basedep ~bytestring
2023-08-02 18:55 UTC1.3.2.2+80/−66 lines, 10 filesdep ~containersdep ~filepathdep ~text
2023-05-19 17:16 UTC1.3.2.1+20/−18 lines, 3 filesdep ~bytestring

showing 5 of 36 versions

split >=0.2.3.4 && <0.3 0.2.4 → 0.2.5
2024-01-11 16:34 UTC0.2.5+25/−2 lines, 4 files
2023-10-09 18:34 UTC0.2.4+614/−514 lines, 7 filesdep ~QuickCheck
2022-08-11 16:02 UTC0.2.3.5+30/−5 lines, 4 filesdep ~base
2020-02-22 21:57 UTC0.2.3.4+15/−3 lines, 2 filesdep ~base
2018-01-24 03:00 UTC0.2.3.3 outside bounds+7/−3 lines, 2 filesdep ~base

showing 5 of 25 versions

stm >=2.5.0.0 && <2.6 2.5.3.0 → 2.5.3.1
2024-04-12 15:34 UTC2.5.3.1+7/−3 lines, 3 filesdep ~base
2023-11-17 23:47 UTC2.5.3.0+222/−123 lines, 6 files
2023-10-06 15:16 UTC2.5.2.1+11/−5 lines, 3 files
2023-10-05 21:19 UTC2.5.2.0+258/−270 lines, 9 filesdep ~base
2022-08-04 22:51 UTC2.5.1.0+42/−5 lines, 5 filesdep +semigroupsdep ~base

showing 5 of 24 versions

strict >=0.4.0.1 && <0.6 0.5 → 0.5.1
2024-07-03 09:43 UTC0.5.1+112/−321 lines, 7 filesdep −bifunctor-classes-compatdep −semigroupsdep −transformers-compatdep ~assocdep ~basedep ~binary
2023-03-14 20:10 UTC0.5+21/−19 lines, 3 filesdep +bifunctor-classes-compatdep −bifunctorsdep ~assocdep ~bytestringdep ~deepseq
2020-12-06 14:07 UTC0.4.0.1+8/−7 lines, 3 filesdep ~bytestringdep ~hashabledep ~semigroupsnew-uploader
2020-08-06 13:10 UTC0.4 outside bounds+1529/−310 lines, 14 filesdep +assocdep +bifunctorsdep +binarydep −arraydep ~basenew-uploader
2008-03-07 14:48 UTC0.3.2 outside bounds+2/−55 lines, 4 filesdep ~base

showing 5 of 9 versions

template-haskell >=2.15.0.0 && <2.24 2.23.0.0 → 2.24.0.0 newer than bounds
2025-12-19 11:53 UTC2.24.0.0 newer than bounds+606/−68 lines, 9 filesdep +ghc-internaldep ~basedep ~ghc-boot-th
2024-12-16 09:29 UTC2.23.0.0+104/−5685 lines, 9 filesdep −ghc-primdep −prettydep ~basedep ~ghc-boot-thnew-uploader
2024-05-15 13:07 UTC2.22.0.0+176/−81 lines, 7 filesdep ~basedep ~ghc-boot-th
2023-10-10 00:23 UTC2.21.0.0+275/−148 lines, 7 filesdep ~basedep ~ghc-boot-th
2023-03-28 13:43 UTC2.20.0.0+215/−139 lines, 9 filesdep −filepathdep ~basedep ~ghc-boot-th

showing 5 of 26 versions

text >=1.2.4.0 && <2.2 2.1.3 → 2.1.4
2026-01-28 08:30 UTC2.1.4+30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell
2025-08-01 20:08 UTC2.1.3+2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell
2024-10-26 13:22 UTC2.1.2+43588/−15378 lines, 41 filesdep ~basedep ~binary
2024-02-16 22:16 UTC2.1.1+986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell
2023-08-26 18:49 UTC2.1+448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploader

showing 5 of 82 versions

text-icu >=0.7.1.0 && <0.9 0.8.0.4 → 0.8.0.5
2024-04-06 13:00 UTC0.8.0.5+11/−2 lines, 2 filesdep ~time
2023-10-04 22:11 UTC0.8.0.4+18/−4 lines, 3 files
2023-10-01 14:06 UTC0.8.0.3+67/−27 lines, 6 filesdep ~bytestringdep ~deepseqdep ~text
2022-07-24 20:44 UTC0.8.0.2+152/−36 lines, 18 files
2022-02-10 10:49 UTC0.8.0.1+121/−49 lines, 11 filesdep +semigroupsdep ~basedep ~deepseq

showing 5 of 27 versions

th-lift-instances >=0.1.18 && <0.1.21 0.1.19 → 0.1.20
2022-08-23 09:45 UTC0.1.20+102/−18 lines, 3 filesdep ~containers
2021-12-13 17:35 UTC0.1.19+5/−1 lines, 2 filesdep ~bytestring
2020-11-18 23:19 UTC0.1.18+4/−2 lines, 2 filesdep ~template-haskell
2020-06-09 13:10 UTC0.1.17 outside bounds+42/−8 lines, 2 files
2020-04-13 16:05 UTC0.1.16 outside bounds+54/−40 lines, 2 files

showing 5 of 21 versions

time >=1.9.3 && <1.15 1.14 → 1.16 newer than bounds
2026-05-03 08:43 UTC1.16 newer than bounds+353/−64 lines, 29 filesdep +template-haskell-liftdep ~template-haskell
2025-08-04 16:22 UTC1.15 newer than bounds+1407/−743 lines, 56 filesdep ~basedep ~deepseqdep ~template-haskell
2024-03-10 22:18 UTC1.14+6594/−5536 lines, 73 filesdep +template-haskelldep ~base
2021-10-18 05:36 UTC1.13+1279/−1589 lines, 59 filesdep ~base
2022-05-14 00:07 UTC1.12.2+1526/−1266 lines, 57 filesdep ~base

showing 5 of 47 versions

transformers >=0.5.6.2 && <0.7 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 files

showing 5 of 42 versions

unordered-containers >=0.2.10.0 && <0.3 0.2.20.1 → 0.2.21
2025-12-13 23:09 UTC0.2.21+3999/−2731 lines, 20 filesdep −mtldep ~basedep ~bytestringdep ~deepseq
2025-10-02 07:28 UTC0.2.20.1+106/−52 lines, 12 files
2024-01-09 06:48 UTC0.2.20+1023/−941 lines, 12 filesdep ~hashabledep ~template-haskell
2022-04-24 15:48 UTC0.2.19.1+88/−14 lines, 4 filesdep ~basedep ~template-haskell
2022-04-16 13:01 UTC0.2.19.0+330/−186 lines, 12 filesdep ~base

showing 5 of 43 versions

uri-encode >=1.5.0.7 && <1.6 1.5.0.6 → 1.5.0.7
2020-10-18 08:21 UTC1.5.0.7+10/−5 lines, 2 filesdep ~bytestringdep ~text
2020-07-18 07:13 UTC1.5.0.6 outside bounds+10/−3 lines, 3 files
2016-08-24 17:41 UTC1.5.0.5 outside bounds+6/−2 lines, 2 files
2015-01-26 12:07 UTC1.5.0.4 outside bounds+11/−7 lines, 2 filesdep ~utf8-string
2014-08-18 12:24 UTC1.5.0.3 outside bounds+79/−49 lines, 3 filesdep +network-uridep ~textnew-uploader

showing 5 of 7 versions

vector >=0.12.1.2 && <0.14 0.13.1.0 → 0.13.2.0
2024-10-31 18:01 UTC0.13.2.0+5177/−672 lines, 53 filesdep −HUnitdep ~QuickCheckdep ~basedep ~doctest
2023-10-07 13:35 UTC0.13.1.0+302/−238 lines, 22 filesdep ~QuickCheckdep ~basedep ~doctestnew-uploader
2022-06-19 19:35 UTC0.13.0.0+19079/−19259 lines, 70 filesdep +tasty-benchdep +tasty-inspection-testingdep +vector-streamdep −faildep −ghc-primdep −semigroupsdep ~basedep ~doctestdep ~primitive
2021-09-21 16:21 UTC0.12.3.1+265/−191 lines, 13 filesdep ~basedep ~deepseqdep ~doctest
2021-04-06 19:54 UTC0.12.3.0+1218/−39 lines, 11 filesdep ~basedep ~ghc-prim

showing 5 of 43 versions

vector-hashtables >=0.1.1.1 && <0.2 0.1.2.0 → 0.1.2.1
2025-06-17 19:01 UTC0.1.2.1+6/−2 lines, 2 filesdep ~QuickCheckdep ~quickcheck-instances
2024-04-26 18:33 UTC0.1.2.0+494/−194 lines, 12 filesdep ~QuickCheck
2023-12-13 20:26 UTC0.1.1.4+6/−2 lines, 2 filesdep ~QuickCheck
2023-04-24 02:51 UTC0.1.1.3+122/−576 lines, 3 filesnew-uploader
2023-01-31 16:32 UTC0.1.1.2+11/−6 lines, 2 filesdep ~hspec

showing 5 of 9 versions

zlib >=0.6.2.2 && <0.8 0.7.1.0 → 0.7.1.1
2025-09-06 12:21 UTC0.7.1.1+41/−48 lines, 5 filesdep ~base
2024-04-24 22:06 UTC0.7.1.0+27/−20918 lines, 24 filesdep +zlib-clibdep ~basedep ~tasty-quickcheck
2024-02-07 22:13 UTC0.7.0.0+1596/−1914 lines, 31 filesdep −ghc-primdep ~basedep ~tasty-quickcheck
2022-05-04 00:39 UTC0.6.3.0+11021/−1246 lines, 23 filesdep −tasty-hunitdep ~basedep ~bytestringdep ~tastysetup-changednew-uploader
2021-02-21 18:31 UTC0.6.2.3+148/−51 lines, 5 filesdep ~basedep ~bytestringdep ~tastynew-uploader

showing 5 of 29 versions

Reverse dependencies

11 packages depend on Agda; 6 have bounds that exclude 2.8.0

Agda-executable 2.3.0.1 requires Agda ==2.3.0.1 excludes current (upper bound)
agda-language-server 0.2.6.3.0 requires Agda ==2.6.3 && ==2.6.2.2 && >=0 && ==2.6.3 && ==2.6.2.2 && >=0 && ==2.6.3 && ==2.6.2.2 && >=0 excludes current
agda-snippets 2.5.2 requires Agda ==2.5.2 excludes current (upper bound)
agda-unused 0.3.0 requires Agda >=2.6.2 && <2.6.3 excludes current (upper bound)
agda2train 0.0.3.0 requires Agda >=2.6.3 && <2.6.4 excludes current (upper bound)
PandocAgda 2.3.3.0.2 requires Agda ==2.3.3 excludes current (upper bound)
agda-server 0.1.1 requires Agda >=2.3.3
agda2hs 1.4 requires Agda >=2.8.0 && <2.9.0
blagda 0.1.0.1 requires Agda >=0
hakyll-agda 0.1.13 requires Agda >=2.6.1
proof-assistant-bot 0.2.2 requires Agda >=2.6.4