packages feed

copilot

view on Hackage

versionuploadeduploaderchanges
4.82026-07-08 14:01 UTCIvanPerez+10/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
4.7.12026-05-08 22:35 UTCIvanPerez+10/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
4.72026-03-08 19:53 UTCIvanPerez+10/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
4.6.12026-01-08 18:26 UTCIvanPerez+12/−8 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
4.62025-11-08 17:46 UTCIvanPerez+10/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
4.5.12025-09-08 14:27 UTCIvanPerez+11/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
4.52025-07-08 08:18 UTCIvanPerez+10/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
4.42025-05-08 14:25 UTCIvanPerez+12/−8 lines, 3 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
4.32025-03-08 02:25 UTCIvanPerez+144/−12 lines, 4 filesdep +containersdep ~basedep ~copilot-c99dep ~copilot-corenew-component:exe:what4-arithmetic-counterexamplesPVP ok
4.22025-01-08 01:11 UTCIvanPerez+75/−74 lines, 5 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
4.12024-11-08 10:22 UTCIvanPerez+321/−39 lines, 7 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagenew-component:exe:structs-update-fieldPVP ok
4.02024-09-08 06:35 UTCIvanPerez+35/−12 lines, 5 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.202024-07-08 03:45 UTCIvanPerez+16/−12 lines, 3 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.19.12024-05-08 07:43 UTCIvanPerez+14/−11 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.192024-03-08 09:07 UTCIvanPerez+10/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.18.12024-01-08 09:41 UTCIvanPerez+13/−9 lines, 3 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-language
3.182024-01-08 00:22 UTCIvanPerez+33/−25 lines, 6 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-language
3.172023-11-08 00:25 UTCIvanPerez+19/−12 lines, 5 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.16.12023-09-08 07:43 UTCIvanPerez+10/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.162023-07-07 22:51 UTCIvanPerez+10/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.152023-05-08 07:11 UTCIvanPerez+10/−7 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.142023-03-08 08:00 UTCIvanPerez+273/−125 lines, 4 filesdep +copilot-prettyprinterdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.132023-01-08 03:26 UTCIvanPerez+9/−6 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.122022-11-08 03:02 UTCIvanPerez+9/−6 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.112022-09-07 21:40 UTCIvanPerez+9/−6 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.102022-07-07 17:26 UTCIvanPerez+20/−12 lines, 4 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.92022-05-07 18:55 UTCIvanPerez+32/−65 lines, 16 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.82022-03-08 01:22 UTCIvanPerez+12/−6 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.72022-01-07 23:54 UTCIvanPerez+97/−6 lines, 3 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagenew-component:exe:structsPVP ok
3.62021-11-08 00:51 UTCIvanPerez+23/−13 lines, 3 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.52021-09-07 12:33 UTCIvanPerez+25/−41 lines, 5 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.42021-07-07 19:59 UTCIvanPerez+9/−6 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.32021-05-14 22:43 UTCIvanPerez+12/−7 lines, 3 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
3.2.12021-03-07 14:59 UTCfrankdedden+858/−313 lines, 25 filesdep ~basedep ~copilotdep ~copilot-c99new-component:exe:wcvnew-component:exe:what4-arithmeticnew-component:exe:what4-propositionalnew-component:exe:what4-structsPVP ok
3.22020-12-06 22:03 UTCIvanPerez+28/−22 lines, 3 filesdep ~copilotdep ~copilot-c99dep ~copilot-corePVP ok
3.12019-11-23 00:43 UTCIvanPerez+314/−91 lines, 12 filesdep +copilotdep ~copilot-c99dep ~copilot-coredep ~copilot-languagenew-component:exe:addmultnew-component:exe:arraynew-component:exe:castnew-component:exe:clocknew-component:exe:counternew-component:exe:enginenew-component:exe:heaternew-component:exe:votingnew-uploaderPVP ok
3.0.12019-04-09 13:10 UTCfrankdedden+84/−56 lines, 5 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagesetup-changedPVP ok
3.02019-04-01 22:19 UTCfrankdedden+299/−1439 lines, 25 filesdep +filepathdep +optparse-applicativedep −copilot-cbmcdep −copilot-sbvdep −randomdep ~basedep ~copilot-c99dep ~copilot-corenew-uploaderPVP ok
2.2.12017-07-12 16:40 UTCagoodloe+44/−19 lines, 5 filesdep ~copilot-c99dep ~copilot-cbmcdep ~copilot-corenew-uploaderPVP ok
2.2.02015-10-23 21:18 UTCLeePike3 revisions+41/−25 lines, 2 filesdep +copilot-theoremdep ~copilot-c99dep ~copilot-cbmcdep ~copilot-corePVP ok
2.1.22015-01-03 07:23 UTCLeePike+17/−11 lines, 2 filesdep ~basedep ~copilot-c99dep ~copilot-cbmcPVP ok
2.1.12013-02-25 04:44 UTCLeePike+12/−11 lines, 2 filesdep ~basedep ~copilot-sbvPVP ok
2.1.02012-03-02 03:49 UTCLeePike+2/−2 lines, 1 filesdep ~copilot-librariesPVP ok
2.0.92012-03-02 03:26 UTCLeePike+18/−17 lines, 2 filesPVP ok
2.0.82012-02-13 06:55 UTCLeePike+25/−3 lines, 2 files
2.0.72012-02-04 04:34 UTCLeePike+218/−1 lines, 2 files
2.0.62012-02-04 04:24 UTCLeePike+91/−18 lines, 3 filesdep ~copilot-language
2.0.52012-01-28 22:29 UTCLeePike+67/−9 lines, 3 filesdep ~copilot-coredep ~copilot-language
2.0.42012-01-04 07:06 UTCLeePike+12/−34 lines, 10 filesPVP ok
2.0.32012-01-01 20:53 UTCLeePike+855/−1 lines, 17 files
2.0.22012-01-01 20:33 UTCLeePike+127/−130 lines, 4 filesdep +copilot-sbvdep +random
2.0.12011-11-10 17:20 UTCLeePike+2/−2 lines, 1 filesdep ~copilot-c99PVP ok
2.02011-11-10 06:25 UTCLeePike+299/−4717 lines, 34 filesdep +copilot-c99dep +copilot-cbmcdep +copilot-coredep −atomdep −containersdep −filepathdep ~basedep ~directorysetup-changednew-component:exe:copilot-regressionPVP ok
1.0.22011-03-11 16:26 UTCLeePike+122/−196 lines, 10 files
1.0.12011-03-08 22:15 UTCLeePike+625/−289 lines, 16 filesdep ~base
1.02010-12-18 23:27 UTCLeePike+1110/−967 lines, 21 filesPVP ok
0.282010-12-01 01:43 UTCLeePike+291/−246 lines, 10 filesdep ~atomdep ~base
0.272010-11-20 23:29 UTCLeePike+309/−124 lines, 11 files
0.262010-11-13 00:20 UTCLeePike+395/−425 lines, 11 filesPVP ok
0.252010-11-08 05:50 UTCLeePike+554/−259 lines, 18 filesdep ~basedep ~directoryPVP ok
0.232010-10-17 05:52 UTCLeePike+816/−431 lines, 23 filesdep ~atomsetup-changedPVP ok
0.222010-09-21 01:07 UTCLeePike+2/−2 lines, 1 filesPVP ok
0.212010-09-21 00:57 UTCLeePike+3476/−0 lines, 27 filesdep +atomdep +basedep +containerssetup-changed

