From 14fd0e17cc64e454fcabc08191331a6dc527cab8 Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Sat, 5 Nov 2022 09:58:39 +0000
Subject: [PATCH] fin: init at 0.2.1
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/fin.nix | 45 +++++++++++++++++++++++++++++++++++++++++++++
3 files changed, 48 insertions(+)
create mode 100644 pkgs/fin.nix
diff --git a/manifest.dhall b/manifest.dhall
index 2c023d93..03e68fa6 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -200,6 +200,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "fcf-containers" "0.7.1"
, callHackage "finite-field" "0.10.0"
, callHackage "first-class-families" "0.8.0.1"
+ , callHackage "fin" "0.2.1"
, callHackage "free" "5.1.9"
, callHackage "fsnotify" "0.4.1.0"
, callHackage "foldl" "1.4.12"
diff --git a/overlay.nix b/overlay.nix
index a9753391..cf1592a8 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -199,6 +199,8 @@ final: prev: with pkgs.haskell.lib; {
fcf-containers = prev.callPackage (./pkgs/fcf-containers.nix) { };
+ fin = prev.callPackage (./pkgs/fin.nix) { };
+
finite-field = prev.callPackage (./pkgs/finite-field.nix) { };
first-class-families = prev.callPackage (./pkgs/first-class-families.nix) { };
diff --git a/pkgs/fin.nix b/pkgs/fin.nix
new file mode 100644
index 00000000..dbb4fc07
--- /dev/null
+++ b/pkgs/fin.nix
@@ -0,0 +1,45 @@
+{ mkDerivation
+, base
+, boring
+, dec
+, deepseq
+, hashable
+, inspection-testing
+, lib
+, QuickCheck
+, some
+, tagged
+, universe-base
+}:
+mkDerivation {
+ pname = "fin";
+ version = "0.2.1";
+ sha256 = "3bd36e39865f355f943bb82e4fd7ff1af8d310b8166cd4b53d2516e3c2b5f393";
+ revision = "1";
+ editedCabalFile = "0qk48l13k8xr0qcs4nr5mpr5y84s8apdm5wlqldjdl9l3qbp58aw";
+ isLibrary = true;
+ isExecutable = false;
+ enableSeparateDataOutput = false;
+ libraryHaskellDepends = [
+ base
+ boring
+ dec
+ deepseq
+ hashable
+ QuickCheck
+ some
+ universe-base
+ ];
+ testHaskellDepends = [ base inspection-testing tagged ];
+ enableLibraryProfiling = false;
+ enableExecutableProfiling = false;
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ doBenchmark = false;
+ hyperlinkSource = false;
+ homepage = "https://github.com/phadej/vec";
+ description = "Nat and Fin: peano naturals and finite numbers";
+ license = lib.licenses.bsd3;
+ broken = false;
+}
--
GitLab