proof-assistant-bot
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.2.2 | 2024-02-07 21:20 UTC | swamp_agr | +489/−106 lines, 29 filesdep +telegram-bot-apidep ~Agdadep ~basedep ~mtl | |
| 0.2.1 | 2023-02-07 21:48 UTC | swamp_agr | +38/−15 lines, 8 filesdep ~Agdadep ~telegram-bot-simple | |
| 0.2.0 | 2022-12-10 20:28 UTC | swamp_agr | +2103/−0 lines, 37 filesdep +Agdadep +asyncdep +base |
Dependencies of proof-assistant-bot-0.2.2
Agda >=2.6.4 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
async >=0 2.2.5 → 2.2.6
| 2026-01-07 11:26 UTC | 2.2.6 | +503/−61 lines, 7 filesdep +unordered-containersPVP: major bump suggested |
| 2023-11-21 08:08 UTC | 2.2.5 | +1025/−797 lines, 5 filesdep ~basedep ~hashablePVP: major bump suggested |
| 2021-10-04 12:00 UTC | 2.2.4 | +26/−8 lines, 3 filesdep ~basedep ~hashablePVP ok |
| 2021-02-16 10:05 UTC | 2.2.3 | +160/−78 lines, 3 filesdep ~basePVP ok |
| 2019-06-06 08:27 UTC | 2.2.2 | +48/−15 lines, 4 filesdep ~basedep ~hashablePVP: major bump suggested |
showing 5 of 23 versions
base <4.18 4.17.2.1 → 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
bytestring >=0 0.12.1.0 → 0.12.2.0
| 2024-12-06 21:41 UTC | 0.12.2.0 | +538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok |
| 2024-02-16 03:27 UTC | 0.12.1.0 | +3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested |
| 2023-08-16 01:53 UTC | 0.12.0.2 | +16/−2 lines, 3 files |
| 2023-08-05 00:03 UTC | 0.12.0.1 | +47/−9 lines, 3 files |
| 2023-07-07 01:45 UTC | 0.12.0.0 | +1459/−520 lines, 21 filesdep +data-array-bytePVP ok |
showing 5 of 49 versions
dhall >=0 1.42.2 → 1.42.3
| 2025-09-06 18:26 UTC | 1.42.3 | +640/−571 lines, 107 filesdep +microlensdep +microlens-mtldep −lens-family-coredep −profunctorsdep ~template-haskelldep ~timebinary-addedPVP: major bump suggested |
| 2025-01-19 20:49 UTC | 1.42.2 | +825/−567 lines, 71 filesdep +tasty-benchdep −gaugedep ~Diffdep ~QuickCheckdep ~containersbinary-addedPVP: major bump suggested |
| 2023-11-06 05:47 UTC | 1.42.1 | +265/−111 lines, 7 filesdep +unixdep ~Diffdep ~QuickCheckdep ~aesonPVP: major bump suggested |
| 2023-04-19 03:12 UTC | 1.42.0 | +6919/−2817 lines, 481 filesdep +unix-compatdep −system-filepathdep −uri-encodedep ~ansi-terminaldep ~template-haskellbinary-addedPVP ok |
| 2022-08-15 14:36 UTC | 1.41.2 | +278/−86 lines, 13 filesdep +indexed-traversabledep +text-shortdep ~mtldep ~template-haskelldep ~timePVP ok |
showing 5 of 69 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 >=2.3.1 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 outside bounds | +1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader |
| 2018-02-24 22:15 UTC | 2.2.2 outside bounds | +152/−36 lines, 14 filesdep ~base |
| 2014-06-02 02:22 UTC | 2.2.1 outside bounds | +179/−4 lines, 8 filesdep ~basedep ~transformers |
showing 5 of 20 versions
process >=0 1.6.29.0 → 1.6.30.0
| 2026-06-11 10:14 UTC | 1.6.30.0 | +19/−1 lines, 2 files |
| 2026-05-24 11:03 UTC | 1.6.29.0 | +5282/−4831 lines, 7 filesdep ~base |
| 2026-04-18 12:18 UTC | 1.6.28.0 | +70/−33 lines, 3 files |
| 2026-03-08 19:39 UTC | 1.6.27.0 | +3/−2 lines, 2 files |
| 2026-03-07 13:46 UTC | 1.6.26.2 | +4852/−5346 lines, 7 files |
showing 5 of 57 versions
rzk >=0 0.9.1 → 0.9.2
| 2026-07-13 20:50 UTC | 0.9.2 | +2177/−194 lines, 27 filesdep +asyncdep +containersPVP: major bump suggested |
| 2026-06-26 15:57 UTC | 0.9.1 | +245/−94 lines, 7 filesdep ~Globdep ~QuickCheckdep ~aesonPVP: major bump suggested |
| 2026-06-25 05:43 UTC | 0.9.0 | +10368/−7514 lines, 131 filesdep +doctest-paralleldep −doctestdep ~aesondep ~filepathdep ~lenssetup-changed |
| 2026-06-10 14:20 UTC | 0.8.0 | +6521/−2990 lines, 151 filesdep ~aesondep ~filepathdep ~lspsetup-changed |
| 2025-11-05 08:53 UTC | 0.7.7 | +253/−201 lines, 4 filesdep ~mtl |
showing 5 of 34 versions
stm >=0 2.5.3.0 → 2.5.3.1
| 2024-04-12 15:34 UTC | 2.5.3.1 | +7/−3 lines, 3 filesdep ~base |
| 2023-11-17 23:47 UTC | 2.5.3.0 | +222/−123 lines, 6 files |
| 2023-10-06 15:16 UTC | 2.5.2.1 | +11/−5 lines, 3 files |
| 2023-10-05 21:19 UTC | 2.5.2.0 | +258/−270 lines, 9 filesdep ~base |
| 2022-08-04 22:51 UTC | 2.5.1.0 | +42/−5 lines, 5 filesdep +semigroupsdep ~base |
showing 5 of 24 versions
telegram-bot-api >=0 7.4.4 → 7.4.5
| 2025-05-12 05:53 UTC | 7.4.5 | +46/−34 lines, 15 files |
| 2024-11-24 18:48 UTC | 7.4.4 | +7/−3 lines, 4 files |
| 2024-11-07 19:39 UTC | 7.4.3 | +55/−83 lines, 25 filesdep −aeson-prettydep −bytestringdep −cron |
| 2024-10-31 18:59 UTC | 7.4.2 | +7/−3 lines, 4 files |
| 2024-10-20 13:20 UTC | 7.4.1 | +27/−17 lines, 12 files |
showing 5 of 13 versions
telegram-bot-simple ==0.13 0.13 → 0.14.4 newer than bounds
| 2024-11-07 19:39 UTC | 0.14.4 newer than bounds | +20/−5 lines, 5 filesdep ~telegram-bot-api |
| 2024-10-20 13:19 UTC | 0.14.3 newer than bounds | +8/−2 lines, 4 filesdep ~telegram-bot-api |
| 2024-08-26 19:54 UTC | 0.14.2 newer than bounds | +17/−8 lines, 7 files |
| 2024-05-26 13:05 UTC | 0.14.1 newer than bounds | +12/−6 lines, 3 filesdep ~telegram-bot-api |
| 2024-05-25 09:08 UTC | 0.14 newer than bounds | +41/−44 lines, 6 filesdep ~telegram-bot-api |
showing 5 of 35 versions
text >=0 2.1.3 → 2.1.4
| 2026-01-28 08:30 UTC | 2.1.4 | +30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell |
| 2025-08-01 20:08 UTC | 2.1.3 | +2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell |
| 2024-10-26 13:22 UTC | 2.1.2 | +43588/−15378 lines, 41 filesdep ~basedep ~binary |
| 2024-02-16 22:16 UTC | 2.1.1 | +986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell |
| 2023-08-26 18:49 UTC | 2.1 | +448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploader |
showing 5 of 82 versions
unix >=0 2.8.7.0 → 2.8.8.0
| 2025-09-23 08:10 UTC | 2.8.8.0 | +161/−207 lines, 6 filesdep ~basedep ~time |
| 2025-05-10 14:12 UTC | 2.8.7.0 | +8400/−7941 lines, 12 filesdep ~basedep ~time |
| 2024-11-19 15:41 UTC | 2.8.6.0 | +1133/−333 lines, 14 filesdep ~basedep ~time |
| 2024-04-08 19:21 UTC | 2.8.5.1 | +7507/−6738 lines, 5 filesdep ~basedep ~filepathdep ~os-string |
| 2023-12-01 00:53 UTC | 2.8.5.0 | +55/−9 lines, 7 filesdep +os-stringdep ~filepathdep ~time |
showing 5 of 34 versions
unordered-containers >=0 0.2.20.1 → 0.2.21
| 2025-12-13 23:09 UTC | 0.2.21 | +3999/−2731 lines, 20 filesdep −mtldep ~basedep ~bytestringdep ~deepseq |
| 2025-10-02 07:28 UTC | 0.2.20.1 | +106/−52 lines, 12 files |
| 2024-01-09 06:48 UTC | 0.2.20 | +1023/−941 lines, 12 filesdep ~hashabledep ~template-haskell |
| 2022-04-24 15:48 UTC | 0.2.19.1 | +88/−14 lines, 4 filesdep ~basedep ~template-haskell |
| 2022-04-16 13:01 UTC | 0.2.19.0 | +330/−186 lines, 12 filesdep ~base |
showing 5 of 43 versions
Reverse dependencies
no known reverse dependencies