about summary refs log tree commit diff
path: root/pkgs/development/interpreters/metamath/default.nix
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-02-19treewide:replace http by https when https is a permanent redirectionFerry Jérémie1-1/+1
2023-01-22treewide: replace http by https when https is a permanent redirectionFerry Jérémie1-1/+1
2021-12-09metamath: 0.196 -> 0.198R. Ryantm1-2/+2
2021-03-09metamath: fix cross-compilation and update licenseBen Siraphob1-6/+4
2021-01-30metamath: 0.194 -> 0.196R. RyanTM1-2/+2
2021-01-23Merge pull request #107785 from Taneb/metamath-194Guillaume Girol1-5/+7
2021-01-23pkgs/development/interpreters: stdenv.lib -> libBen Siraphob1-2/+2
2020-12-28metamath: correct license to gpl2OnlyNathan van Doorn1-1/+1
2020-12-28metamath: refer to tag rather than commitNathan van Doorn1-3/+5
2020-12-28metamath: 0.193 -> 0.194Nathan van Doorn1-3/+3
2020-11-16metamath: 0.182 -> 0.193Nathan van Doorn1-3/+3
2020-05-01metamath: 0.181 -> 0.182Nathan van Doorn1-9/+3
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-03-14metamath: 0.180 -> 0.181Nathan van Doorn1-3/+3
2020-02-12metamath: 0.178 -> 0.180Nathan van Doorn1-3/+3
2019-12-30treewide: installTargets is a listRobin Gloster1-1/+1
2019-10-15metamath: 0.172 -> 0.178Nathan van Doorn1-9/+11
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-01-29metamath: 0.171 -> 0.172Nathan van Doorn1-3/+3
2019-01-07metamath: 0.168 -> 0.171Nathan van Doorn1-3/+3
2018-12-11metamath: 0.167 -> 0.168Nathan van Doorn1-3/+3
2018-12-09metamath: init at 0.167Nathan van Doorn1-0/+34
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 15:34:59 +0000