{"name":"coqPackages.ssprove","summary":"SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq","description":"","homepage_url":"https://github.com/SSProve/ssprove","license":"MIT","attribute_paths":["coqPackages.ssprove"],"releases":[{"version":"0.3.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/4xfgzyn28cffaw3h7mgdwz9n70xjw64i-coq9.1-ssprove-0.3.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/xs1rhp5qh6vgqjg357y1mrj6wmp10a8s-coq9.1-ssprove-0.3.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/1l03kb26gqim2ywa94771vvaggrz5nb6-coq9.1-ssprove-0.3.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/jrmzapdnzr2p9hppdaiqqf0325ac67jq-coq9.1-ssprove-0.3.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.3.0","last_updated":"2026-02-27T06:27:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/iypffsdaa0y14q1czmfm7p8acs6z7h4f-coq9.0-ssprove-0.3.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/k1kqz5f3g1pgxf3hk71k1rniky0b96r7-coq9.0-ssprove-0.3.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/dsllsk07nf2502bvxnikrlhamgchwq3n-coq9.0-ssprove-0.3.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/vxch3iwgl89pz9jq0gy2an7vhxmz09ay-coq9.0-ssprove-0.3.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.2.4","last_updated":"2025-11-04T19:54:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/gz80dq86p97sjgcpa9al72gwzb8bx9ng-coq9.0-ssprove-0.2.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/9wbdnczkdwf3rrrz4r9il8gp1ax5r8gv-coq9.0-ssprove-0.2.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/vp7p1yl2imaca26pm5ldiwncdjsjlj1g-coq9.0-ssprove-0.2.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/pl0w8i4zjzbs0zl8cwxm5gfvvpfhvl44-coq9.0-ssprove-0.2.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.2.3","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/40a4j1gl0v47zhq6v451x573bz7mzq1k-coq8.20-ssprove-0.2.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/i77ggyshhmm7r6kap39nr9ljwbpyb572-coq8.20-ssprove-0.2.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/r8sakddpkk0bn8g9yaq2aymgdfxir4y6-coq8.20-ssprove-0.2.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/pk48lksifhgkfkknf8bhcgfdsw1v18fx-coq8.20-ssprove-0.2.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.2.2","last_updated":"2025-01-05T01:56:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/mr19qgzlgxsv3v21m598mx9i3bsdbvza-coq8.20-ssprove-0.2.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/ss4vi327ylw7lcp2b7f4fqypszb65k5w-coq8.20-ssprove-0.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/ymvyp36kbi17y64dnd43mxzbi0gdy66y-coq8.20-ssprove-0.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/3y4496x3p7qadiyafmd89qlhbgwgfqvk-coq8.20-ssprove-0.2.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.2.0","last_updated":"2024-09-02T11:22:49Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"51b45dc262830ab95c7b9b039bb4f911d4b2509b","date":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/hmllpn96v5s52gq19xxfl7393iwhwnjk-coq8.19-ssprove-0.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"51b45dc262830ab95c7b9b039bb4f911d4b2509b","date":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/85g18ypwd28ih5vjgy5dxq3dmh4h7pjc-coq8.19-ssprove-0.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.ssprove","commit_hash":"51b45dc262830ab95c7b9b039bb4f911d4b2509b","date":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/kny723jxc3ay94z5l1v3lblqfafycj1y-coq8.19-ssprove-0.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.ssprove","commit_hash":"51b45dc262830ab95c7b9b039bb4f911d4b2509b","date":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/5mlj4hipr4xsxjpni9r79c351ifj0772-coq8.19-ssprove-0.2.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}