packages feed

copilot-cbmc

view on Hackage

versionuploadeduploaderchanges
2.2.12017-07-12 16:36 UTCagoodloe+5/−5 lines, 1 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-sbvnew-uploaderPVP ok
2.2.02015-10-23 20:55 UTCLeePike+4/−2 lines, 2 filesPVP ok
2.1.22015-01-03 07:17 UTCLeePike+16/−15 lines, 2 filesdep ~basePVP ok
2.1.12013-02-25 04:43 UTCLeePike+23/−26 lines, 2 filesdep ~basedep ~bytestringdep ~copilot-c99setup-changedPVP ok
0.232012-01-28 22:21 UTCLeePike+1/−1 lines, 1 filesPVP ok
0.222012-01-01 20:37 UTCLeePike+71/−31 lines, 2 filesPVP ok
0.112011-11-10 06:21 UTCLeePike+31/−71 lines, 2 filesPVP ok
0.22012-01-01 20:31 UTCLeePike+73/−35 lines, 2 filesPVP ok
0.12011-11-10 06:16 UTCLeePike+271/−0 lines, 5 filesdep +basedep +bytestringdep +copilot-c99build-type:Customsetup-changed

Dependencies of copilot-cbmc-2.2.1

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

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

showing 5 of 49 versions

copilot-c99 >=2.2.1 4.7.1 → 4.8
2026-07-08 14:00 UTC4.8+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2026-05-08 22:33 UTC4.7.1+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2026-03-08 19:51 UTC4.7+110/−13 lines, 6 filesdep ~copilot-corePVP ok
2026-01-08 18:25 UTC4.6.1+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2025-11-08 17:46 UTC4.6+5/−2 lines, 2 filesdep ~copilot-corePVP ok

showing 5 of 52 versions

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

showing 5 of 47 versions

copilot-sbv >=2.2.1 2.2.0 → 2.2.1
2017-07-12 16:38 UTC2.2.1+443/−423 lines, 8 filesdep ~copilot-corenew-uploaderPVP ok
2015-10-23 20:40 UTC2.2.0 outside bounds+1379/−143 lines, 12 filesdep +directorydep ~copilot-coredep ~sbvPVP ok
2015-01-03 07:21 UTC2.1.2 outside bounds+7/−7 lines, 3 filesdep ~basedep ~sbvPVP ok
2013-02-25 04:42 UTC2.1.1 outside bounds+20/−23 lines, 4 filesdep ~basedep ~copilot-coredep ~sbvPVP ok
2012-06-19 01:09 UTC0.6 outside bounds+3/−3 lines, 1 filesdep ~sbvPVP ok

showing 5 of 10 versions

directory >=1.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

pretty >=1.0.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

process >=1.0 1.6.29.0 → 1.6.30.0
2026-06-11 10:14 UTC1.6.30.0+19/−1 lines, 2 files
2026-05-24 11:03 UTC1.6.29.0+5282/−4831 lines, 7 filesdep ~base
2026-04-18 12:18 UTC1.6.28.0+70/−33 lines, 3 files
2026-03-08 19:39 UTC1.6.27.0+3/−2 lines, 2 files
2026-03-07 13:46 UTC1.6.26.2+4852/−5346 lines, 7 files

showing 5 of 57 versions

Reverse dependencies

no known reverse dependencies