{"name":"coqPackages.graph-theory","version":"0.9.7","summary":"Library of formalized graph theory results in Coq","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.graph-theory"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/ndrp67gqnax25fprp9wpkfz29b5hjsjl-coq9.1-graph-theory-0.9.7","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.graph-theory"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/l7b8c11356f6a5y0l1hvf29ilp8wm5k4-coq9.1-graph-theory-0.9.7","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"coqPackages.graph-theory"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/q0hg3wj2mahapkrqqq13bv0nblbp7k4x-coq9.1-graph-theory-0.9.7","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.graph-theory"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/xjv3wqcf90iyplk0pgcxk4fdkma7kw87-coq9.1-graph-theory-0.9.7","default":true}]}}}