{"name":"coqPackages.paramcoq","version":"1.1.3","summary":"Coq plugin for parametricity","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.paramcoq"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/rzv7f43sw6fcdbysr7a3r1a7zid29rvi-coq9.0-paramcoq-1.1.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.paramcoq"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/ghxask50kcn4hzm5ad5c93ygzl6zh283-coq9.0-paramcoq-1.1.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.paramcoq"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/ckl8wg73wnwq0srjw124bxsa1hix27ac-coq9.0-paramcoq-1.1.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.paramcoq"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/s667yqv05sj6gk8pdglj1gjk3hcx6j8d-coq9.0-paramcoq-1.1.3","default":true}]}}}