Merge pull request #288262 from ncfavier/cubical
agdaPackages.cubical: 0.6 -> 0.7
This commit is contained in:
commit
55499d861f
|
@ -14920,6 +14920,12 @@
|
||||||
fingerprint = "3AC6 F170 F011 33CE 393B CD94 BE94 8AFD 7E78 73BE";
|
fingerprint = "3AC6 F170 F011 33CE 393B CD94 BE94 8AFD 7E78 73BE";
|
||||||
}];
|
}];
|
||||||
};
|
};
|
||||||
|
phijor = {
|
||||||
|
name = "Philipp Joram";
|
||||||
|
email = "nixpkgs@phijor.me";
|
||||||
|
github = "phijor";
|
||||||
|
githubId = 10487782;
|
||||||
|
};
|
||||||
philandstuff = {
|
philandstuff = {
|
||||||
email = "philip.g.potter@gmail.com";
|
email = "philip.g.potter@gmail.com";
|
||||||
github = "philandstuff";
|
github = "philandstuff";
|
||||||
|
|
|
@ -2,13 +2,13 @@
|
||||||
|
|
||||||
mkDerivation rec {
|
mkDerivation rec {
|
||||||
pname = "cubical";
|
pname = "cubical";
|
||||||
version = "0.6";
|
version = "0.7";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
repo = pname;
|
repo = pname;
|
||||||
owner = "agda";
|
owner = "agda";
|
||||||
rev = "v${version}";
|
rev = "v${version}";
|
||||||
hash = "sha256-2quAZ/j7kQaFkh9W5Bj1y7YQj9BT7FwHqVWyj8T4AH8=";
|
hash = "sha256-oLpKRWfQqb6CIscC2XM0ia9HJ8edJFHoPeql3kfvyrA=";
|
||||||
};
|
};
|
||||||
|
|
||||||
# The cubical library has several `Everything.agda` files, which are
|
# The cubical library has several `Everything.agda` files, which are
|
||||||
|
@ -26,6 +26,6 @@ mkDerivation rec {
|
||||||
homepage = src.meta.homepage;
|
homepage = src.meta.homepage;
|
||||||
license = licenses.mit;
|
license = licenses.mit;
|
||||||
platforms = platforms.unix;
|
platforms = platforms.unix;
|
||||||
maintainers = with maintainers; [ alexarice ryanorendorff ncfavier ];
|
maintainers = with maintainers; [ alexarice ryanorendorff ncfavier phijor ];
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user