diff options
| author | Alyssa Ross <hi@alyssa.is> | 2020-01-11 23:37:02 +0000 |
|---|---|---|
| committer | Alyssa Ross <hi@alyssa.is> | 2020-01-11 23:41:30 +0000 |
| commit | 6c557e3f1c28cf87e9fba232811d6875dd1399c1 (patch) | |
| tree | 035a071d5d8980df6de0fa42e2ef8fc0cce7055e /nixpkgs/pkgs/development/idris-modules | |
| parent | da7500bc026e937ac7fce7b50f67a0e1765737a7 (diff) | |
| parent | e4134747f5666bcab8680aff67fa3b63384f9a0f (diff) | |
| download | nixlib-6c557e3f1c28cf87e9fba232811d6875dd1399c1.tar nixlib-6c557e3f1c28cf87e9fba232811d6875dd1399c1.tar.gz nixlib-6c557e3f1c28cf87e9fba232811d6875dd1399c1.tar.bz2 nixlib-6c557e3f1c28cf87e9fba232811d6875dd1399c1.tar.lz nixlib-6c557e3f1c28cf87e9fba232811d6875dd1399c1.tar.xz nixlib-6c557e3f1c28cf87e9fba232811d6875dd1399c1.tar.zst nixlib-6c557e3f1c28cf87e9fba232811d6875dd1399c1.zip | |
Merge commit 'e4134747f5666bcab8680aff67fa3b63384f9a0f'
Diffstat (limited to 'nixpkgs/pkgs/development/idris-modules')
| -rw-r--r-- | nixpkgs/pkgs/development/idris-modules/default.nix | 2 | ||||
| -rw-r--r-- | nixpkgs/pkgs/development/idris-modules/heyting-algebra.nix | 25 | ||||
| -rw-r--r-- | nixpkgs/pkgs/development/idris-modules/tparsec.nix | 9 |
3 files changed, 6 insertions, 30 deletions
diff --git a/nixpkgs/pkgs/development/idris-modules/default.nix b/nixpkgs/pkgs/development/idris-modules/default.nix index 47c6998a587d..074a260b8169 100644 --- a/nixpkgs/pkgs/development/idris-modules/default.nix +++ b/nixpkgs/pkgs/development/idris-modules/default.nix @@ -103,8 +103,6 @@ html = callPackage ./html.nix {}; - heyting-algebra = callPackage ./heyting-algebra.nix {}; - hezarfen = callPackage ./hezarfen.nix {}; hrtime = callPackage ./hrtime.nix {}; diff --git a/nixpkgs/pkgs/development/idris-modules/heyting-algebra.nix b/nixpkgs/pkgs/development/idris-modules/heyting-algebra.nix deleted file mode 100644 index 3fa546466c8a..000000000000 --- a/nixpkgs/pkgs/development/idris-modules/heyting-algebra.nix +++ /dev/null @@ -1,25 +0,0 @@ -{ build-idris-package -, fetchFromGitHub -, contrib -, lib -}: -build-idris-package { - name = "heyting-algebra"; - version = "2017-08-18"; - - idrisDeps = [ contrib ]; - - src = fetchFromGitHub { - owner = "Risto-Stevcev"; - repo = "idris-heyting-algebra"; - rev = "2c814c48246a5e19bff66e64a753208c7d59d397"; - sha256 = "199cvhxiimlhchvsc66zwn0dls78f9lamam256ad65mv4cjmxv40"; - }; - - meta = { - description = "Interfaces for heyting algebras and verified bounded join and meet semilattices"; - homepage = https://github.com/Risto-Stevcev/idris-heyting-algebra; - license = lib.licenses.mit; - maintainers = [ lib.maintainers.brainrape ]; - }; -} diff --git a/nixpkgs/pkgs/development/idris-modules/tparsec.nix b/nixpkgs/pkgs/development/idris-modules/tparsec.nix index 650d843be843..599ca72c615e 100644 --- a/nixpkgs/pkgs/development/idris-modules/tparsec.nix +++ b/nixpkgs/pkgs/development/idris-modules/tparsec.nix @@ -1,18 +1,21 @@ { build-idris-package , fetchFromGitHub +, contrib , lib }: build-idris-package { name = "tparsec"; - version = "2019-06-18"; + version = "2019-09-19"; ipkgName = "TParsec"; + + idrisDeps = [ contrib ]; src = fetchFromGitHub { owner = "gallais"; repo = "idris-tparsec"; - rev = "3809afd8735b0054e5db788f18a7fa8ed71d8278"; - sha256 = "0wmgg1zg9p8gqlfvcsnww17jsifx9987cxqdq6kbdgasn26w2rqx"; + rev = "cbaea6ec7e5b62536666329940f3ffb5b8b59036"; + sha256 = "0bzdv90a83irn7ca268acl19mjg9vxjmc4saa4naj4hdmg7srb2v"; }; meta = { |