packages feed

copilot-sbv

view on Hackage

versionuploadeduploaderchanges
2.2.12017-07-12 16:38 UTCagoodloe+443/−423 lines, 8 filesdep ~copilot-corenew-uploaderPVP ok
2.2.02015-10-23 20:40 UTCLeePike+1379/−143 lines, 12 filesdep +directorydep ~copilot-coredep ~sbvPVP ok
2.1.22015-01-03 07:21 UTCLeePike+7/−7 lines, 3 filesdep ~basedep ~sbvPVP ok
2.1.12013-02-25 04:42 UTCLeePike+20/−23 lines, 4 filesdep ~basedep ~copilot-coredep ~sbvPVP ok
0.62012-06-19 01:09 UTCLeePike+3/−3 lines, 1 filesdep ~sbvPVP ok
0.52012-02-15 00:16 UTCLeePike+14/−3 lines, 1 filesdep ~sbv
0.42012-02-04 04:08 UTCLeePike+183/−118 lines, 8 files
0.32012-01-28 22:14 UTCLeePike+35/−3 lines, 2 filesdep +filepathPVP ok
0.22012-01-01 20:28 UTCLeePike+624/−222 lines, 9 filesPVP ok
0.12011-11-10 06:14 UTCLeePike+1381/−0 lines, 14 filesdep +basedep +containersdep +copilot-coresetup-changed

Dependencies of copilot-sbv-2.2.1

base >=4.0 && <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

containers >=0.4 0.7 → 0.8
2025-03-01 13:03 UTC0.8+8447/−7031 lines, 37 filesnew-uploaderPVP ok
2023-09-27 12:15 UTC0.7+76/−33 lines, 3 filesPVP ok
2023-09-28 04:21 UTC0.6.8+644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested
2023-02-01 03:11 UTC0.6.7+783/−229 lines, 20 filesPVP: major bump suggested
2022-07-22 06:30 UTC0.6.6+736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok

showing 5 of 42 versions

copilot-core ==2.2.1 2.2.1 → 4.8 newer than bounds
2026-07-08 14:00 UTC4.8 newer than bounds+4/−1 lines, 2 filesPVP ok
2026-05-08 21:43 UTC4.7.1 newer than bounds+4/−1 lines, 2 filesPVP ok
2026-03-08 19:51 UTC4.7 newer than bounds+4/−1 lines, 2 filesPVP ok
2026-01-08 18:25 UTC4.6.1 newer than bounds+4/−1 lines, 2 filesPVP ok
2025-11-08 17:45 UTC4.6 newer than bounds+4/−1 lines, 2 filesPVP ok

showing 5 of 47 versions

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

showing 5 of 55 versions

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

showing 5 of 35 versions

pretty >=1 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

sbv >=5.0 14.3 → 14.4
2026-07-03 21:00 UTC14.4+808/−165 lines, 69 filesPVP ok
2026-06-19 19:45 UTC14.3+372/−144 lines, 24 filesPVP ok
2026-06-05 23:44 UTC14.2+1377/−278 lines, 24 files
2026-05-04 21:38 UTC14.1+5088/−4683 lines, 197 files
2026-04-01 20:18 UTC14.0+33129/−6816 lines, 570 files

showing 5 of 141 versions

Reverse dependencies

1 packages depend on copilot-sbv

copilot-cbmc 2.2.1 requires copilot-sbv >=2.2.1