agda-snippets
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 2.5.2 | 2017-06-04 10:57 UTC | LiamOConnorDavis | 1 revisions | +5/−5 lines, 1 filesdep ~Agdadep ~basedep ~transformers |
| 2.5.1 | 2016-04-19 03:56 UTC | LiamOConnorDavis | 1 revisions | +2/−2 lines, 1 filesdep ~Agda |
| 2.4.2.5 | 2016-01-24 19:15 UTC | LiamOConnorDavis | 1 revisions | +13/−6 lines, 2 filesdep +transformersdep ~Agda |
| 2.4.2.4 | 2015-11-04 16:39 UTC | LiamOConnorDavis | 1 revisions | +281/−0 lines, 5 filesdep +Agdadep +agda-snippetsdep +basesetup-changed |
Dependencies of agda-snippets-2.5.2
Agda ==2.5.2 2.5.2 → 2.8.0 newer than bounds
| 2025-07-05 20:33 UTC | 2.8.0 newer than bounds | +18634/−12622 lines, 330 filesdep +enummapsetdep +filelockdep +filemanipdep ~STMonadTransdep ~aesondep ~ansi-terminalsetup-changedPVP ok |
| 2024-09-12 18:40 UTC | 2.7.0.1 newer than bounds | +297/−576 lines, 15 filesdep ~basesetup-changedPVP: major bump suggested |
| 2024-08-16 12:31 UTC | 2.7.0 newer than bounds | +9365/−8442 lines, 212 filesdep +pqueuedep −time-compatdep ~basedep ~containersdep ~parallelsetup-changedPVP ok |
| 2024-03-06 10:35 UTC | 2.6.4.3 newer than bounds | +76/−50 lines, 10 filesdep ~basedep ~containersdep ~filepathPVP ok |
| 2024-02-24 09:38 UTC | 2.6.4.2 newer than bounds | — |
showing 5 of 46 versions
base >=4.8 && <4.10 4.9.1.0 → 4.22.0.0 newer than bounds
| 2025-12-19 11:52 UTC | 4.22.0.0 newer than bounds | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 newer than bounds | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 newer than bounds | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 newer than bounds | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 newer than bounds | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
containers >=0.5 && <0.6 0.5.11.0 → 0.8 newer than bounds
| 2025-03-01 13:03 UTC | 0.8 newer than bounds | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 newer than bounds | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 newer than bounds | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 newer than bounds | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 newer than bounds | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
mtl >=2.1 && <2.3 2.2.2 → 2.3.2 newer than bounds
| 2025-12-08 04:58 UTC | 2.3.2 newer than bounds | +112/−21 lines, 12 filesdep ~basenew-uploader |
| 2022-10-31 21:28 UTC | 2.3.1 newer than bounds | +188/−33 lines, 8 filesdep ~base |
| 2022-05-07 20:34 UTC | 2.3 newer than bounds | +1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader |
| 2018-02-24 22:15 UTC | 2.2.2 | +152/−36 lines, 14 filesdep ~base |
| 2014-06-02 02:22 UTC | 2.2.1 | +179/−4 lines, 8 filesdep ~basedep ~transformers |
showing 5 of 20 versions
network-uri >=2.6 && <2.7 2.6.4.2 → 2.7.0.0 newer than bounds
| 2020-01-31 06:17 UTC | 2.7.0.0 newer than bounds | +220/−277 lines, 7 filesdep +test-frameworkdep +test-framework-hunitdep +test-framework-quickcheck2dep −QuickCheckdep −ghc-primdep −tastydep ~deepseqdep ~parsecdep ~template-haskell |
| 2022-12-27 01:43 UTC | 2.6.4.2 | +108/−171 lines, 4 filesdep ~deepseq |
| 2021-02-08 00:39 UTC | 2.6.4.1 | +6/−3 lines, 3 filesdep ~basedep ~th-compat |
| 2021-02-07 19:55 UTC | 2.6.4.0 | +55/−25 lines, 5 filesdep +QuickCheckdep +tastydep +tasty-hunitdep −test-frameworkdep −test-framework-hunitdep −test-framework-quickcheck2dep ~base |
| 2020-02-18 15:29 UTC | 2.6.3.0 | +57/−12 lines, 6 filesdep ~basedep ~parsecdep ~template-haskell |
showing 5 of 12 versions
transformers >=0.4 && <0.6 0.5.6.2 → 0.6.3.0 newer than bounds
| 2026-01-12 12:42 UTC | 0.6.3.0 newer than bounds | +28/−1 lines, 4 files |
| 2025-04-06 22:39 UTC | 0.6.2.0 newer than bounds | +41/−42 lines, 8 filesdep ~ghc-prim |
| 2024-09-25 11:37 UTC | 0.6.1.2 newer than bounds | +70/−21 lines, 19 files |
| 2023-08-01 19:13 UTC | 0.6.1.1 newer than bounds | +281/−42 lines, 11 files |
| 2023-02-04 08:15 UTC | 0.6.1.0 newer than bounds | +64/−4 lines, 8 files |
showing 5 of 42 versions
xhtml >=3000.2.1 && <3000.3 3000.2.2.1 → 3000.4.1.0 newer than bounds
| 2026-06-18 13:26 UTC | 3000.4.1.0 newer than bounds | +6/−3 lines, 3 filesPVP: major bump suggested |
| 2024-11-17 11:17 UTC | 3000.4.0.0 newer than bounds | +47/−19 lines, 4 filesnew-uploader |
| 2023-07-21 08:33 UTC | 3000.3.0.0 newer than bounds | +639/−304 lines, 15 filesdep +bytestringdep +containersdep +textdep ~base |
| 2018-03-09 17:07 UTC | 3000.2.2.1 | +19/−4 lines, 3 filesdep ~base |
| 2017-06-17 20:51 UTC | 3000.2.2 | +82/−118 lines, 18 filesdep +semigroupsdep ~basenew-uploader |
showing 5 of 17 versions
Reverse dependencies
1 packages depend on agda-snippets