mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 19:45:54 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/development/interpreters/metamath
History
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