{"name":"coqPackages.paco","version":"4.1.2","summary":"A Coq library implementing parameterized coinduction","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96d403ee2479f2070050353b94808209f1352edb"},"attr_path":"coqPackages.paco"},"last_updated":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/pgicsl4vhw3yhmnc3gi1j2npcxcnwsv4-coq8.17-paco-4.1.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96d403ee2479f2070050353b94808209f1352edb"},"attr_path":"coqPackages.paco"},"last_updated":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/jr7w13zq676rvhxg30k6gqj35qigqhd1-coq8.17-paco-4.1.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96d403ee2479f2070050353b94808209f1352edb"},"attr_path":"coqPackages.paco"},"last_updated":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/90iwaxcq4363nv3dhnmryjiz2gcygzgf-coq8.17-paco-4.1.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96d403ee2479f2070050353b94808209f1352edb"},"attr_path":"coqPackages.paco"},"last_updated":"2023-08-01T03:21:57Z","outputs":[{"name":"out","path":"/nix/store/sf7fdb907vbh6ynpc73sn87sjwngf5ii-coq8.17-paco-4.1.2","default":true}]}}}