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