{"name":"easycrypt-runtest","summary":"Testing program for EasyCrypt formalizations","description":"","homepage_url":"https://easycrypt.info/","license":"MIT","attribute_paths":["easycrypt-runtest"],"releases":[{"version":"2026.09","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/dda9bj2rp2swikvhrfcympxn1f2hcyh7-easycrypt-runtest-2026.09","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/qxmmnwgdcrn42fvi9n2s4px5kx1xl69p-easycrypt-runtest-2026.09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/9bc1v4mw5g98bvn2xz3l79jf5anjicny-easycrypt-runtest-2026.09","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.07","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/zipk67lb0ixhwh4k7is0hs5g0363is8r-easycrypt-runtest-2026.07","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/06m87f495bxpgg1wpf49yaslk75vlkmc-easycrypt-runtest-2026.07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/cdx6ywq35zw66nv43cm1fadj4nm6bzdf-easycrypt-runtest-2026.07","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.06","last_updated":"2026-07-29T04:59:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"9bc02893134c733dd85de46ee4fb2fac696b5529","date":"2026-07-29T04:59:45Z","outputs":[{"name":"out","path":"/nix/store/gn7m8qq7ff34k6irvkimg3r9fkyma8zj-easycrypt-runtest-2026.06","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"9bc02893134c733dd85de46ee4fb2fac696b5529","date":"2026-07-29T04:59:45Z","outputs":[{"name":"out","path":"/nix/store/3vs39fl28a37r7276qjl9dyk6mcv5j0c-easycrypt-runtest-2026.06","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/hg3mq588y4cy0wz17msn0j16yhgvp3bi-easycrypt-runtest-2026.06","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"9bc02893134c733dd85de46ee4fb2fac696b5529","date":"2026-07-29T04:59:45Z","outputs":[{"name":"out","path":"/nix/store/wkwsq495lfhbj2kxfr07kbxsrs4kn43z-easycrypt-runtest-2026.06","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.05","last_updated":"2026-05-21T08:15:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/3dqi9s35lczsg421hs25l4679z40fag1-easycrypt-runtest-2026.05","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/cb0kjqy23cmnxznkf5b5d14d9gf2zr8b-easycrypt-runtest-2026.05","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/709qraxmjwq8ns4vg3x4vvgha74ksbjz-easycrypt-runtest-2026.05","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/p37xhrh6zha4jvgfi6wl9g50hcgy8w59-easycrypt-runtest-2026.05","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.03","last_updated":"2026-04-23T13:07:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/22add2dkjmfmfy6axqr492b9f22zr1p7-easycrypt-runtest-2026.03","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/y3sxni7hp0nmjb486qab9ajcjv4fmrfg-easycrypt-runtest-2026.03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/syxsr1a6rajzw19zakbmvvhqh7x7hzbr-easycrypt-runtest-2026.03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30","date":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/4h1ngxd23ak1vmgv66y32b8xsxsx4z2x-easycrypt-runtest-2026.03","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.02","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/aqixksv498cfpcgqdk9bbfdv2frkzdks-easycrypt-runtest-2026.02","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/akjl890b2lm7ws50mapmqs3352iragg1-easycrypt-runtest-2026.02","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/s68y6b4za39kdp57dzqa0470ybmvhnwj-easycrypt-runtest-2026.02","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/pm1lgcghflg4pbs2ivv82ask6rp1mjmq-easycrypt-runtest-2026.02","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2025.11","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/pc9rv7rmdsq35jzjznwz1bkfb5gf1nwn-easycrypt-runtest-2025.11","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/jr5542ddz7g17r795b9g8r7w0sd7adaf-easycrypt-runtest-2025.11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/47zv29phrz5d60j5add23rwn5f3wcpfn-easycrypt-runtest-2025.11","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/934576arvrzbp2sn5my0bkqj20xcfac7-easycrypt-runtest-2025.11","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2025.10","last_updated":"2025-11-15T07:28:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"1d4c88323ac36805d09657d13a5273aea1b34f0c","date":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/xrrrvn3a4xb8i4nq3ni0lzlchpk5093n-easycrypt-runtest-2025.10","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"1d4c88323ac36805d09657d13a5273aea1b34f0c","date":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/gqw97ny3j0m980dy5g4jjg9h688fiqfx-easycrypt-runtest-2025.10","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"1d4c88323ac36805d09657d13a5273aea1b34f0c","date":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/4qg8f49yxz7sl7aph8s5gggjw80qc6cp-easycrypt-runtest-2025.10","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"1d4c88323ac36805d09657d13a5273aea1b34f0c","date":"2025-11-15T07:28:48Z","outputs":[{"name":"out","path":"/nix/store/63impssz03dblmm8k226ikvqh4vypd2f-easycrypt-runtest-2025.10","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2025.08","last_updated":"2025-10-07T08:41:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"bce5fe2bb998488d8e7e7856315f90496723793c","date":"2025-10-07T08:41:47Z","outputs":[{"name":"out","path":"/nix/store/yjaxy3ii4zy2jxlarx70mzkfjpvwl6md-easycrypt-runtest-2025.08","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"bce5fe2bb998488d8e7e7856315f90496723793c","date":"2025-10-07T08:41:47Z","outputs":[{"name":"out","path":"/nix/store/0fivx1563cm0rzvdw2w5nzm89d7iwv5l-easycrypt-runtest-2025.08","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"bce5fe2bb998488d8e7e7856315f90496723793c","date":"2025-10-07T08:41:47Z","outputs":[{"name":"out","path":"/nix/store/k1fl50ncin5cz36dsfc5sksfn27pniwz-easycrypt-runtest-2025.08","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"bce5fe2bb998488d8e7e7856315f90496723793c","date":"2025-10-07T08:41:47Z","outputs":[{"name":"out","path":"/nix/store/8drz2qrkvhqv4jnvaa394icq8n56ppgi-easycrypt-runtest-2025.08","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2025.03","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/6mdvj4fpfbbbn0y03nyv103b82a373mv-easycrypt-runtest-2025.03","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/dwbdi9wyab67jjy5bfriyipqqn36wcja-easycrypt-runtest-2025.03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/rz4yv69xgg2nhc277279zsiw3iadkf0d-easycrypt-runtest-2025.03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/ynrn9927r04zciq2887s6jpqxl2fcvra-easycrypt-runtest-2025.03","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2025.02","last_updated":"2025-04-17T05:47:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/wvp06y4dz12xnlpxqc3swfiay2m05yf6-easycrypt-runtest-2025.02","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/6sw6lg0adlm9xajz4i1r3mqwxir50gvx-easycrypt-runtest-2025.02","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/54xzlpbdhm8z7b4m4hrcdjm86i000q3q-easycrypt-runtest-2025.02","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/zkiplnmnkc7slc9915lxig169j7jdzvn-easycrypt-runtest-2025.02","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024.09","last_updated":"2025-02-23T09:42:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/9gvllyklj09j8a6w7cjr9dcvnlk7hb0c-easycrypt-runtest-2024.09","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/zzmy57lm1hncwx1swf4ca3zqvc5nkm7l-easycrypt-runtest-2024.09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/svggrkjxxp7f6v1aqmz1kc0pqzhj9ij7-easycrypt-runtest-2024.09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/mng1v6wkiw5xj1kwxa38yc1z4ldiy5j4-easycrypt-runtest-2024.09","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024.01","last_updated":"2024-09-10T15:01:03Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/wm6p2z118idsfipng0i224cqwdkjfnr7-easycrypt-runtest-2024.01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/br7sdzh53qhjf24y7s0aviqi6jw8wpxv-easycrypt-runtest-2024.01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/afairbhx3z5nkpg42xhqwkqffkmfm3bw-easycrypt-runtest-2024.01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269","date":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/qm3p315j23z5c4sqdajvv7la9xw76dkr-easycrypt-runtest-2024.01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023.09","last_updated":"2024-01-14T03:55:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"dd5621df6dcb90122b50da5ec31c411a0de3e538","date":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/lrhcnpjx61mgy3n3bkj3h1h0bc2ipq50-easycrypt-runtest-2023.09","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"dd5621df6dcb90122b50da5ec31c411a0de3e538","date":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/8sxc3bfsz58cj5y5wrcdak7fqnwv3ak5-easycrypt-runtest-2023.09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"dd5621df6dcb90122b50da5ec31c411a0de3e538","date":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/jqanias7wxzyyn913dxiscvkq5634mnz-easycrypt-runtest-2023.09","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"dd5621df6dcb90122b50da5ec31c411a0de3e538","date":"2024-01-14T03:55:27Z","outputs":[{"name":"out","path":"/nix/store/cbdznkrkg8vvzj54l6z543zad6i980pv-easycrypt-runtest-2023.09","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022.04","last_updated":"2023-09-27T18:02:17Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/g2fn0babg5v7x554d7i9z3pi68cnd2d9-easycrypt-runtest-2022.04","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"easycrypt-runtest","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/n8h6k42cx0p9hrpwiy5g8nrakmkbvir0-easycrypt-runtest-2022.04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"easycrypt-runtest","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/dw6k1cr059l50cvgskqhxblgl7f4n5a0-easycrypt-runtest-2022.04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"easycrypt-runtest","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/biij1ahki3322q874h4s8g7k21vxbngp-easycrypt-runtest-2022.04","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}