nixsearch
nixsearch / pkg / coqPackages.mathcomp-abel / 1.2.1

coqPackages.mathcomp-abel 1.2.1

Abel - Galois and Abel - Ruffini Theorems
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.mathcomp-abel@1.2.1
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit0749042bfaa2f4efa70ac829c5387133cfc0a337 
$ nix shell github:NixOS/nixpkgs/0749042bfaa2f4efa70ac829c5387133cfc0a337#coqPackages.mathcomp-abel

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.mathcomp-abel 0749042bfaa2
out
/nix/store/k79s15csjck4440r9wlql8mfh96g0dib-coq8.16-mathcomp1.15-abel-1.2.1
aarch64-linux
Linux · arm64		 coqPackages.mathcomp-abel 0749042bfaa2
out
/nix/store/qwcslzpyh5n9y2q98ci6wzxrg0kivjvb-coq8.16-mathcomp1.15-abel-1.2.1
x86_64-darwin
macOS · x86-64		 coqPackages.mathcomp-abel 0749042bfaa2
out
/nix/store/y526ihwl0wi7gx64j0p7naznavl4xyny-coq8.16-mathcomp1.15-abel-1.2.1
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-abel 0749042bfaa2
out
/nix/store/ikz2i21lsba6asz262ghic7p1zzywbq0-coq8.16-mathcomp1.15-abel-1.2.1
all 3 releases older: 1.2.0 →

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