{"name":"coqPackages.paco","version":"4.1.1","summary":"A Coq library implementing parameterized coinduction","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7de40c4783b3c909e5cc273cc68cba3d2b5f65ec"},"attr_path":"coqPackages.paco"},"last_updated":"2021-12-17T21:50:42Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7de40c4783b3c909e5cc273cc68cba3d2b5f65ec"},"attr_path":"coqPackages.paco"},"last_updated":"2021-12-17T21:50:42Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7de40c4783b3c909e5cc273cc68cba3d2b5f65ec"},"attr_path":"coqPackages.paco"},"last_updated":"2021-12-17T21:50:42Z"}}}