{"name":"metamath","version":"0.182","summary":"Interpreter for the metamath proof language","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"272744825d28f9cea96fe77fe685c8ba2af8eb12"},"attr_path":"metamath"},"last_updated":"2020-11-22T19:04:20Z"}}}