{"name":"coqPackages.odd-order","version":"2.4.0","summary":"Formal proof of the Odd Order Theorem","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.odd-order"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/5j7236854f1mbpy8dzhw9zz7fvc8l286-coq9.1-odd-order-2.4.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.odd-order"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/v9khk00q1hnmhdg3yyl5djrpjd058zn0-coq9.1-odd-order-2.4.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.odd-order"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/gb5h7alb8k010066accgqlbk65xnf5bg-coq9.1-odd-order-2.4.0","default":true}]}}}