copilot-bluespec
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 4.8 | 2026-07-08 14:00 UTC | IvanPerez | +6/−3 lines, 2 filesdep ~copilot-corePVP ok | |
| 4.7.1 | 2026-05-08 22:32 UTC | IvanPerez | +23/−5 lines, 3 filesdep ~copilot-corePVP ok | |
| 4.7 | 2026-03-08 19:51 UTC | IvanPerez | +6/−3 lines, 2 filesdep ~copilot-corePVP ok | |
| 4.6.1 | 2026-01-08 18:25 UTC | IvanPerez | +76/−8 lines, 3 filesdep +fp-ieeedep ~copilot-coredep ~ieee754PVP ok | |
| 4.6 | 2025-11-08 17:46 UTC | IvanPerez | +368/−162 lines, 7 filesdep ~copilot-corePVP ok | |
| 4.5.1 | 2025-09-08 14:26 UTC | IvanPerez | +5/−2 lines, 2 filesdep ~copilot-corePVP ok | |
| 4.5 | 2025-07-08 08:18 UTC | IvanPerez | +29/−19 lines, 2 filesdep ~copilot-corenew-uploaderPVP ok | |
| 4.4 | 2025-05-08 17:25 UTC | ryanglscott | +5/−2 lines, 2 filesdep ~copilot-corePVP ok | |
| 4.3.1 | 2025-05-05 19:25 UTC | ryanglscott | +136/−67 lines, 6 filesdep ~filepathPVP ok | |
| 4.3 | 2025-03-10 15:25 UTC | ryanglscott | +5/−2 lines, 2 filesdep ~copilot-corePVP ok | |
| 4.2 | 2025-01-20 21:05 UTC | ryanglscott | +344/−60 lines, 8 filesdep ~copilot-corePVP ok | |
| 4.1 | 2024-11-08 14:59 UTC | ryanglscott | +5/−2 lines, 2 filesdep ~copilot-corePVP ok | |
| 4.0 | 2024-09-09 19:30 UTC | ryanglscott | +207/−17 lines, 4 filesdep +extradep ~copilot-corePVP ok | |
| 3.20 | 2024-07-11 13:23 UTC | ryanglscott | +573/−50 lines, 6 filesdep +ieee754dep ~copilot-corePVP ok | |
| 3.19 | 2024-03-08 16:31 UTC | ryanglscott | +2468/−0 lines, 16 filesdep +HUnitdep +QuickCheckdep +basesetup-changed |
Dependencies of copilot-bluespec-4.8
HUnit >=0 1.6.1.0 → 1.6.2.0
| 2021-01-19 18:27 UTC | 1.6.2.0 | +48/−42 lines, 5 filesdep ~call-stackPVP: major bump suggested |
| 2020-10-31 12:09 UTC | 1.6.1.0 | +35/−21 lines, 4 filesPVP ok |
| 2017-03-20 01:42 UTC | 1.6.0.0 | +9/−5 lines, 4 filesdep ~basePVP ok |
| 2016-10-16 03:35 UTC | 1.5.0.0 | +47/−27 lines, 5 filesPVP ok |
| 2016-10-07 03:13 UTC | 1.4.0.0 | +761/−778 lines, 12 filesdep +call-stackPVP ok |
showing 5 of 22 versions
QuickCheck >=0 2.17.1.0 → 2.18.0.0
| 2026-02-26 12:42 UTC | 2.18.0.0 | +826/−542 lines, 23 filesPVP ok |
| 2025-10-13 12:40 UTC | 2.17.1.0 | +18/−8 lines, 4 filesdep ~randomPVP: major bump suggested |
| 2025-10-07 12:26 UTC | 2.17.0.0 | +667/−129 lines, 14 filesdep +data-array-bytedep +hintdep +splitdep −ghc-primdep −old-localedep −old-timedep ~basedep ~randomdep ~template-haskellPVP ok |
| 2025-06-17 07:53 UTC | 2.16.0.0 | +477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok |
| 2024-05-27 14:54 UTC | 2.15.0.1 | +15/−6 lines, 4 filesdep ~randomPVP ok |
showing 5 of 65 versions
base >=4.9 && <5 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
copilot-core >=4.8 && <4.9 4.7.1 → 4.8
| 2026-07-08 14:00 UTC | 4.8 | +4/−1 lines, 2 filesPVP ok |
| 2026-05-08 21:43 UTC | 4.7.1 outside bounds | +4/−1 lines, 2 filesPVP ok |
| 2026-03-08 19:51 UTC | 4.7 outside bounds | +4/−1 lines, 2 filesPVP ok |
| 2026-01-08 18:25 UTC | 4.6.1 outside bounds | +4/−1 lines, 2 filesPVP ok |
| 2025-11-08 17:45 UTC | 4.6 outside bounds | +4/−1 lines, 2 filesPVP ok |
showing 5 of 47 versions
directory >=1.3 && <1.4 1.3.10.1 → 1.3.11.0
| 2026-05-27 05:59 UTC | 1.3.11.0 | +4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok |
| 2026-01-05 11:08 UTC | 1.3.10.1 | +4989/−4830 lines, 43 filesPVP: major bump suggested |
| 2025-12-24 02:55 UTC | 1.3.10.0 | +90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested |
| 2024-10-11 10:43 UTC | 1.3.9.0 | +235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested |
| 2024-05-20 06:52 UTC | 1.3.8.5 | +15/−13 lines, 7 filesdep ~basePVP ok |
showing 5 of 55 versions
extra >=0 1.8 → 1.8.1
| 2025-11-23 14:32 UTC | 1.8.1 | +48/−4 lines, 6 filesPVP ok |
| 2024-10-19 13:35 UTC | 1.8 | +113/−18 lines, 9 filesdep ~basePVP ok |
| 2024-05-11 15:55 UTC | 1.7.16 | +4/−2 lines, 3 filesdep ~basePVP: major bump suggested |
| 2024-05-10 13:07 UTC | 1.7.15 | +21/−8 lines, 9 filesPVP ok |
| 2023-07-01 19:19 UTC | 1.7.14 | +10/−4 lines, 3 filesdep ~basePVP ok |
showing 5 of 74 versions
filepath >=1.4 && <1.6 1.5.4.0 → 1.5.5.0
| 2026-01-20 08:14 UTC | 1.5.5.0 | +68/−12 lines, 8 filesdep +QuickCheckdep +template-haskell-liftdep +template-haskell-quasiquoterPVP ok |
| 2024-11-17 13:06 UTC | 1.5.4.0 | +26/−6 lines, 3 filesdep ~basePVP ok |
| 2024-06-29 15:30 UTC | 1.5.3.0 | +876/−871 lines, 13 filesdep −QuickCheckdep ~basePVP: major bump suggested |
| 2024-01-26 07:02 UTC | 1.5.2.0 | +330/−256 lines, 11 filesdep +generic-derivingdep +generic-randomdep +tastydep ~basedep ~os-stringPVP ok |
| 2023-11-25 08:29 UTC | 1.5.0.0 | +53/−3744 lines, 35 filesdep +os-stringdep ~basePVP ok |
showing 5 of 35 versions
fp-ieee >=0.1.0 && <0.2 0.1.0.5 → 0.1.0.6
| 2025-12-29 13:03 UTC | 0.1.0.6 | +205/−188 lines, 12 filesdep ~QuickCheckdep ~basedep ~doctestPVP ok |
| 2024-12-15 09:31 UTC | 0.1.0.5 | +12/−7 lines, 3 filesdep ~QuickCheckdep ~basePVP ok |
| 2024-02-18 03:50 UTC | 0.1.0.4 | +51/−6 lines, 8 filesdep ~basePVP ok |
| 2023-11-18 03:22 UTC | 0.1.0.3 | +201/−31 lines, 14 filesdep ~QuickCheckdep ~basedep ~doctestPVP ok |
| 2021-11-30 09:35 UTC | 0.1.0.2 | +110/−422 lines, 9 filesdep +tasty-benchdep −decimal-arithmeticdep −gaugedep ~ghc-bignumPVP ok |
showing 5 of 7 versions
ieee754 >=0.8.0 && <0.9 0.7.9 → 0.8.0
| 2017-01-30 11:15 UTC | 0.8.0 | +53/−29 lines, 4 files |
| 2016-11-10 20:50 UTC | 0.7.9 outside bounds | +123/−117 lines, 6 files |
| 2016-01-08 00:18 UTC | 0.7.8 outside bounds | +90/−26 lines, 4 files |
| 2015-01-26 15:26 UTC | 0.7.6 outside bounds | +16/−4 lines, 3 files |
| 2015-01-16 02:07 UTC | 0.7.5 outside bounds | +44/−10 lines, 3 files |
showing 5 of 9 versions
language-bluespec >=0.1 && <0.2 (empty) → 0.1
| 2024-02-08 13:09 UTC | 0.1 | +4317/−0 lines, 26 filesdep +basedep +containersdep +integer-gmp |
pretty >=1.1.2 && <1.2 1.1.3.5 → 1.1.3.6
| 2018-01-29 04:01 UTC | 1.1.3.6 | +101/−5 lines, 7 filesdep +criteriondep +prettydep ~base |
| 2017-02-03 23:16 UTC | 1.1.3.5 | +8/−3 lines, 3 files |
| 2016-06-03 18:38 UTC | 1.1.3.4 | +26/−4 lines, 6 files |
| 2016-02-29 19:00 UTC | 1.1.3.3 | +165/−109 lines, 7 files |
| 2015-03-19 09:15 UTC | 1.1.3.2 | +27/−25 lines, 6 files |
showing 5 of 17 versions
process >=0 1.6.29.0 → 1.6.30.0
| 2026-06-11 10:14 UTC | 1.6.30.0 | +19/−1 lines, 2 files |
| 2026-05-24 11:03 UTC | 1.6.29.0 | +5282/−4831 lines, 7 filesdep ~base |
| 2026-04-18 12:18 UTC | 1.6.28.0 | +70/−33 lines, 3 files |
| 2026-03-08 19:39 UTC | 1.6.27.0 | +3/−2 lines, 2 files |
| 2026-03-07 13:46 UTC | 1.6.26.2 | +4852/−5346 lines, 7 files |
showing 5 of 57 versions
random >=0 1.3.0 → 1.3.1
| 2025-04-04 14:25 UTC | 1.3.1 | +15/−6 lines, 3 files |
| 2025-01-06 04:03 UTC | 1.3.0 | +2410/−538 lines, 16 filesdep +data-array-bytedep ~basedep ~transformers |
| 2024-12-14 20:31 UTC | 1.2.1.3 | +22/−37 lines, 3 filesdep −doctestdep −mwc-randomdep −unliftiodep ~basedep ~containersdep ~primitive |
| 2024-02-04 16:26 UTC | 1.2.1.2 | +17/−12 lines, 2 filesdep ~doctestdep ~tasty |
| 2022-05-09 02:32 UTC | 1.2.1.1 | +8/−9 lines, 3 filesdep −ghc-byteorderdep ~bytestringdep ~doctestdep ~mtl |
showing 5 of 15 versions
test-framework >=0 0.8.2.2 → 0.8.2.3
| 2026-01-05 13:44 UTC | 0.8.2.3 | +15/−15 lines, 3 filesdep −bytestringdep −old-localedep −semigroupsdep ~ansi-terminaldep ~ansi-wl-pprintdep ~hostname |
| 2025-04-11 08:21 UTC | 0.8.2.2 | +34/−35 lines, 3 filesdep −libxmldep −utf8-stringdep ~QuickCheck |
| 2025-02-26 19:51 UTC | 0.8.2.1 | +1700/−1542 lines, 55 filesdep +utf8-stringdep −base-orphansdep ~HUnitdep ~QuickCheckdep ~ansi-terminalsetup-changednew-uploader |
| 2017-12-30 17:50 UTC | 0.8.2.0 | +134/−79 lines, 13 filesdep +base-orphansdep +semigroupsdep ~QuickCheckdep ~ansi-terminaldep ~ansi-wl-pprintsetup-changed |
| 2015-01-09 04:04 UTC | 0.8.1.1 | +7/−2 lines, 2 filesdep ~ansi-terminaldep ~time |
showing 5 of 34 versions
test-framework-hunit >=0 0.3.0.2 → 0.3.0.3
| 2026-01-05 13:43 UTC | 0.3.0.3 | +42/−40 lines, 4 filesdep −extensible-exceptionsdep ~HUnitdep ~basedep ~test-frameworksetup-changednew-uploader |
| 2015-09-04 15:42 UTC | 0.3.0.2 | +12/−4 lines, 2 filesdep ~HUnitnew-uploader |
| 2013-10-09 00:28 UTC | 0.3.0.1 | +10/−4 lines, 1 filesnew-uploader |
| 2012-12-04 19:56 UTC | 0.3.0 | +4/−1 lines, 2 filesdep ~test-framework |
| 2012-01-27 12:54 UTC | 0.2.7 | +5/−5 lines, 2 files |
showing 5 of 12 versions
test-framework-quickcheck2 >=0 0.3.0.6 → 0.3.0.7
| 2026-01-05 13:43 UTC | 0.3.0.7 | +14/−10 lines, 3 filesdep −extensible-exceptions |
| 2025-02-26 19:51 UTC | 0.3.0.6 | +40/−33 lines, 4 filesdep ~QuickCheckdep ~basedep ~randomsetup-changednew-uploader |
| 2018-09-03 17:10 UTC | 0.3.0.5 | +12/−7 lines, 3 filesdep ~QuickCheckdep ~random |
| 2017-06-16 14:41 UTC | 0.3.0.4 | +47/−36 lines, 5 filesdep ~QuickCheckdep ~basedep ~test-frameworksetup-changednew-uploader |
| 2014-04-11 10:30 UTC | 0.3.0.3 | +25/−4 lines, 2 filesdep ~QuickCheckdep ~randomdep ~test-frameworknew-uploader |
showing 5 of 24 versions
unix >=0 2.8.7.0 → 2.8.8.0
| 2025-09-23 08:10 UTC | 2.8.8.0 | +161/−207 lines, 6 filesdep ~basedep ~time |
| 2025-05-10 14:12 UTC | 2.8.7.0 | +8400/−7941 lines, 12 filesdep ~basedep ~time |
| 2024-11-19 15:41 UTC | 2.8.6.0 | +1133/−333 lines, 14 filesdep ~basedep ~time |
| 2024-04-08 19:21 UTC | 2.8.5.1 | +7507/−6738 lines, 5 filesdep ~basedep ~filepathdep ~os-string |
| 2023-12-01 00:53 UTC | 2.8.5.0 | +55/−9 lines, 7 filesdep +os-stringdep ~filepathdep ~time |
showing 5 of 34 versions
Reverse dependencies
no known reverse dependencies