{"name":"cryptoverif","summary":"Cryptographic protocol verifier in the computational model","description":"","homepage_url":"https://bblanche.gitlabpages.inria.fr/CryptoVerif/","license":"CECILL-B","attribute_paths":["cryptoverif"],"releases":[{"version":"2.12","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cryptoverif","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/w7vz8jpb3j2nizl8971ggiwqxi4r9wfm-cryptoverif-2.12","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cryptoverif","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/sn459vl77k2phq2vqdmgpkpddvlza3nz-cryptoverif-2.12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cryptoverif","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/y5m0pr00rs0xxhiwn1db8a781mbf9dvm-cryptoverif-2.12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cryptoverif","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/bk6xf10fx9glbmszn00nklqp4mcnymsk-cryptoverif-2.12","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.11","last_updated":"2025-10-22T20:59:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cryptoverif","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/6vwlq2rkx5sgpsjf3c57b7m6vfxy0lns-cryptoverif-2.11","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cryptoverif","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/m2401fyrryg6j3dmgj601c54x7925rkv-cryptoverif-2.11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cryptoverif","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/5736p10bb28h8lfq15v3xhdfa73g0f9c-cryptoverif-2.11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cryptoverif","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/r68x54lmy00mm58magwjyfn9gyhp16f9-cryptoverif-2.11","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.10","last_updated":"2024-09-10T15:01:03Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cryptoverif","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/hcc04038rf8bky4g7br2z9zfiy7108jy-cryptoverif-2.10","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cryptoverif","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/q0vmc88f2a5gg17v9acm9yzjngbfyxx8-cryptoverif-2.10","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cryptoverif","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/z0q425byl8gmr1qdmpmz1z2y0agx7i88-cryptoverif-2.10","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cryptoverif","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/n0jvw6ahjr3y13jqii040nwgqg0gjws6-cryptoverif-2.10","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.09","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cryptoverif","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/h5la3fv29s4yykr2xi1iyrmrcgwzw3i6-cryptoverif-2.09","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cryptoverif","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/rff634x7fsh41fc1xvy3zjv9kl28d5q0-cryptoverif-2.09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cryptoverif","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/sk9wn4ddmxiwbk6lg41c80y9kcg9r1vn-cryptoverif-2.09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cryptoverif","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/av2wijjgsphfcvmghlw5z9z5ljykypaf-cryptoverif-2.09","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.08pl1","last_updated":"2024-05-22T06:18:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cryptoverif","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/ap3inapb9lqfzhs8pavjnkjy8rzy4zhd-cryptoverif-2.08pl1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cryptoverif","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/2jl3b8f03r7f8m81024d6cyz0l6bhfnj-cryptoverif-2.08pl1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cryptoverif","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/f3rvaz0lflln5j9928pkzlhcnlmkwxyv-cryptoverif-2.08pl1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cryptoverif","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/dh4zvx3rbh0pk5dmagryn56q0gyf6rwk-cryptoverif-2.08pl1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.07","last_updated":"2024-02-10T18:15:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cryptoverif","commit_hash":"10b813040df67c4039086db0f6eaf65c536886c6","date":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/q8x7mhad4dwar5yzz3r5m0dnac0s599p-cryptoverif-2.07","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cryptoverif","commit_hash":"10b813040df67c4039086db0f6eaf65c536886c6","date":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/35jmsak8nm8qrgk47zg30kbxcz1c6jqf-cryptoverif-2.07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cryptoverif","commit_hash":"10b813040df67c4039086db0f6eaf65c536886c6","date":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/brnyvi8x84aw33px71b3wimh58ya41vv-cryptoverif-2.07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cryptoverif","commit_hash":"10b813040df67c4039086db0f6eaf65c536886c6","date":"2024-02-10T18:15:24Z","outputs":[{"name":"out","path":"/nix/store/rcy7kjr6gnnhc9gqs8ad3g6hfvmm1qhx-cryptoverif-2.07","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.05","last_updated":"2023-09-27T18:02:17Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cryptoverif","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/74kdfnszri08pqx3p3hhiazv301vq4ga-cryptoverif-2.05","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cryptoverif","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/dsi74lr0bd9h2wxqzx0nk99wpaak43dm-cryptoverif-2.05","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cryptoverif","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/893bznmq267f1lp8c3q7lkvzkhj6bmg4-cryptoverif-2.05","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cryptoverif","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/dqh6xxxnggr9dn2icgwzlr35m0vgjha8-cryptoverif-2.05","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.04","last_updated":"2021-12-03T17:41:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cryptoverif","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cryptoverif","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cryptoverif","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.03pl1","last_updated":"2020-12-13T12:06:53Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cryptoverif","commit_hash":"62fab0d98ae9f62c41832ec2986bb7d8622786a0","date":"2020-12-13T12:06:53Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.01pl1","last_updated":"2020-09-22T06:38:26Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cryptoverif","commit_hash":"83162ab3b97d0e13b08e28938133381a7515c1e3","date":"2020-09-22T06:38:26Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}