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

coqPackages.mathcomp-real-closed 1.1.1

Mathematical Components Library on real closed fields
Linux last changed

Pin this version

$ devbox add coqPackages.mathcomp-real-closed@1.1.1
systemsx86_64-linux commit316b82563a7793a4a88bed9e41adb936d9adc969 
$ nix shell github:NixOS/nixpkgs/316b82563a7793a4a88bed9e41adb936d9adc969#coqPackages.mathcomp-real-closed

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-real-closed 316b82563a77
← newer: 1.1.2 all 9 releases older: 1.0.4 →

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