Dependencies of copilot-4.8

base >=4.9 && <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 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-c99 >=4.8 && <4.9 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 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2026-03-08 19:51 UTC4.7 outside bounds+110/−13 lines, 6 filesdep ~copilot-corePVP ok
2026-01-08 18:25 UTC4.6.1 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2025-11-08 17:46 UTC4.6 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok

showing 5 of 52 versions

copilot-core >=4.8 && <4.9 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 outside bounds+4/−1 lines, 2 filesPVP ok
2026-03-08 19:51 UTC4.7 outside bounds+4/−1 lines, 2 filesPVP ok
2026-01-08 18:25 UTC4.6.1 outside bounds+4/−1 lines, 2 filesPVP ok
2025-11-08 17:45 UTC4.6 outside bounds+4/−1 lines, 2 filesPVP ok

showing 5 of 47 versions

copilot-language >=4.8 && <4.9 4.7.1 → 4.8
2026-07-08 14:00 UTC4.8+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
2026-05-08 22:34 UTC4.7.1 outside bounds+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
2026-03-08 19:53 UTC4.7 outside bounds+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
2026-01-08 18:25 UTC4.6.1 outside bounds+9/−5 lines, 2 filesdep ~containersdep ~copilot-coredep ~copilot-interpreterPVP ok
2025-11-08 17:46 UTC4.6 outside bounds+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok

