{"name":"coqPackages.odd-order","version":"1.13.0","summary":"Formal proof of the Odd Order Theorem","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"coqPackages.odd-order"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/75fa3d6h47scnsx6w7nwyd23zrmp1l8z-coq8.15-odd-order-1.13.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"coqPackages.odd-order"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/r5l0d6k1lb9qfj3nfg8gv45kjayyavm1-coq8.15-odd-order-1.13.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"coqPackages.odd-order"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/104k2brm67mjzbkxc9nyn4ia13vz18y5-coq8.15-odd-order-1.13.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"coqPackages.odd-order"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/4aipsc85j6m7a5klk2zgdxj4p5i37gfp-coq8.15-odd-order-1.13.0","default":true}]}}}