nixsearch
nixsearch / pkg / coqPackages.mathcomp-real-closed / 1.0.4

coqPackages.mathcomp-real-closed 1.0.4

Mathematical Components Library on real closed fields
Linux last changed

Pin this version

$ devbox add coqPackages.mathcomp-real-closed@1.0.4
systemsx86_64-linux commit43f84e1d69e505f9ee1778c029ab3f193547a61c 
$ nix shell github:NixOS/nixpkgs/43f84e1d69e505f9ee1778c029ab3f193547a61c#coqPackages.mathcomp-real-closed

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-real-closed 43f84e1d69e5
← newer: 1.1.1 all 9 releases

JSON: /v2/pkg?name=coqPackages.mathcomp-real-closed · /v2/resolve?name=coqPackages.mathcomp-real-closed&version=1.0.4