{"name":"coqPackages.ssprove","version":"0.3.0","summary":"SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6"},"attr_path":"coqPackages.ssprove"},"last_updated":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/iypffsdaa0y14q1czmfm7p8acs6z7h4f-coq9.0-ssprove-0.3.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6"},"attr_path":"coqPackages.ssprove"},"last_updated":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/k1kqz5f3g1pgxf3hk71k1rniky0b96r7-coq9.0-ssprove-0.3.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6"},"attr_path":"coqPackages.ssprove"},"last_updated":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/dsllsk07nf2502bvxnikrlhamgchwq3n-coq9.0-ssprove-0.3.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6"},"attr_path":"coqPackages.ssprove"},"last_updated":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/vxch3iwgl89pz9jq0gy2an7vhxmz09ay-coq9.0-ssprove-0.3.0","default":true}]}}}