{"name":"coqPackages.jasmin","version":"2026.03.1","summary":"Jasmin language & verified compiler","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b6c8664de9b6cc07fe5666a29f91884ba81197c4"},"attr_path":"coqPackages.jasmin"},"last_updated":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/8kmd1cvik3kzl0jg87ad5nqpfbzh6q24-coq9.1-jasmin-2026.03.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b6c8664de9b6cc07fe5666a29f91884ba81197c4"},"attr_path":"coqPackages.jasmin"},"last_updated":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/9c83z08v08z1r4xzfs2gz7450avzazqy-coq9.1-jasmin-2026.03.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"coqPackages.jasmin"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/dnjs76vrbglmg8mvgc4qdrchmva004gh-coq9.1-jasmin-2026.03.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b6c8664de9b6cc07fe5666a29f91884ba81197c4"},"attr_path":"coqPackages.jasmin"},"last_updated":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ah34d764zzildaiz6qlby23xcbbrgxva-coq9.1-jasmin-2026.03.1","default":true}]}}}