Commit graph

5 commits

Author SHA1 Message Date
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Robert Scott 2611887c2e lingeling: enable for darwin 2019-12-08 18:32:04 +00: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
Austin Seipp 68cc845295 lingeling: init at pre1_03b4860d
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00