{"name":"coqPackages.paco","version":"4.2.0","summary":"Coq library implementing parameterized coinduction","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.paco"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/4819p0d7hds52npy9kx1nq6j7bqj29k1-coq8.20-paco-4.2.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.paco"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/wg135wh2d1p5wfbd3b5py0f5v85dhcsf-coq8.20-paco-4.2.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.paco"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/2lxxdcb188385qxlhzghynwsm6mgi878-coq8.20-paco-4.2.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.paco"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/6gmbxr749rf9nkf26y0sf9ciwdadqhy9-coq8.20-paco-4.2.0","default":true}]}}}