agda-server
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1.1 | 2013-10-03 13:00 UTC | PeterDivianszky | +6/−8 lines, 2 filesdep ~pandoc | |
| 0.1.0.1 | 2013-10-03 09:19 UTC | PeterDivianszky | +2/−2 lines, 1 files | |
| 0.1 | 2013-10-03 09:16 UTC | PeterDivianszky | +1649/−0 lines, 20 filesdep +Agdadep +HJavaScriptdep +basesetup-changedbinary-added |
Dependencies of agda-server-0.1.1
Agda >=2.3.3 2.7.0.1 → 2.8.0
| 2025-07-05 20:33 UTC | 2.8.0 | +18634/−12622 lines, 330 filesdep +enummapsetdep +filelockdep +filemanipdep ~STMonadTransdep ~aesondep ~ansi-terminalsetup-changedPVP ok |
| 2024-09-12 18:40 UTC | 2.7.0.1 | +297/−576 lines, 15 filesdep ~basesetup-changedPVP: major bump suggested |
| 2024-08-16 12:31 UTC | 2.7.0 | +9365/−8442 lines, 212 filesdep +pqueuedep −time-compatdep ~basedep ~containersdep ~parallelsetup-changedPVP ok |
| 2024-03-06 10:35 UTC | 2.6.4.3 | +76/−50 lines, 10 filesdep ~basedep ~containersdep ~filepathPVP ok |
| 2024-02-24 09:38 UTC | 2.6.4.2 | — |
showing 5 of 46 versions
HJavaScript >=0 0.4.6 → 0.4.7
| 2010-03-05 16:31 UTC | 0.4.7 | +19/−3 lines, 2 filesdep ~prettyPVP: major bump suggested |
| 2010-02-19 11:17 UTC | 0.4.6 | +15/−2 lines, 2 filesPVP ok |
| 2010-01-25 00:54 UTC | 0.4.5 | +199/−88 lines, 2 filesdep +prettydep ~basePVP ok |
| 2008-05-17 23:09 UTC | 0.4.4 | +606/−565 lines, 3 filesPVP: major bump suggested |
| 2008-03-25 18:40 UTC | 0.4 | +578/−0 lines, 3 filesdep +basesetup-changed |
base <5 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
cmdargs >=0 0.10.21 → 0.10.22
| 2023-03-13 11:19 UTC | 0.10.22 | +22/−20 lines, 9 filesdep ~basesetup-changedPVP: major bump suggested |
| 2021-02-14 10:26 UTC | 0.10.21 | +131/−129 lines, 18 filesPVP: major bump suggested |
| 2018-01-22 18:47 UTC | 0.10.20 | +9/−30 lines, 3 filesPVP: major bump suggested |
| 2018-01-01 22:21 UTC | 0.10.19 | +62/−63 lines, 7 filesdep +semigroupsPVP ok |
| 2017-09-24 22:00 UTC | 0.10.18 | +180/−169 lines, 4 filesdep ~basePVP: major bump suggested |
showing 5 of 49 versions
containers >=0 0.7 → 0.8
| 2025-03-01 13:03 UTC | 0.8 | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
directory >=0 1.3.10.1 → 1.3.11.0
| 2026-05-27 05:59 UTC | 1.3.11.0 | +4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok |
| 2026-01-05 11:08 UTC | 1.3.10.1 | +4989/−4830 lines, 43 filesPVP: major bump suggested |
| 2025-12-24 02:55 UTC | 1.3.10.0 | +90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested |
| 2024-10-11 10:43 UTC | 1.3.9.0 | +235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested |
| 2024-05-20 06:52 UTC | 1.3.8.5 | +15/−13 lines, 7 filesdep ~basePVP ok |
showing 5 of 55 versions
filepath >=0 1.5.4.0 → 1.5.5.0
| 2026-01-20 08:14 UTC | 1.5.5.0 | +68/−12 lines, 8 filesdep +QuickCheckdep +template-haskell-liftdep +template-haskell-quasiquoterPVP ok |
| 2024-11-17 13:06 UTC | 1.5.4.0 | +26/−6 lines, 3 filesdep ~basePVP ok |
| 2024-06-29 15:30 UTC | 1.5.3.0 | +876/−871 lines, 13 filesdep −QuickCheckdep ~basePVP: major bump suggested |
| 2024-01-26 07:02 UTC | 1.5.2.0 | +330/−256 lines, 11 filesdep +generic-derivingdep +generic-randomdep +tastydep ~basedep ~os-stringPVP ok |
| 2023-11-25 08:29 UTC | 1.5.0.0 | +53/−3744 lines, 35 filesdep +os-stringdep ~basePVP ok |
showing 5 of 35 versions
mtl >=0 2.3.1 → 2.3.2
| 2025-12-08 04:58 UTC | 2.3.2 | +112/−21 lines, 12 filesdep ~basenew-uploader |
| 2022-10-31 21:28 UTC | 2.3.1 | +188/−33 lines, 8 filesdep ~base |
| 2022-05-07 20:34 UTC | 2.3 | +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
pandoc >=1.12 3.9.0.2 → 3.10
| 2026-06-04 14:59 UTC | 3.10 | +3118/−2614 lines, 105 filesdep ~aesondep ~asciidocdep ~citeproc |
| 2026-03-19 12:48 UTC | 3.9.0.2 | +86/−86 lines, 5 files |
| 2026-03-18 15:19 UTC | 3.9.0.1 | +2491/−357 lines, 82 filesdep ~asciidocdep ~cryptondep ~crypton-x509-systembinary-added |
| 2026-02-03 22:47 UTC | 3.9 | +3989/−1362 lines, 126 filesdep ~asciidocdep ~basedep ~citeprocbinary-added |
| 2025-12-01 10:13 UTC | 3.8.3 | +15273/−2809 lines, 163 filesdep +asciidocdep ~citeprocdep ~djotdep ~texmathbinary-added |
showing 5 of 220 versions
snap-core >=0 1.0.5.0 → 1.0.5.1
| 2023-02-10 21:32 UTC | 1.0.5.1 | +126/−32 lines, 7 filesdep ~basedep ~bytestringdep ~containersnew-uploader |
| 2022-03-02 21:40 UTC | 1.0.5.0 | +81/−15 lines, 11 filesdep ~attoparsecdep ~hashabledep ~text |
| 2020-07-13 17:59 UTC | 1.0.4.2 | +5/−4 lines, 2 filesdep ~bytestringdep ~semigroups |
| 2019-11-24 01:40 UTC | 1.0.4.1 | +26/−17 lines, 5 filesdep ~basedep ~time |
| 2019-01-30 21:31 UTC | 1.0.4.0 | +57/−19 lines, 4 filesdep ~basedep ~hashabledep ~network |
showing 5 of 78 versions
snap-server >=0 1.1.2.0 → 1.1.2.1
| 2023-02-13 08:56 UTC | 1.1.2.1 | +51/−20 lines, 5 filesdep ~basedep ~bytestringdep ~containersnew-uploader |
| 2020-10-30 14:44 UTC | 1.1.2.0 | +77/−79 lines, 4 filesdep ~attoparsecdep ~basedep ~bytestring |
| 2020-05-20 14:35 UTC | 1.1.1.2 | +9/−9 lines, 3 filesdep ~basedep ~base16-bytestringdep ~timesetup-changed |
| 2019-02-15 20:44 UTC | 1.1.1.1 | +3/−4 lines, 3 filesdep ~basedep ~clockdep ~network |
| 2019-01-30 22:29 UTC | 1.1.1.0 | +107/−64 lines, 9 filesdep ~basedep ~criteriondep ~network |
showing 5 of 94 versions
transformers >=0 0.6.2.0 → 0.6.3.0
| 2026-01-12 12:42 UTC | 0.6.3.0 | +28/−1 lines, 4 files |
| 2025-04-06 22:39 UTC | 0.6.2.0 | +41/−42 lines, 8 filesdep ~ghc-prim |
| 2024-09-25 11:37 UTC | 0.6.1.2 | +70/−21 lines, 19 files |
| 2023-08-01 19:13 UTC | 0.6.1.1 | +281/−42 lines, 11 files |
| 2023-02-04 08:15 UTC | 0.6.1.0 | +64/−4 lines, 8 files |
showing 5 of 42 versions
utf8-string >=0 1.0.1.1 → 1.0.2
| 2021-01-03 18:33 UTC | 1.0.2 | +286/−46 lines, 8 filesdep +HUnitdep +utf8-stringdep ~base |
| 2015-08-23 16:19 UTC | 1.0.1.1 | +12/−2 lines, 3 filesdep ~base |
| 2015-08-21 22:38 UTC | 1.0.1 | +71/−3 lines, 3 filesdep ~base |
| 2015-01-23 01:51 UTC | 1 | +17/−194 lines, 5 filesdep ~base |
| 2014-05-19 08:05 UTC | 0.3.8 | +50/−7 lines, 9 filesdep ~base |
showing 5 of 16 versions
xhtml >=0 3000.4.0.0 → 3000.4.1.0
| 2026-06-18 13:26 UTC | 3000.4.1.0 | +6/−3 lines, 3 filesPVP: major bump suggested |
| 2024-11-17 11:17 UTC | 3000.4.0.0 | +47/−19 lines, 4 filesnew-uploader |
| 2023-07-21 08:33 UTC | 3000.3.0.0 | +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-server