diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-12-17 10:02:55 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-12-24 11:59:00 +0100 |
commit | e99619604d8a63056650bed6e16f76746034d308 (patch) | |
tree | df994cac308cc9e8d1d51b8226cbf56111977260 /pkgs/development/coq-modules | |
parent | 761b57221ea729d14b18064e1e24af2de3922e9b (diff) | |
download | nixlib-e99619604d8a63056650bed6e16f76746034d308.tar nixlib-e99619604d8a63056650bed6e16f76746034d308.tar.gz nixlib-e99619604d8a63056650bed6e16f76746034d308.tar.bz2 nixlib-e99619604d8a63056650bed6e16f76746034d308.tar.lz nixlib-e99619604d8a63056650bed6e16f76746034d308.tar.xz nixlib-e99619604d8a63056650bed6e16f76746034d308.tar.zst nixlib-e99619604d8a63056650bed6e16f76746034d308.zip |
coqPackages.mathcomp-word: init at 1.0
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/mathcomp-word/default.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-word/default.nix b/pkgs/development/coq-modules/mathcomp-word/default.nix new file mode 100644 index 000000000000..b7f613ccfcc1 --- /dev/null +++ b/pkgs/development/coq-modules/mathcomp-word/default.nix @@ -0,0 +1,27 @@ +{ coq, mkCoqDerivation, mathcomp, lib, version ? null }: + +with lib; +mkCoqDerivation { + namePrefix = [ "coq" "mathcomp" ]; + pname = "word"; + owner = "jasmin-lang"; + repo = "coqword"; + useDune2 = true; + + releaseRev = v: "v${v}"; + + release."1.0".sha256 = "sha256:0703m97rnivcbc7vvbd9rl2dxs6l8n52cbykynw61c6w9rhxspcg"; + + inherit version; + defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ + { cases = [ (range "8.12" "8.14") (range "1.12" "1.13") ]; out = "1.0"; } + ] null; + + propagatedBuildInputs = [ mathcomp.algebra ]; + + meta = { + description = "Yet Another Coq Library on Machine Words"; + maintainers = [ maintainers.vbgl ]; + license = licenses.mit; + }; +} |