packages feed

language-boogie

view on Hackage

versionuploadeduploaderchanges
0.22013-02-05 16:04 UTCNadiaPolikarpova+3217/−2322 lines, 16 filesdep +ansi-terminaldep +lensdep +stream-monaddep ~containersdep ~language-boogiePVP ok
0.1.12012-10-31 12:09 UTCNadiaPolikarpova+8/−6 lines, 3 filesdep ~base
0.12012-10-30 16:56 UTCNadiaPolikarpova+4245/−0 lines, 18 filesdep +HUnitdep +basedep +cmdargssetup-changed

Dependencies of language-boogie-0.2

HUnit >=1.2 && <1.3 1.2.5.2 → 1.6.2.0 newer than bounds
2021-01-19 18:27 UTC1.6.2.0 newer than bounds+48/−42 lines, 5 filesdep ~call-stackPVP: major bump suggested
2020-10-31 12:09 UTC1.6.1.0 newer than bounds+35/−21 lines, 4 filesPVP ok
2017-03-20 01:42 UTC1.6.0.0 newer than bounds+9/−5 lines, 4 filesdep ~basePVP ok
2016-10-16 03:35 UTC1.5.0.0 newer than bounds+47/−27 lines, 5 filesPVP ok
2016-10-07 03:13 UTC1.4.0.0 newer than bounds+761/−778 lines, 12 filesdep +call-stackPVP ok

showing 5 of 22 versions

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

showing 5 of 53 versions

base >=4 && <5 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

cmdargs >=0.10 && <0.11 0.10.21 → 0.10.22
2023-03-13 11:19 UTC0.10.22+22/−20 lines, 9 filesdep ~basesetup-changedPVP: major bump suggested
2021-02-14 10:26 UTC0.10.21+131/−129 lines, 18 filesPVP: major bump suggested
2018-01-22 18:47 UTC0.10.20+9/−30 lines, 3 filesPVP: major bump suggested
2018-01-01 22:21 UTC0.10.19+62/−63 lines, 7 filesdep +semigroupsPVP ok
2017-09-24 22:00 UTC0.10.18+180/−169 lines, 4 filesdep ~basePVP: major bump suggested

showing 5 of 49 versions

containers >=0.4 && <0.6 0.5.11.0 → 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 newer than bounds+76/−33 lines, 3 filesPVP ok
2023-09-28 04:21 UTC0.6.8 newer than bounds+644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested
2023-02-01 03:11 UTC0.6.7 newer than bounds+783/−229 lines, 20 filesPVP: major bump suggested
2022-07-22 06:30 UTC0.6.6 newer than bounds+736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok

showing 5 of 42 versions

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

showing 5 of 35 versions

lens >=3.7 && <3.8 3.7.6 → 5.3.6 newer than bounds
2026-01-10 22:05 UTC5.3.6 newer than bounds+39/−28 lines, 7 filesdep −ghc-primdep −transformers-compatdep ~template-haskellPVP ok
2025-06-17 11:56 UTC5.3.5 newer than bounds+99/−99 lines, 5 filesdep +tastydep +tasty-hunitdep +tasty-quickcheckdep −HUnitdep −test-frameworkdep −test-framework-hunitdep ~parallelPVP: major bump suggested
2025-03-03 12:24 UTC5.3.4 newer than bounds+156/−44 lines, 14 filesdep ~containersPVP ok
2024-12-28 16:38 UTC5.3.3 newer than bounds+198/−36 lines, 11 filesdep ~basedep ~template-haskellPVP ok
2024-05-12 23:00 UTC5.3.2 newer than bounds+131/−19 lines, 7 filesdep ~hashablePVP: major bump suggested

showing 5 of 162 versions

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

showing 5 of 20 versions

parsec >=3.1 && <3.2 3.1.17.0 → 3.1.18.0
2025-01-05 00:08 UTC3.1.18.0+159/−170 lines, 7 filesdep −faildep ~basedep ~bytestringdep ~mtl
2023-10-04 06:08 UTC3.1.17.0+112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tasty
2023-01-08 20:47 UTC3.1.16.1+6/−2 lines, 3 files
2023-01-08 18:03 UTC3.1.16.0+124/−19 lines, 8 filesdep ~base
2022-05-10 10:14 UTC3.1.15.1+19/−15 lines, 9 filesdep ~basedep ~mtldep ~text

showing 5 of 27 versions

pretty >=1.1 && <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+8/−3 lines, 3 files
2016-06-03 18:38 UTC1.1.3.4+26/−4 lines, 6 files
2016-02-29 19:00 UTC1.1.3.3+165/−109 lines, 7 files
2015-03-19 09:15 UTC1.1.3.2+27/−25 lines, 6 files

showing 5 of 17 versions

random >=1.0 && <1.1 1.0.1.3 → 1.3.1 newer than bounds
2025-04-04 14:25 UTC1.3.1 newer than bounds+15/−6 lines, 3 files
2025-01-06 04:03 UTC1.3.0 newer than bounds+2410/−538 lines, 16 filesdep +data-array-bytedep ~basedep ~transformers
2024-12-14 20:31 UTC1.2.1.3 newer than bounds+22/−37 lines, 3 filesdep −doctestdep −mwc-randomdep −unliftiodep ~basedep ~containersdep ~primitive
2024-02-04 16:26 UTC1.2.1.2 newer than bounds+17/−12 lines, 2 filesdep ~doctestdep ~tasty
2022-05-09 02:32 UTC1.2.1.1 newer than bounds+8/−9 lines, 3 filesdep −ghc-byteorderdep ~bytestringdep ~doctestdep ~mtl

showing 5 of 15 versions

stream-monad >=0.4 && <0.5 0.4.0.1 → 0.4.0.2
2012-09-10 17:38 UTC0.4.0.2+5/−5 lines, 2 filesdep ~criteriondep ~logict
2010-11-14 07:35 UTC0.4.0.1+3/−3 lines, 1 files
2010-11-14 07:20 UTC0.4+172/−96 lines, 4 filesdep +criteriondep +logictnew-component:exe:stream-monad-benchmarks
2010-10-09 07:44 UTC0.3 outside bounds+46/−38 lines, 3 filesdep ~base
2009-03-26 14:23 UTC0.2 outside bounds+36/−15 lines, 2 files

showing 5 of 8 versions

time >=1.4 && <1.5 1.4.2 → 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 newer than bounds+6594/−5536 lines, 73 filesdep +template-haskelldep ~base
2021-10-18 05:36 UTC1.13 newer than bounds+1279/−1589 lines, 59 filesdep ~base
2022-05-14 00:07 UTC1.12.2 newer than bounds+1526/−1266 lines, 57 filesdep ~base

showing 5 of 47 versions

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

showing 5 of 42 versions

Reverse dependencies

no known reverse dependencies