Commit graph

6 commits

Author SHA1 Message Date
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