Fin
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.2.9.0 | 2020-02-01 20:40 UTC | MatthewFarkasDyck | 2 revisions | +12/−4 lines, 2 filesdep ~universe-basePVP ok |
| 0.2.8.0 | 2020-01-23 17:39 UTC | MatthewFarkasDyck | +13/−6 lines, 4 filessetup-changedPVP: major bump suggested | |
| 0.2.7.0 | 2018-12-27 05:43 UTC | MatthewFarkasDyck | +10/−2 lines, 3 filesPVP ok | |
| 0.2.6.1 | 2018-12-12 19:50 UTC | MatthewFarkasDyck | +2/−2 lines, 2 filesPVP: minor bump suggested | |
| 0.2.6.0 | 2018-09-26 20:37 UTC | MatthewFarkasDyck | +11/−3 lines, 3 filesdep +universe-basePVP: major bump suggested | |
| 0.2.5.1 | 2018-12-12 19:48 UTC | MatthewFarkasDyck | +2/−2 lines, 2 filesPVP: minor bump suggested | |
| 0.2.5.0 | 2018-08-21 23:38 UTC | MatthewFarkasDyck | +5/−2 lines, 2 filesPVP ok | |
| 0.2.4.0 | 2018-08-21 20:13 UTC | MatthewFarkasDyck | +106/−4 lines, 4 filesdep +algdep +foldable1PVP: major bump suggested | |
| 0.2.3.0 | 2018-05-12 18:51 UTC | MatthewFarkasDyck | +6/−7 lines, 2 filesPVP: major bump suggested | |
| 0.2.2.0 | 2018-05-12 18:37 UTC | MatthewFarkasDyck | +13/−3 lines, 3 filesPVP ok | |
| 0.2.1.0 | 2018-05-12 05:43 UTC | MatthewFarkasDyck | +206/−7 lines, 6 filesdep −clist | |
| 0.2.0.0 | 2017-12-14 08:08 UTC | MatthewFarkasDyck | +1/−100 lines, 2 files | |
| 0.1.1.0 | 2017-12-14 07:20 UTC | MatthewFarkasDyck | +104/−3 lines, 2 filesdep +clistdep +natural-induction | |
| 0.1.0.0 | 2017-12-14 02:48 UTC | MatthewFarkasDyck | +61/−0 lines, 4 filesdep +basedep +peanosetup-changed |
Dependencies of Fin-0.2.9.0
alg >=0.2.5 && <0.3 0.2.13.0 → 0.2.13.1
| 2019-12-24 15:57 UTC | 0.2.13.1 | +16/−14 lines, 4 filesdep ~basePVP: major bump suggested |
| 2019-12-21 01:21 UTC | 0.2.13.0 | +5/−7 lines, 3 filesPVP: major bump suggested |
| 2019-10-16 01:03 UTC | 0.2.12.0 | +8/−3 lines, 3 filesdep +dualPVP ok |
| 2019-09-24 08:01 UTC | 0.2.11.0 | +6/−8 lines, 3 filessetup-changedPVP: major bump suggested |
| 2019-02-28 18:53 UTC | 0.2.10.0 | +4/−1 lines, 2 filesPVP ok |
showing 5 of 21 versions
base >=4.7 && <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
foldable1 >=0.1 && <0.2 (empty) → 0.1.0.0
| 2018-08-14 20:05 UTC | 0.1.0.0 | +148/−0 lines, 5 filesdep +basedep +transformersdep +utilsetup-changed |
natural-induction >=0.2 && <0.3 0.1.1.0 → 0.2.0.0
| 2017-12-14 06:27 UTC | 0.2.0.0 | +8/−4 lines, 2 files |
| 2017-12-14 06:01 UTC | 0.1.1.0 outside bounds | +21/−1 lines, 2 files |
| 2017-12-14 05:14 UTC | 0.1.0.1 outside bounds | +2/−13 lines, 2 files |
| 2017-12-14 03:11 UTC | 0.1.0.0 outside bounds | +68/−0 lines, 4 filesdep +basedep +peanosetup-changed |
peano >=0 0.1.0.3 → 0.1.1.0
| 2026-01-06 08:07 UTC | 0.1.1.0 | +13/−4 lines, 3 files |
| 2025-09-02 06:32 UTC | 0.1.0.3 | +17/−6 lines, 3 files |
| 2023-10-23 09:30 UTC | 0.1.0.2 | +163/−30 lines, 7 filesdep +peanodep +tasty-benchdep ~basesetup-changednew-uploader |
| 2015-03-27 05:47 UTC | 0.1.0.1 | +2/−2 lines, 1 files |
| 2015-03-27 05:42 UTC | 0.1.0.0 | +86/−0 lines, 4 filesdep +basesetup-changed |
universe-base >=1.0 && <1.2 1.1.3.1 → 1.1.4
| 2024-05-16 12:49 UTC | 1.1.4 | +28/−84 lines, 5 filesdep −natsdep −semigroupsdep −transformers-compatdep ~OneTupledep ~QuickCheckdep ~base |
| 2023-03-15 14:51 UTC | 1.1.3.1 | +26/−15 lines, 2 filesdep ~OneTupledep ~base |
| 2021-10-30 12:58 UTC | 1.1.3 | +33/−3 lines, 3 filesdep +OneTupledep ~basedep ~semigroupsdep ~transformers |
| 2021-01-09 19:39 UTC | 1.1.2 | +122/−35 lines, 5 filesdep ~QuickCheckdep ~basedep ~semigroups |
| 2019-06-29 17:30 UTC | 1.1.1 | +23/−8 lines, 4 filesdep ~base |
showing 5 of 10 versions
Reverse dependencies
3 packages depend on Fin