summaryrefslogtreecommitdiffstats
path: root/pkgs/development/interpreters/metamath
AgeCommit message (Expand)Author
2021-01-23Merge pull request #107785 from Taneb/metamath-194Guillaume Girol
2021-01-23pkgs/development/interpreters: stdenv.lib -> libBen Siraphob
2020-12-28metamath: correct license to gpl2OnlyNathan van Doorn
2020-12-28metamath: refer to tag rather than commitNathan van Doorn
2020-12-28metamath: 0.193 -> 0.194Nathan van Doorn
2020-11-16metamath: 0.182 -> 0.193Nathan van Doorn
2020-05-01metamath: 0.181 -> 0.182Nathan van Doorn
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-03-14metamath: 0.180 -> 0.181Nathan van Doorn
2020-02-12metamath: 0.178 -> 0.180Nathan van Doorn
2019-12-30treewide: installTargets is a listRobin Gloster
2019-10-15metamath: 0.172 -> 0.178Nathan van Doorn
2019-08-28treewide: remove redundant recvolth
2019-08-15treewide: name -> pname (easy cases) (#66585)volth
2019-01-29metamath: 0.171 -> 0.172Nathan van Doorn
2019-01-07metamath: 0.168 -> 0.171Nathan van Doorn
2018-12-11metamath: 0.167 -> 0.168Nathan van Doorn
2018-12-09metamath: init at 0.167Nathan van Doorn
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-11 06:25:44 +0000