From eac58d0eebbc3e884890cafd609307da0cd08191 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Na=C3=AFm=20Favier?= Date: Mon, 12 Feb 2024 11:27:39 +0100 Subject: [PATCH 1/3] agdaPackages.cubical: 0.6 -> 0.7 https://github.com/agda/cubical/releases/tag/v0.7 --- pkgs/development/libraries/agda/cubical/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix index 50ca17a10a25..9293c09a369c 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 From 6a98458f0f9f49ba4fdf6b3d37e86f9db536d203 Mon Sep 17 00:00:00 2001 From: Philipp Joram Date: Sun, 18 Feb 2024 00:16:02 +0200 Subject: [PATCH 2/3] maintainers: add phijor --- maintainers/maintainer-list.nix | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index f658ced8fd66..44f763ebf8bd 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -14853,6 +14853,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"; From 54c160c74ff215bb974e52704d403a4d2b77834c Mon Sep 17 00:00:00 2001 From: Philipp Joram Date: Sun, 18 Feb 2024 00:17:02 +0200 Subject: [PATCH 3/3] agdaPackages.cubical: add maintainer phijor --- pkgs/development/libraries/agda/cubical/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix index 9293c09a369c..3747535bec9d 100644 --- a/pkgs/development/libraries/agda/cubical/default.nix +++ b/pkgs/development/libraries/agda/cubical/default.nix @@ -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 ]; }; }