{"name":"coqPackages.graph-theory","version":"0.9.2","summary":"Library of formalized graph theory results in Coq","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.graph-theory"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/r4x8xrg6byghilfpy67466vzayf100rk-coq8.18-graph-theory-0.9.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.graph-theory"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/lyvrxvnncdnprkhas3hfc8lkmaja8m05-coq8.18-graph-theory-0.9.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.graph-theory"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/vswcr3qk579476k433nfdck3iq0z5k4r-coq8.18-graph-theory-0.9.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.graph-theory"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/d1xi68ca3xp0jlkh2zcfv48wdpsjf44s-coq8.18-graph-theory-0.9.2","default":true}]}}}