summary refs log tree commit diff
path: root/pkgs/development/interpreters/metamath
Commit message (Expand)AuthorAge
* metamath: 0.196 -> 0.198R. Ryantm2021-12-09
* metamath: fix cross-compilation and update licenseBen Siraphob2021-03-09
* metamath: 0.194 -> 0.196R. RyanTM2021-01-30
* Merge pull request #107785 from Taneb/metamath-194Guillaume Girol2021-01-23
|\
| * metamath: correct license to gpl2OnlyNathan van Doorn2020-12-28
| * metamath: refer to tag rather than commitNathan van Doorn2020-12-28
| * metamath: 0.193 -> 0.194Nathan van Doorn2020-12-28
* | pkgs/development/interpreters: stdenv.lib -> libBen Siraphob2021-01-23
|/
* metamath: 0.182 -> 0.193Nathan van Doorn2020-11-16
* metamath: 0.181 -> 0.182Nathan van Doorn2020-05-01
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* metamath: 0.180 -> 0.181Nathan van Doorn2020-03-14
* metamath: 0.178 -> 0.180Nathan van Doorn2020-02-12
* treewide: installTargets is a listRobin Gloster2019-12-30
* metamath: 0.172 -> 0.178Nathan van Doorn2019-10-15
* treewide: remove redundant recvolth2019-08-28
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* metamath: 0.171 -> 0.172Nathan van Doorn2019-01-29
* metamath: 0.168 -> 0.171Nathan van Doorn2019-01-07
* metamath: 0.167 -> 0.168Nathan van Doorn2018-12-11
* metamath: init at 0.167Nathan van Doorn2018-12-09
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-04 11:48:50 +0000