From e23f81dcd21e76dacd50d6cd77ef4b9d74acadff Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Mon, 7 Nov 2022 18:38:57 +0000
Subject: [PATCH] dependent-sum: init at 0.7.1.0
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/dependent-sum.nix | 23 +++++++++++++++++++++++
3 files changed, 26 insertions(+)
create mode 100644 pkgs/dependent-sum.nix
diff --git a/manifest.dhall b/manifest.dhall
index 4bdd0738..f016aba5 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -224,6 +224,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "data-sketches-core" "0.1.0.0"
, callHackage "dec" "0.0.5"
, callHackage "dense-linear-algebra" "0.1.0.0"
+ , callHackage "dependent-sum" "0.7.1.0"
, callHackage "derp" "0.1.6"
, callHackage "deriving-aeson" "0.2.8"
, callHackage "dhall" "1.41.2"
diff --git a/overlay.nix b/overlay.nix
index 2c6a1d18..21efb450 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -301,6 +301,8 @@ self: with pkgs.haskell.lib; {
dense-linear-algebra = self.callPackage (./pkgs/dense-linear-algebra.nix) { };
+ dependent-sum = self.callPackage (./pkgs/dependent-sum.nix) { };
+
deriving-aeson = self.callPackage (./pkgs/deriving-aeson.nix) { };
derp = self.callPackage (./pkgs/derp.nix) { };
diff --git a/pkgs/dependent-sum.nix b/pkgs/dependent-sum.nix
new file mode 100644
index 00000000..f693252f
--- /dev/null
+++ b/pkgs/dependent-sum.nix
@@ -0,0 +1,23 @@
+{ mkDerivation, base, constraints-extras, lib, some }:
+mkDerivation {
+ pname = "dependent-sum";
+ version = "0.7.1.0";
+ sha256 = "81cb55907f321f62bea095ae72e9711095c4cb7378fa66fbabc483a9f61b462a";
+ revision = "2";
+ editedCabalFile = "0d7wb1ag60mcm56axcrx9pd6hgrsxmqynyplbcfl01ms2i60fhr9";
+ isLibrary = true;
+ isExecutable = false;
+ enableSeparateDataOutput = false;
+ libraryHaskellDepends = [ base constraints-extras some ];
+ enableLibraryProfiling = false;
+ enableExecutableProfiling = false;
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ doBenchmark = false;
+ hyperlinkSource = false;
+ homepage = "https://github.com/obsidiansystems/dependent-sum";
+ description = "Dependent sum type";
+ license = lib.licenses.publicDomain;
+ broken = false;
+}
--
GitLab