mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-24 06:33:42 +00:00
f168a3dd78
metamath: 0.193 -> 0.194 |
||
---|---|---|
.. | ||
default.nix |
f168a3dd78
metamath: 0.193 -> 0.194 |
||
---|---|---|
.. | ||
default.nix |