{"name":"rocq-core_9_2","version":"9.2+rc1","summary":"Rocq Prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"rocq-core_9_2"},"last_updated":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/0s2jdfn09bi0wkq9q3nsa2z0sc30vhz6-rocq-9.2+rc1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"rocq-core_9_2"},"last_updated":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/2vr0cc4pmjbwhns1pwzskw4pp3kx1fns-rocq-9.2+rc1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"rocq-core_9_2"},"last_updated":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/m7p7lg4fcapjga5x571wsspmljvzr8kj-rocq-9.2+rc1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"rocq-core_9_2"},"last_updated":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/5fnkbykpqkq16qgxlvh86fkamiq02pbw-rocq-9.2+rc1","default":true}]}}}