packages feed

why3

view on Hackage

versionuploadeduploaderchanges
0.82015-08-27 20:22 UTCEricMertens+4601/−0 lines, 14 filesdep +arraydep +basedep +bytestringsetup-changed

Dependencies of why3-0.8

array >=0.4 && <0.6 0.5.7.0 → 0.5.8.0
2024-09-08 07:13 UTC0.5.8.0+204/−8 lines, 6 filesdep ~basePVP ok
2024-04-12 14:38 UTC0.5.7.0+34/−17 lines, 9 filesdep ~basePVP: major bump suggested
2023-07-10 15:24 UTC0.5.6.0+159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok
2023-02-13 16:01 UTC0.5.5.0+8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok
2019-09-01 06:48 UTC0.5.4.0+33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested

showing 5 of 18 versions

base >=4.6 && <4.9 4.8.2.0 → 4.22.0.0 newer than bounds
2025-12-19 11:52 UTC4.22.0.0 newer than bounds+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0 newer than bounds+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0 newer than bounds+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0 newer than bounds+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0 newer than bounds+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

bytestring >=0.10 && <0.11 0.10.12.1 → 0.12.2.0 newer than bounds
2024-12-06 21:41 UTC0.12.2.0 newer than bounds+538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok
2024-02-16 03:27 UTC0.12.1.0 newer than bounds+3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested
2023-08-16 01:53 UTC0.12.0.2 newer than bounds+16/−2 lines, 3 files
2023-08-05 00:03 UTC0.12.0.1 newer than bounds+47/−9 lines, 3 files
2023-07-07 01:45 UTC0.12.0.0 newer than bounds+1459/−520 lines, 21 filesdep +data-array-bytePVP ok

showing 5 of 49 versions

containers >=0.5 && <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

deepseq >=1.3 && <1.5 1.4.8.1 → 1.6.0.0 newer than bounds
2024-09-08 16:18 UTC1.6.0.0 newer than bounds+5/−14 lines, 3 filesdep ~basePVP ok
2025-06-14 22:25 UTC1.5.2.0 newer than bounds+13/−4 lines, 3 filesPVP: major bump suggested
2024-09-09 12:48 UTC1.5.1.0 newer than bounds+69/−14 lines, 3 filesdep −arraydep ~basePVP: major bump suggested
2023-07-27 19:32 UTC1.5.0.0 newer than bounds+619/−532 lines, 5 filesdep ~basePVP ok
2022-12-18 00:14 UTC1.4.8.1+34/−9 lines, 3 filesdep ~basePVP: major bump suggested

showing 5 of 26 versions

directory >=1.2 && <1.3 1.2.7.1 → 1.3.11.0 newer than bounds
2026-05-27 05:59 UTC1.3.11.0 newer than bounds+4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok
2026-01-05 11:08 UTC1.3.10.1 newer than bounds+4989/−4830 lines, 43 filesPVP: major bump suggested
2025-12-24 02:55 UTC1.3.10.0 newer than bounds+90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested
2024-10-11 10:43 UTC1.3.9.0 newer than bounds+235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested
2024-05-20 06:52 UTC1.3.8.5 newer than bounds+15/−13 lines, 7 filesdep ~basePVP ok

showing 5 of 55 versions

filepath >=1.3 && <1.5 1.4.301.0 → 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

monadLib >=3.7 && <3.8 3.7.3 → 3.10.3 newer than bounds
2024-09-02 17:08 UTC3.10.3 newer than bounds+2/−2 lines, 1 files
2024-09-02 17:03 UTC3.10.2 newer than bounds+6/−7 lines, 2 files
2022-03-07 17:59 UTC3.10.1 newer than bounds+6/−4 lines, 2 filesdep ~base
2019-09-18 21:21 UTC3.10 newer than bounds+104/−81 lines, 4 filesdep ~base
2019-01-23 18:25 UTC3.9 newer than bounds+30/−18 lines, 4 filesdep ~base

showing 5 of 20 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

pretty-show >=1.6 && <1.7 1.6.16 → 1.10 newer than bounds
2020-01-30 19:08 UTC1.10 newer than bounds+1151/−1149 lines, 13 filesdep ~haskell-lexersetup-changed
2018-12-27 16:54 UTC1.9.5 newer than bounds+1149/−1143 lines, 13 filessetup-changed
2018-12-20 00:59 UTC1.9.4 newer than bounds+24/−6 lines, 4 files
2018-12-17 18:43 UTC1.9.3 newer than bounds+5/−2218 lines, 4 files
2018-11-02 23:18 UTC1.9.2 newer than bounds+102/−77 lines, 4 files

showing 5 of 38 versions

profunctors >=5.1 && <5.2 5.1.2 → 5.6.3 newer than bounds
2025-06-17 11:50 UTC5.6.3 newer than bounds+24/−66 lines, 10 filesdep −semigroupsdep ~base
2021-02-17 14:50 UTC5.6.2 newer than bounds+31/−2 lines, 3 filesdep ~base-orphansdep ~semigroupsdep ~transformers
2020-12-31 12:05 UTC5.6.1 newer than bounds+57/−174 lines, 17 filesdep ~base-orphansdep ~bifunctorsdep ~comonad
2020-10-01 11:25 UTC5.6 newer than bounds+166/−85 lines, 16 filesdep ~base
2020-02-13 19:20 UTC5.5.2 newer than bounds+35/−1 lines, 5 files

showing 5 of 44 versions

text >=1.2 && <1.3 1.2.5.0 → 2.1.4 newer than bounds
2026-01-28 08:30 UTC2.1.4 newer than bounds+30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell
2025-08-01 20:08 UTC2.1.3 newer than bounds+2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell
2024-10-26 13:22 UTC2.1.2 newer than bounds+43588/−15378 lines, 41 filesdep ~basedep ~binary
2024-02-16 22:16 UTC2.1.1 newer than bounds+986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell
2023-08-26 18:49 UTC2.1 newer than bounds+448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploader

showing 5 of 82 versions

Reverse dependencies

1 packages depend on why3

acme-everything 2018.11.18 requires why3 >=0