{"name":"coqPackages.paco","version":"4.0.2","summary":"A Coq library implementing parameterized coinduction","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2df15ba83d0510a56f2583fd3481723835acb5a1"},"attr_path":"coqPackages.paco"},"last_updated":"2021-12-03T17:41:48Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2df15ba83d0510a56f2583fd3481723835acb5a1"},"attr_path":"coqPackages.paco"},"last_updated":"2021-12-03T17:41:48Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f6e14b6ada8ea9e1bcec55d9cb716e9a86af0642"},"attr_path":"coqPackages.paco"},"last_updated":"2021-12-15T02:46:45Z"}}}