{"name":"coqPackages.ssprove","version":"0.2.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":"51b45dc262830ab95c7b9b039bb4f911d4b2509b"},"attr_path":"coqPackages.ssprove"},"last_updated":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/hmllpn96v5s52gq19xxfl7393iwhwnjk-coq8.19-ssprove-0.2.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"51b45dc262830ab95c7b9b039bb4f911d4b2509b"},"attr_path":"coqPackages.ssprove"},"last_updated":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/85g18ypwd28ih5vjgy5dxq3dmh4h7pjc-coq8.19-ssprove-0.2.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"51b45dc262830ab95c7b9b039bb4f911d4b2509b"},"attr_path":"coqPackages.ssprove"},"last_updated":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/kny723jxc3ay94z5l1v3lblqfafycj1y-coq8.19-ssprove-0.2.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"51b45dc262830ab95c7b9b039bb4f911d4b2509b"},"attr_path":"coqPackages.ssprove"},"last_updated":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/5mlj4hipr4xsxjpni9r79c351ifj0772-coq8.19-ssprove-0.2.0","default":true}]}}}