7 Commits

Author	SHA1	Message	Date
Nathan van Doorn	fc0be2a54e	metamath: 0.172 -> 0.178 ... This also moves away from my mirror of the distributiont one hosted by the metamath organization, which should generally be far more up-to-date. However, that doesn't include any data files, so we need to make sure we don't try to make those.	2019-10-15 13:43:26 +01:00
volth	08f68313a4	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +01:00
Nathan van Doorn	28097a54f1	metamath: 0.171 -> 0.172	2019-01-29 10:58:21 +00:00
Nathan van Doorn	3a096b4616	metamath: 0.168 -> 0.171	2019-01-07 18:38:22 +00:00
Nathan van Doorn	69ee0a80dc	metamath: 0.167 -> 0.168	2018-12-11 09:10:06 +00:00
Nathan van Doorn	395b69a6a0	metamath: init at 0.167	2018-12-09 10:18:25 +00:00