Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
954 B · 52 lines
Nix
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253{ coq, mkCoqDerivation, mathcomp, coqeal, mathcomp-real-closed, mathcomp-bigenough, mathcomp-zify, mathcomp-algebra-tactics, lib, version ? null,}:
mkCoqDerivation {
pname = "apery";
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.13" "8.16") (range "1.12.0" "1.17.0") "1.0.2") ] null;
release."1.0.2".sha256 = "sha256-llxyMKYvWUA7fyroG1S/jtpioAoArmarR1edi3cikcY=";
propagatedBuildInputs = [ mathcomp.field coqeal mathcomp-real-closed mathcomp-bigenough mathcomp-zify mathcomp-algebra-tactics ];
meta = { description = "Formally verified proof in Coq, by computer algebra, that ζ(3) is irrational"; license = lib.licenses.cecill-c; };}