nixpkgs/pkgs/development/interpreters/metamath
Guillaume Girol f168a3dd78
Merge pull request #107785 from Taneb/metamath-194
metamath: 0.193 -> 0.194
2021-01-23 14:37:41 +00:00
..
default.nix Merge pull request #107785 from Taneb/metamath-194 2021-01-23 14:37:41 +00:00