Commit graph

18 commits

Author SHA1 Message Date
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