Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Nathan van Doorn
dd938aa157
metamath: 0.180 -> 0.181
2020-03-14 03:24:44 +00:00
Nathan van Doorn
35853d8a1e
metamath: 0.178 -> 0.180
2020-02-12 10:36:05 -08:00
Robin Gloster
65395a7105
treewide: installTargets is a list
2019-12-30 13:29:27 +01:00
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
