Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.3 kB · 55 lines
Nix
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556{ coq, mkCoqDerivation, mathcomp, mathcomp-real-closed, lib, version ? null,}:
mkCoqDerivation {
namePrefix = [ "coq" "mathcomp" ]; pname = "abel"; owner = "math-comp";
inherit version; defaultVersion = let case = coq: mc: out: { cases = [ coq mc ]; inherit out; }; in with lib.versions; lib.switch [ coq.coq-version mathcomp.version ] [ (case (range "8.10" "8.16") (range "1.12.0" "1.15.0") "1.2.1") (case (range "8.10" "8.15") (range "1.12.0" "1.14.0") "1.2.0") (case (range "8.10" "8.14") (range "1.11.0" "1.12.0") "1.1.2") ] null;
release."1.2.1".sha256 = "sha256-M1q6WIPBsayHde2hwlTxylH169hcTs3OuFsEkM0e3yc="; release."1.2.0".sha256 = "1picd4m85ipj22j3b84cv8ab3330radzrhd6kp0gpxq14dhv02c2"; release."1.1.2".sha256 = "0565w713z1cwxvvdlqws2z5lgdys8lddf0vpwfdj7bpd7pq9hwxg"; release."1.0.0".sha256 = "190jd8hb8anqsvr9ysr514pm5sh8qhw4030ddykvwxx9d9q6rbp3";
propagatedBuildInputs = [ mathcomp.field mathcomp-real-closed ];
meta = with lib; { description = "Abel - Galois and Abel - Ruffini Theorems"; license = licenses.cecill-b; maintainers = [ maintainers.cohencyril ]; };}