Gabriel Ebner
b1c149d47a
tptp: use urls instead of url
...
nix-prefetch-url breaks if the url argument to fetchurl is a list.
2018-11-15 15:56:18 +01:00
Gabriel Ebner
b3844d00f6
tptp: 7.1.0 -> 7.2.0
2018-11-15 15:50:48 +01:00
Will Dietz
eb91037e7b
tree-wide: patchelf used during build -> nativeBuildInputs
...
In a few cases it wasn't clear so I left them as-is.
While visiting these moved other things to nativeBuildInputs
when it was clear they were one of these cases:
* makeWrapper
* archive utilities (in order to unpack src)
* a few of these might no longer be needed but leaving for another day
2018-09-28 11:43:16 -05:00
Michael Raskin
fafeac185b
tptp: 7.0.0 -> 7.1.0
2018-03-12 16:58:21 +01:00
Gabriel Ebner
dcd5580909
tptp: 6.4.0 -> 7.0.0
2017-10-02 11:46:33 +02:00
Michael Raskin
b924cdefa5
tptp: take into account upstream tarball hash change; one file got renamed and some statistics in the documentation got regenerated
2016-09-08 16:49:22 +02:00
Michael Raskin
61a3610853
tptp: 6.3.0 -> 6.4.0
2016-07-16 11:34:32 +02:00
Michael Raskin
ca495a53a5
tptp: fix hash
2016-06-20 18:38:08 +02:00
Gabriel Ebner
73468cf4d4
tptp: replace use of builderDefsPackage
2016-01-29 10:33:35 +01:00
Gabriel Ebner
462958b3b7
tptp: 6.1.0 -> 6.3.0
2016-01-29 09:37:11 +01:00
Michael Raskin
979f0e1d67
Update TPTP
2014-08-31 19:25:32 +04:00
Michael Raskin
4c55ae8588
Update TPTP and make URL set robust to moving old versions to archive
2014-05-03 00:53:46 +04:00
Eelco Dolstra
c88055e1a2
Set meta.hydraPlatforms instead of meta.platforms for some packages
2013-11-05 00:06:10 +01:00
Michael Raskin
d5288c7e3a
TPTP had a bugfix without version change
2013-03-09 14:24:45 +04:00
Michael Raskin
2331ea4ec2
TPTP: update to 5.4.0
2012-07-07 20:32:48 +04:00
Michael Raskin
dd3ef46cac
Update TPTP
...
svn path=/nixpkgs/trunk/; revision=33754
2012-04-12 07:23:52 +00:00
Eelco Dolstra
c556a6ea46
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
...
function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
2012-01-18 20:16:00 +00:00
Michael Raskin
d03599f8ce
Adding TPTP
...
svn path=/nixpkgs/trunk/; revision=27468
2011-06-15 10:35:18 +00:00
