Artur Cygan
|
38e6f15d98
|
btor2tools: fix install_name on darwin
|
2020-11-29 22:31:31 +01:00 |
|
Artur Cygan
|
5229b4502a
|
btor2tools: enable unix platforms
|
2020-10-16 19:39:46 +02:00 |
|
Symphorien Gibol
|
90b75531a5
|
btor2tools: pre55 -> 1.0.0-pre
version comes from the VERSION file in the repo
|
2020-06-08 17:32:07 -05:00 |
|
Robert Scott
|
c676063047
|
btor2tools: correct meta information
|
2019-12-12 10:37:02 -06: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
|
9b64100add
|
btor2tools: init at pre55_8c150b39
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2018-08-15 20:44:05 -05:00 |
|