{"name":"coqPackages.parsec","version":"0.1.2","summary":"Library for serialization to S-expressions","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d4f247e89f6e10120f911e2e2d2254a050d0f732"},"attr_path":"coqPackages.parsec"},"last_updated":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/021x5wjcwnajbni4ls2ini6plpsdvihz-coq8.20-parsec-0.1.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d4f247e89f6e10120f911e2e2d2254a050d0f732"},"attr_path":"coqPackages.parsec"},"last_updated":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/068cj1df5bcsdjfdvw42y9rim5dssmq7-coq8.20-parsec-0.1.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d4f247e89f6e10120f911e2e2d2254a050d0f732"},"attr_path":"coqPackages.parsec"},"last_updated":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/bsx54gbvmh0dxs7yxiwqnwa9r3m1hnra-coq8.20-parsec-0.1.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d4f247e89f6e10120f911e2e2d2254a050d0f732"},"attr_path":"coqPackages.parsec"},"last_updated":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/8a5yzml4nilqxfrczjjdwc8ik06idcay-coq8.20-parsec-0.1.2","default":true}]}}}