Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.4 kB · 49 lines
Nix
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950{ lib, mkCoqDerivation, mathcomp, version ? null,}:
mkCoqDerivation { pname = "odd-order"; owner = "math-comp";
release."2.2.0".sha256 = "sha256-z0C7+wtY8NpoT8wYqHiy8mB2HPYAeJndzDmf7Bb0mg8="; release."2.1.0".sha256 = "sha256-TPlaQbO0yXEpUgy3rlCx/w1MSLECJk5tdU26fAGe48Q="; release."1.14.0".sha256 = "0iln70npkvixqyz469l6nry545a15jlaix532i1l7pzfkqqn6v68"; release."1.13.0".sha256 = "sha256-EzNKR/JzM8T17sMhPhgZNs14e50X4dY3OwFi133IsT0="; release."1.12.0".sha256 = "sha256-omsfdc294CxKAHNMMeqJCcVimvyRCHgxcQ4NJOWSfNM="; releaseRev = v: "mathcomp-odd-order.${v}";
inherit version; defaultVersion = let case = case: out: { inherit case out; }; in with lib.versions; lib.switch mathcomp.character.version [ (case (range "2.2.0" "2.4.0") "2.2.0") (case (range "2.1.0" "2.3.0") "2.1.0") (case (range "1.13.0" "1.15.0") "1.14.0") (case (range "1.12.0" "1.14.0") "1.13.0") (case (range "1.10.0" "1.12.0") "1.12.0") ] null;
propagatedBuildInputs = [ mathcomp.character mathcomp.boot mathcomp.fingroup mathcomp.algebra mathcomp.solvable mathcomp.field mathcomp.all ];
meta = with lib; { description = "Formal proof of the Odd Order Theorem"; maintainers = with maintainers; [ siraben ]; license = licenses.cecill-b; platforms = platforms.unix; };}