Guillaume Girol
f168a3dd78
Merge pull request #107785 from Taneb/metamath-194
...
metamath: 0.193 -> 0.194
2021-01-23 14:37:41 +00:00
Ben Siraphob
001c0cbe54
pkgs/development/interpreters: stdenv.lib -> lib
2021-01-23 20:29:03 +07:00
Nathan van Doorn
ed299a44e0
metamath: correct license to gpl2Only
2020-12-28 17:51:38 +00:00
Nathan van Doorn
a856e800f7
metamath: refer to tag rather than commit
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2020-12-28 17:45:29 +00:00
Nathan van Doorn
3de56b05a3
metamath: 0.193 -> 0.194
2020-12-28 08:25:17 +00:00
Nathan van Doorn
c1407066c4
metamath: 0.182 -> 0.193
2020-11-16 11:41:34 +00:00
Nathan van Doorn
229cdf3d99
metamath: 0.181 -> 0.182
...
Also includes a fix to the makefile that lets the autoconf stuff Just Work(tm)
2020-05-01 09:22:33 +02:00
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
