nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 23:13:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
22450a3c2e
nixpkgs/pkgs/development/interpreters/metamath
History
R. Ryantm 60b93d500e metamath: 0.196 -> 0.198
2021-12-09 09:30:38 +00:00
..
default.nix metamath: 0.196 -> 0.198 2021-12-09 09:30:38 +00:00