packages feed

Agda-executable

view on Hackage

versionuploadeduploaderchanges
2.3.0.12012-03-12 11:01 UTCUlfNorell+4/−4 lines, 1 filesdep ~Agda
2.3.02011-11-23 09:12 UTCUlfNorell+5/−5 lines, 1 filesdep ~Agdanew-uploader
2.2.102011-02-20 17:33 UTCNilsAndersDanielsson+11/−5 lines, 2 filesdep ~Agdasetup-changed
2.2.82010-09-27 22:09 UTCNilsAndersDanielsson+6/−6 lines, 2 filesdep ~Agda
2.2.62009-12-23 15:50 UTCNilsAndersDanielsson+4/−4 lines, 1 filesdep ~Agda
2.2.42009-07-07 20:19 UTCNilsAndersDanielsson+11/−8 lines, 2 filesdep ~Agdadep ~base
2.2.22009-04-16 21:53 UTCNilsAndersDanielsson+14/−4 lines, 1 filesdep ~Agda
2.2.02009-03-17 17:46 UTCNilsAndersDanielsson+58/−0 lines, 4 filesdep +Agdadep +basesetup-changed

Dependencies of Agda-executable-2.3.0.1

Agda ==2.3.0.1 2.3.0.1 → 2.8.0 newer than bounds
2025-07-05 20:33 UTC2.8.0 newer than bounds+18634/−12622 lines, 330 filesdep +enummapsetdep +filelockdep +filemanipdep ~STMonadTransdep ~aesondep ~ansi-terminalsetup-changedPVP ok
2024-09-12 18:40 UTC2.7.0.1 newer than bounds+297/−576 lines, 15 filesdep ~basesetup-changedPVP: major bump suggested
2024-08-16 12:31 UTC2.7.0 newer than bounds+9365/−8442 lines, 212 filesdep +pqueuedep −time-compatdep ~basedep ~containersdep ~parallelsetup-changedPVP ok
2024-03-06 10:35 UTC2.6.4.3 newer than bounds+76/−50 lines, 10 filesdep ~basedep ~containersdep ~filepathPVP ok
2024-02-24 09:38 UTC2.6.4.2 newer than bounds—

showing 5 of 46 versions

base >=3 && <6 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+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

Reverse dependencies

1 packages depend on Agda-executable

acme-everything 2018.11.18 requires Agda-executable >=0