nixsearch
nixsearch / pkg / coqPackages.graph-theory / 0.9

coqPackages.graph-theory 0.9

Library of formalized graph theory results in Coq
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.graph-theory@0.9
systemsaarch64-darwin, x86_64-darwin commit995edc972ad3a1e291ac22d74b9610821357175f 
$ nix shell github:NixOS/nixpkgs/995edc972ad3a1e291ac22d74b9610821357175f#coqPackages.graph-theory
systemsaarch64-linux, x86_64-linux commit0749042bfaa2f4efa70ac829c5387133cfc0a337 
$ nix shell github:NixOS/nixpkgs/0749042bfaa2f4efa70ac829c5387133cfc0a337#coqPackages.graph-theory

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.graph-theory 995edc972ad3
out
/nix/store/c2xix641zyg34g1q2xqixp24scnf1xds-coq8.16-graph-theory-0.9
aarch64-linux
Linux · arm64		 coqPackages.graph-theory 0749042bfaa2
out
/nix/store/i72nhcx9zdvc3m5aaaysqy17pz0cd4g7-coq8.16-graph-theory-0.9
x86_64-darwin
macOS · x86-64		 coqPackages.graph-theory 995edc972ad3
out
/nix/store/zv6j9dzhi0qjsnbwc6x9l1vdvlv343lx-coq8.16-graph-theory-0.9
x86_64-linux
Linux · x86-64		 coqPackages.graph-theory 0749042bfaa2
out
/nix/store/gb54nzwar6mpvgv42dqqky817p805zkk-coq8.16-graph-theory-0.9
← newer: 0.9.1 all 6 releases

JSON: /v2/pkg?name=coqPackages.graph-theory · /v2/resolve?name=coqPackages.graph-theory&version=0.9