diff options
author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-08-17 10:40:13 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-08-17 14:44:10 +0200 |
commit | 58c1ab9158216fe13ec1cd7f7384d32fdaeea3a0 (patch) | |
tree | e298afe8de2f12640ebd6740bfbc9d29667b2b4e /pkgs/development/coq-modules | |
parent | ff96901dbd04d4f70f3e5ef52b24a8f0c9227529 (diff) | |
download | nixpkgs-58c1ab9158216fe13ec1cd7f7384d32fdaeea3a0.tar nixpkgs-58c1ab9158216fe13ec1cd7f7384d32fdaeea3a0.tar.gz nixpkgs-58c1ab9158216fe13ec1cd7f7384d32fdaeea3a0.tar.bz2 nixpkgs-58c1ab9158216fe13ec1cd7f7384d32fdaeea3a0.tar.lz nixpkgs-58c1ab9158216fe13ec1cd7f7384d32fdaeea3a0.tar.xz nixpkgs-58c1ab9158216fe13ec1cd7f7384d32fdaeea3a0.tar.zst nixpkgs-58c1ab9158216fe13ec1cd7f7384d32fdaeea3a0.zip |
coqPackages.addition-chains: init at 0.4
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/addition-chains/default.nix | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/addition-chains/default.nix b/pkgs/development/coq-modules/addition-chains/default.nix new file mode 100644 index 00000000000..f2ddacf2e30 --- /dev/null +++ b/pkgs/development/coq-modules/addition-chains/default.nix @@ -0,0 +1,33 @@ +{ lib, mkCoqDerivation, coq, mathcomp-ssreflect, mathcomp-algebra, paramcoq +, version ? null }: +with lib; + +mkCoqDerivation { + pname = "addition-chains"; + repo = "hydra-battles"; + + release."0.4".sha256 = "sha256:1f7pc4w3kir4c9p0fjx5l77401bx12y72nmqxrqs3qqd3iynvqlp"; + releaseRev = (v: "v${v}"); + + inherit version; + defaultVersion = with versions; switch coq.coq-version [ + { case = isGe "8.11"; out = "0.4"; } + ] null; + + propagatedBuildInputs = [ mathcomp-ssreflect mathcomp-algebra paramcoq ]; + + useDune2 = true; + + meta = { + description = "Exponentiation algorithms following addition chains"; + longDescription = '' + Addition chains are algorithms for computations of the p-th + power of some x, with the least number of multiplication as + possible. We present a few implementations of addition chains, + with proofs of their correctness. + ''; + maintainers = with maintainers; [ Zimmi48 ]; + license = licenses.mit; + platforms = platforms.unix; + }; +} |