{"name":"coqPackages.jasmin","summary":"Jasmin language & verified compiler","description":"","homepage_url":"https://github.com/jasmin-lang/jasmin/","license":"MIT","attribute_paths":["coqPackages.jasmin"],"releases":[{"version":"2026.03.3","last_updated":"2026-10-05T09:07:57Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.jasmin","commit_hash":"aa48d347080940b8a2b8d2f48228674e280a3514","date":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/6kn36jsx4zd69fxw2dl5hzc56baj3gz2-coq9.1-jasmin-2026.03.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.jasmin","commit_hash":"aa48d347080940b8a2b8d2f48228674e280a3514","date":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/fqgfi18mz8a0x49g9ygci9zg92ngcyxb-coq9.1-jasmin-2026.03.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.jasmin","commit_hash":"aa48d347080940b8a2b8d2f48228674e280a3514","date":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/bkfalwv9gyly1lgk2v35vigvynjmdpz4-coq9.1-jasmin-2026.03.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.03.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.jasmin","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/8kmd1cvik3kzl0jg87ad5nqpfbzh6q24-coq9.1-jasmin-2026.03.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.jasmin","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/9c83z08v08z1r4xzfs2gz7450avzazqy-coq9.1-jasmin-2026.03.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.jasmin","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/dnjs76vrbglmg8mvgc4qdrchmva004gh-coq9.1-jasmin-2026.03.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.jasmin","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ah34d764zzildaiz6qlby23xcbbrgxva-coq9.1-jasmin-2026.03.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2025.06.1","last_updated":"2025-11-04T19:54:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.jasmin","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/a0ljlbvllbfpcwizhf9crpwmq74jsi0k-coq9.0-jasmin-2025.06.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.jasmin","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/wqg59by236a1r4xl1r17n5l4c79a9ra2-coq9.0-jasmin-2025.06.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.jasmin","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/hxs726zb3zv35ff9nzlpabqsx90xqnxh-coq9.0-jasmin-2025.06.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.jasmin","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/8qhs6zahv0lhx7r3lkvgfabyb3m3wnpy-coq9.0-jasmin-2025.06.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2025.02.0","last_updated":"2025-08-08T08:05:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.jasmin","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/j1w4mgvbzpis7f1fs10yd3h8ggci1hxh-coq9.0-jasmin-2025.02.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.jasmin","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/qyl5w6ay9g2rr5qz7hz3r1mq74shf699-coq9.0-jasmin-2025.02.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.jasmin","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/bhy0vq6mldavj2bbdfddm9qaabzl2jzz-coq9.0-jasmin-2025.02.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.jasmin","commit_hash":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1","date":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/80lfc9rggqsm7gbabq53g0hazbi1qrj3-coq9.0-jasmin-2025.02.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024.07.2","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.jasmin","commit_hash":"212518a3623f5451efad314323e2c6b847eab45a","date":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/lc3f0xiikv6br4ahpgg3mzp9w62q0mqk-coq8.20-jasmin-2024.07.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.jasmin","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/z01z6x47z0prhic4v4g7v9j46hj98a8y-coq8.20-jasmin-2024.07.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.jasmin","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/5pn16dlv95jv406cg2fwmhn728abidg1-coq8.20-jasmin-2024.07.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.jasmin","commit_hash":"212518a3623f5451efad314323e2c6b847eab45a","date":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/iq28b1fp23k7k6202hzmf4jwnda8v86r-coq8.20-jasmin-2024.07.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}