4 Commits

Author	SHA1	Message	Date
Yurii Rashkovskii	c73875ea1e	tlaplus: 1.5.6 -> 1.7.0	2020-05-06 12:26:10 -07:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01: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
Austin Seipp	7270f2139a	tlaplus: init at 1.5.6 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2018-03-02 21:20:54 -06:00