{"name":"coq_8_6","version":"8.6.1","summary":"Coq proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11"},"attr_path":"coq_8_6"},"last_updated":"2023-02-24T09:01:09Z"},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e821e03193486359aa942372be2d9c1f377b7a18"},"attr_path":"coq_8_6"},"last_updated":"2025-07-18T03:30:42Z","outputs":[{"name":"out","path":"/nix/store/bylay6w2niznz13fjn52ps3dli3dcdkg-coq-8.6.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e821e03193486359aa942372be2d9c1f377b7a18"},"attr_path":"coq_8_6"},"last_updated":"2025-07-18T03:30:42Z","outputs":[{"name":"out","path":"/nix/store/sy03v8v2b8rl9baw2gg928qr1pba8bjj-coq-8.6.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e821e03193486359aa942372be2d9c1f377b7a18"},"attr_path":"coq_8_6"},"last_updated":"2025-07-18T03:30:42Z","outputs":[{"name":"out","path":"/nix/store/zgsqm4whis94xb6nijlx3p95jaxcvkcy-coq-8.6.1","default":true}]}}}