diff options
author | Quinn Dougherty <quinnd@riseup.net> | 2023-09-29 23:54:49 +0200 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-09-29 23:57:07 +0200 |
commit | c7634cf59a9d23569c5218435a2e72b8f32f3ddb (patch) | |
tree | 20058acb0209fe3a5a308d567289adbf5260abf1 /pkgs/development/coq-modules | |
parent | 94b1e45cf2d02a11400c71ef1a40f12ba882c4ce (diff) |
coqPackages.vcfloat: init at 2.1.1
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/vcfloat/default.nix | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/vcfloat/default.nix b/pkgs/development/coq-modules/vcfloat/default.nix new file mode 100644 index 0000000000000..d5837812ae88a --- /dev/null +++ b/pkgs/development/coq-modules/vcfloat/default.nix @@ -0,0 +1,20 @@ +{ lib, mkCoqDerivation, coq, interval, compcert, flocq, bignums, version ? null }: + +with lib; mkCoqDerivation { + pname = "vcfloat"; + owner = "VeriNum"; + inherit version; + defaultVersion = with versions; switch coq.coq-version [ + { case = range "8.16" "8.17"; out = "2.1.1"; } + ] null; + release."2.1.1".sha256 = "sha256-bd/XSQhyFUAnSm2bhZEZBWB6l4/Ptlm9JrWu6w9BOpw="; + releaseRev = v: "v${v}"; + + propagatedBuildInputs = [ interval compcert flocq bignums ]; + + meta = { + description = "A tool for Coq proofs about floating-point round-off error"; + maintainers = with maintainers; [ quinn-dougherty ]; + license = licenses.lgpl3Plus; + }; +} |