language-sygus
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1.1.3 | 2022-10-31 15:39 UTC | WilliamHallahan | 6 revisions | +6/−2642 lines, 3 filesdep ~basedep ~hashabledep ~textPVP: major bump suggested |
| 0.1.1.2 | 2020-02-11 19:03 UTC | WilliamHallahan | 3 revisions | +1434/−1323 lines, 8 filesdep +hashabledep ~basePVP: major bump suggested |
| 0.1.1.1 | 2019-10-11 20:10 UTC | WilliamHallahan | +4/−4 lines, 3 filesPVP ok | |
| 0.1.1.0 | 2019-10-11 19:32 UTC | WilliamHallahan | 1 revisions | +21/−9 lines, 3 filesdep ~basedep ~text |
| 0.1.0.0 | 2019-10-10 23:20 UTC | WilliamHallahan | 4 revisions | +3236/−0 lines, 11 filesdep +arraydep +basedep +deepseqsetup-changed |
Dependencies of language-sygus-0.1.1.3
array >=0.3 && <0.6 0.5.7.0 → 0.5.8.0
| 2024-09-08 07:13 UTC | 0.5.8.0 | +204/−8 lines, 6 filesdep ~basePVP ok |
| 2024-04-12 14:38 UTC | 0.5.7.0 | +34/−17 lines, 9 filesdep ~basePVP: major bump suggested |
| 2023-07-10 15:24 UTC | 0.5.6.0 | +159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok |
| 2023-02-13 16:01 UTC | 0.5.5.0 | +8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok |
| 2019-09-01 06:48 UTC | 0.5.4.0 | +33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested |
showing 5 of 18 versions
base >=4.10 && <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
deepseq >=1.1 && <1.5 1.4.8.1 → 1.6.0.0 newer than bounds
| 2024-09-08 16:18 UTC | 1.6.0.0 newer than bounds | +5/−14 lines, 3 filesdep ~basePVP ok |
| 2025-06-14 22:25 UTC | 1.5.2.0 newer than bounds | +13/−4 lines, 3 filesPVP: major bump suggested |
| 2024-09-09 12:48 UTC | 1.5.1.0 newer than bounds | +69/−14 lines, 3 filesdep −arraydep ~basePVP: major bump suggested |
| 2023-07-27 19:32 UTC | 1.5.0.0 newer than bounds | +619/−532 lines, 5 filesdep ~basePVP ok |
| 2022-12-18 00:14 UTC | 1.4.8.1 | +34/−9 lines, 3 filesdep ~basePVP: major bump suggested |
showing 5 of 26 versions
hashable >=1.2.6.0 && <=1.6.0.0 1.5.0.0 → 1.5.1.0
| 2026-01-02 17:45 UTC | 1.5.1.0 | +7260/−6790 lines, 5 filesdep −HUnitdep −ghc-bignumdep −randomdep ~basedep ~containersPVP: major bump suggested |
| 2024-07-04 19:38 UTC | 1.5.0.0 | +50/−156 lines, 4 filesdep −base-orphansdep −ghc-bignum-orphansdep −integer-gmpdep ~QuickCheckdep ~basedep ~bytestringPVP ok |
| 2024-06-24 10:44 UTC | 1.4.7.0 | +8/−3 lines, 2 filesPVP ok |
| 2024-06-09 19:43 UTC | 1.4.6.0 | +60/−83 lines, 7 filesdep −test-frameworkdep −test-framework-hunitdep −test-framework-quickcheck2PVP ok |
| 2024-06-08 14:07 UTC | 1.4.5.0 | +7338/−256 lines, 15 filesdep +primitivedep +tastydep +tasty-hunitdep ~basedep ~bytestringdep ~containersPVP ok |
showing 5 of 52 versions
tasty >=1.0 1.5.3 → 1.5.4
| 2026-03-25 20:04 UTC | 1.5.4 | +332/−166 lines, 22 filesdep −semigroups |
| 2025-01-05 19:52 UTC | 1.5.3 | +36/−11 lines, 3 filesdep ~containersdep ~optparse-applicative |
| 2024-11-03 00:34 UTC | 1.5.2 | +22/−5 lines, 4 filesdep ~base |
| 2024-06-22 10:14 UTC | 1.5.1 | +131/−63 lines, 10 filesdep ~base |
| 2023-09-10 00:08 UTC | 1.5 | +1005/−263 lines, 24 filesdep ~ansi-terminaldep ~containersdep ~optparse-applicative |
showing 5 of 75 versions
tasty-hunit >=0.10 0.10.1 → 0.10.2
| 2024-06-22 10:14 UTC | 0.10.2 | +15/−7 lines, 4 files |
| 2023-09-10 00:12 UTC | 0.10.1 | +30/−52 lines, 5 filesdep ~basedep ~call-stackdep ~tastynew-uploader |
| 2020-12-18 09:42 UTC | 0.10.0.3 | +55/−10 lines, 4 filesdep ~base |
| 2019-05-15 05:50 UTC | 0.10.0.2 | +38/−8 lines, 3 filesdep ~tasty |
| 2017-12-01 19:24 UTC | 0.10.0.1 | +51/−29 lines, 4 files |
showing 5 of 15 versions
text >=1.1 && <2.2 2.1.3 → 2.1.4
| 2026-01-28 08:30 UTC | 2.1.4 | +30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell |
| 2025-08-01 20:08 UTC | 2.1.3 | +2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell |
| 2024-10-26 13:22 UTC | 2.1.2 | +43588/−15378 lines, 41 filesdep ~basedep ~binary |
| 2024-02-16 22:16 UTC | 2.1.1 | +986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell |
| 2023-08-26 18:49 UTC | 2.1 | +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 language-sygus