diff options
| author | Naïm Favier <n@monade.li> | 2024-02-18 11:04:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-18 11:04:14 +0100 |
| commit | 55499d861f64038a50f2438d81993ac5c33f161d (patch) | |
| tree | 040b902c30a7faab078b97bb0b28e6fc06f9da5a | |
| parent | 53312e408abe4198e6d672c966bee0c2201e7523 (diff) | |
| parent | 54c160c74ff215bb974e52704d403a4d2b77834c (diff) | |
| download | nixlib-55499d861f64038a50f2438d81993ac5c33f161d.tar nixlib-55499d861f64038a50f2438d81993ac5c33f161d.tar.gz nixlib-55499d861f64038a50f2438d81993ac5c33f161d.tar.bz2 nixlib-55499d861f64038a50f2438d81993ac5c33f161d.tar.lz nixlib-55499d861f64038a50f2438d81993ac5c33f161d.tar.xz nixlib-55499d861f64038a50f2438d81993ac5c33f161d.tar.zst nixlib-55499d861f64038a50f2438d81993ac5c33f161d.zip | |
Merge pull request #288262 from ncfavier/cubical
agdaPackages.cubical: 0.6 -> 0.7
| -rw-r--r-- | maintainers/maintainer-list.nix | 6 | ||||
| -rw-r--r-- | pkgs/development/libraries/agda/cubical/default.nix | 6 |
2 files changed, 9 insertions, 3 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 8d6c562b7ef4..a342f1801b58 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -14920,6 +14920,12 @@ fingerprint = "3AC6 F170 F011 33CE 393B CD94 BE94 8AFD 7E78 73BE"; }]; }; + phijor = { + name = "Philipp Joram"; + email = "nixpkgs@phijor.me"; + github = "phijor"; + githubId = 10487782; + }; philandstuff = { email = "philip.g.potter@gmail.com"; github = "philandstuff"; diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix index 50ca17a10a25..3747535bec9d 100644 --- a/pkgs/development/libraries/agda/cubical/default.nix +++ b/pkgs/development/libraries/agda/cubical/default.nix @@ -2,13 +2,13 @@ mkDerivation rec { pname = "cubical"; - version = "0.6"; + version = "0.7"; src = fetchFromGitHub { repo = pname; owner = "agda"; rev = "v${version}"; - hash = "sha256-2quAZ/j7kQaFkh9W5Bj1y7YQj9BT7FwHqVWyj8T4AH8="; + hash = "sha256-oLpKRWfQqb6CIscC2XM0ia9HJ8edJFHoPeql3kfvyrA="; }; # The cubical library has several `Everything.agda` files, which are @@ -26,6 +26,6 @@ mkDerivation rec { homepage = src.meta.homepage; license = licenses.mit; platforms = platforms.unix; - maintainers = with maintainers; [ alexarice ryanorendorff ncfavier ]; + maintainers = with maintainers; [ alexarice ryanorendorff ncfavier phijor ]; }; } |