nixsearch
nixsearch / pkg / coqPackages.mathcomp-bigenough / 1.0.3

coqPackages.mathcomp-bigenough 1.0.3

Small library to do epsilon - N reasonning
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.mathcomp-bigenough@1.0.3
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit6308c3b21396534d8aaeac46179c14c439a89b8a 
$ nix shell github:NixOS/nixpkgs/6308c3b21396534d8aaeac46179c14c439a89b8a#coqPackages.mathcomp-bigenough

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.mathcomp-bigenough 6308c3b21396
out
/nix/store/vdisip3l6mgx0k28plpp4jz38lrg72yl-coq9.0-mathcomp2.5-bigenough-1.0.3
aarch64-linux
Linux · arm64		 coqPackages.mathcomp-bigenough 6308c3b21396
out
/nix/store/z3258df67815d3b9rnx07ky7cz4wy2d2-coq9.0-mathcomp2.5-bigenough-1.0.3
x86_64-darwin
macOS · x86-64		 coqPackages.mathcomp-bigenough 6308c3b21396
out
/nix/store/7wd2j0xp5ddac5vhawsqwn466wm0dslr-coq9.0-mathcomp2.5-bigenough-1.0.3
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-bigenough 6308c3b21396
out
/nix/store/1cnl2x4zjfl90r4d2vdyilc6b8ykbxrr-coq9.0-mathcomp2.5-bigenough-1.0.3
← newer: 1.0.4 all 5 releases older: 1.0.2 →

JSON: /v2/pkg?name=coqPackages.mathcomp-bigenough · /v2/resolve?name=coqPackages.mathcomp-bigenough&version=1.0.3