showing 5 of 52 versions

copilot-libraries >=4.8 && <4.9 4.7.1 → 4.8
2026-07-08 14:00 UTC4.8+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
2026-05-08 22:35 UTC4.7.1 outside bounds+78/−3 lines, 4 filesdep ~copilot-languagePVP ok
2026-03-08 19:53 UTC4.7 outside bounds+8/−5 lines, 2 filesdep ~copilot-languagePVP ok
2026-01-08 18:25 UTC4.6.1 outside bounds+7/−3 lines, 2 filesdep ~containersdep ~copilot-languagePVP ok
2025-11-08 17:46 UTC4.6 outside bounds+5/−2 lines, 2 filesdep ~copilot-languagePVP ok

showing 5 of 46 versions

copilot-prettyprinter >=4.8 && <4.9 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 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2026-03-08 19:51 UTC4.7 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2026-01-08 18:25 UTC4.6.1 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2025-11-08 17:46 UTC4.6 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok

showing 5 of 24 versions

copilot-theorem >=4.8 && <4.9 4.7.1 → 4.8
2026-07-08 14:00 UTC4.8+228/−195 lines, 8 filesdep +extradep −xmldep ~copilot-coredep ~copilot-prettyprinterPVP ok
2026-05-08 22:33 UTC4.7.1 outside bounds+26/−5 lines, 3 filesdep +fp-ieeedep ~copilot-coredep ~copilot-prettyprinterPVP ok
2026-03-08 19:53 UTC4.7 outside bounds+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
2026-01-08 18:25 UTC4.6.1 outside bounds+9/−5 lines, 2 filesdep ~containersdep ~copilot-coredep ~copilot-prettyprinterPVP ok
2025-11-08 17:46 UTC4.6 outside bounds+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok

showing 5 of 39 versions

directory >=1.3 && <1.4 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.4 && <1.6 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

optparse-applicative >=0.14 && <0.20 0.18.1.0 → 0.19.0.0
2025-06-03 08:53 UTC0.19.0.0+1356/−72 lines, 24 filesdep −transformers-compatdep ~QuickCheckdep ~transformers
2023-05-30 03:40 UTC0.18.1.0+28/−11 lines, 4 filesdep +textdep ~basedep ~prettyprinter-ansi-terminal
2023-05-23 10:11 UTC0.18.0.0+165/−85 lines, 14 filesdep +prettyprinterdep +prettyprinter-ansi-terminaldep −ansi-wl-pprintdep ~base
2023-05-23 10:09 UTC0.17.1.0+118/−60 lines, 13 files
2022-02-01 10:27 UTC0.17.0.0+222/−65 lines, 17 files

showing 5 of 47 versions

Reverse dependencies

7 packages depend on copilot; 5 have bounds that exclude 4.8

arduino-copilot 1.7.9 requires copilot >=4.3 && <4.4 excludes current (upper bound)
copilot-frp-sketch 1.0.0 requires copilot >=3.7 && <3.8 excludes current (upper bound)
copilot-visualizer 4.8 requires copilot (>=4.7 && <4.8) && >=4.8 && <4.9 excludes current
sketch-frp-copilot 1.0.11 requires copilot >=4.3 && <4.4 excludes current (upper bound)
zephyr-copilot 1.0.10 requires copilot >=4.3 && <4.4 excludes current (upper bound)
acme-everything 2018.11.18 requires copilot >=0
copilot-verifier 4.8 requires copilot >=4.8 && <4.9