{"name":"rocqPackages.iris","version":"4.5.0","summary":"Rocq development of the Iris Project","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"rocqPackages.iris"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/jnlk31r505p7qwng6d13lc937vp516ig-rocq9.1-iris-4.5.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"rocqPackages.iris"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/r7acpr40024fg8sar5n4mmzi7ps5mbz4-rocq9.1-iris-4.5.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"rocqPackages.iris"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/8bs1v0qvrhpn6n1qa8libylf5nfqhh2a-rocq-core9.1-iris-4.5.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"rocqPackages.iris"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/qlhl0i5h7pmv5g1dbfvdv205l7mbcq8i-rocq9.1-iris-4.5.0","default":true}]}}}