Commit graph

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