{"name":"coqPackages.odd-order","version":"2.2.0","summary":"Formal proof of the Odd Order Theorem","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24"},"attr_path":"coqPackages.odd-order"},"last_updated":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/s7lw6kfcdf47f652wzxh5804c6czcxlr-coq9.0-odd-order-2.2.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24"},"attr_path":"coqPackages.odd-order"},"last_updated":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/w79p0yxhby49w9fkvjc1a1hgfy8in6x4-coq9.0-odd-order-2.2.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24"},"attr_path":"coqPackages.odd-order"},"last_updated":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/5gwqf8dd90q6pf2ax70gmv9xl5nzgxi4-coq9.0-odd-order-2.2.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24"},"attr_path":"coqPackages.odd-order"},"last_updated":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/s90y39xnf86r2773jf8adpkk43pc4wrp-coq9.0-odd-order-2.2.0","default":true}]}}}