23 Commits

Author	SHA1	Message	Date
Ferry Jérémie	bfac2d0034	treewide:replace http by https when https is a permanent redirection	2023-02-19 21:47:59 +01:00
Ferry Jérémie	65d7e87fdb	treewide: replace http by https when https is a permanent redirection	2023-01-22 02:46:49 +01:00
R. Ryantm	60b93d500e	metamath: 0.196 -> 0.198	2021-12-09 09:30:38 +00:00
Ben Siraphob	5a4977dfd7	metamath: fix cross-compilation and update license	2021-03-09 20:22:07 +07:00
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