Commit Graph

19 Commits

Author SHA1 Message Date
R. RyanTM
d1853e150a metamath: 0.194 -> 0.196 2021-01-30 18:11:19 +00:00
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