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

coqPackages.graph-theory 0.9.4

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

Pin this version

$ devbox add coqPackages.graph-theory@0.9.4
systemsaarch64-darwin commit5629520edecb69630a3f4d17d3d33fc96c13f6fe 
$ nix shell github:NixOS/nixpkgs/5629520edecb69630a3f4d17d3d33fc96c13f6fe#coqPackages.graph-theory
systemsaarch64-linux, x86_64-darwin, x86_64-linux commit51b45dc262830ab95c7b9b039bb4f911d4b2509b 
$ nix shell github:NixOS/nixpkgs/51b45dc262830ab95c7b9b039bb4f911d4b2509b#coqPackages.graph-theory

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.graph-theory 5629520edecb
out
/nix/store/p4x6gdl6wvvspkfrizwzf2i6klpmnbw9-coq8.19-graph-theory-0.9.4
aarch64-linux
Linux · arm64		 coqPackages.graph-theory 51b45dc26283
out
/nix/store/f24ddjc6zq4m7990d76zdhjihqngln73-coq8.19-graph-theory-0.9.4
x86_64-darwin
macOS · x86-64		 coqPackages.graph-theory 51b45dc26283
out
/nix/store/gwfcgj1w6q9j18j4bh14785yl2g3ra4s-coq8.19-graph-theory-0.9.4
x86_64-linux
Linux · x86-64		 coqPackages.graph-theory 51b45dc26283
out
/nix/store/375pa4j388k2ipazzyl5m1lbfw6b6i4m-coq8.19-graph-theory-0.9.4
← newer: 0.9.6 all 6 releases older: 0.9.2 →

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