diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2021-05-08 23:55:56 +0700 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-05-10 09:08:55 +0200 |
commit | e7d5862f4e12b0c6c093a257a25add014f98bb4c (patch) | |
tree | ad99d7a21ec3658cd750f12ea960414c8413b4dc /pkgs/development/coq-modules | |
parent | 0e13b2c44e3a4df8d0f43681d40d30e4822ac906 (diff) | |
download | nixpkgs-e7d5862f4e12b0c6c093a257a25add014f98bb4c.tar nixpkgs-e7d5862f4e12b0c6c093a257a25add014f98bb4c.tar.gz nixpkgs-e7d5862f4e12b0c6c093a257a25add014f98bb4c.tar.bz2 nixpkgs-e7d5862f4e12b0c6c093a257a25add014f98bb4c.tar.lz nixpkgs-e7d5862f4e12b0c6c093a257a25add014f98bb4c.tar.xz nixpkgs-e7d5862f4e12b0c6c093a257a25add014f98bb4c.tar.zst nixpkgs-e7d5862f4e12b0c6c093a257a25add014f98bb4c.zip |
coqPackages.hydra-battles: init at 0.3
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/hydra-battles/default.nix | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/hydra-battles/default.nix b/pkgs/development/coq-modules/hydra-battles/default.nix new file mode 100644 index 00000000000..a74eec4b64f --- /dev/null +++ b/pkgs/development/coq-modules/hydra-battles/default.nix @@ -0,0 +1,29 @@ +{ lib, mkCoqDerivation, coq, mathcomp, equations, paramcoq, version ? null }: +with lib; + +mkCoqDerivation { + pname = "hydra-battles"; + owner = "coq-community"; + + release."0.3".rev = "v0.3"; + release."0.3".sha256 = "sha256-rXP/vJqVEg2tN/I9LWV13YQ1+C7M6lzGu3oI+7pSZzg="; + + inherit version; + defaultVersion = with versions; switch coq.coq-version [ + { case = isGe "8.11"; out = "0.3"; } + ] null; + + propagatedBuildInputs = [ mathcomp equations paramcoq ]; + + meta = { + description = "Variations on Kirby & Paris' hydra battles and other entertaining math in Coq"; + longDescription = '' + Variations on Kirby & Paris' hydra battles and other + entertaining math in Coq (collaborative, documented, includes + exercises) + ''; + maintainers = with maintainers; [ siraben ]; + license = licenses.mit; + platforms = platforms.unix; + }; +} |