{"name":"metamath","version":"0.196","summary":"Interpreter for the metamath proof language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2e3fd2634dbabe5215d1aa59e16a1ad04693ea6a"},"attr_path":"metamath"},"last_updated":"2021-12-09T22:34:19Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2e3fd2634dbabe5215d1aa59e16a1ad04693ea6a"},"attr_path":"metamath"},"last_updated":"2021-12-09T22:34:19Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2e3fd2634dbabe5215d1aa59e16a1ad04693ea6a"},"attr_path":"metamath"},"last_updated":"2021-12-09T22:34:19Z"}}}