{"name":"coq_8_13","version":"8.13+beta1","summary":"Coq proof assistant","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b76d44b9612b0f2117cbce00a9e9508f068c752e"},"attr_path":"coq_8_13"},"last_updated":"2021-01-31T03:57:17Z"}}}