Commit message (Expand) | Author | Age | |
---|---|---|---|
* | tptp: take into account upstream tarball hash change; one file got renamed an... | Michael Raskin | 2016-09-08 |
* | tptp: 6.3.0 -> 6.4.0 | Michael Raskin | 2016-07-16 |
* | tptp: fix hash | Michael Raskin | 2016-06-20 |
* | tptp: replace use of builderDefsPackage | Gabriel Ebner | 2016-01-29 |
* | tptp: 6.1.0 -> 6.3.0 | Gabriel Ebner | 2016-01-29 |
* | Update TPTP | Michael Raskin | 2014-08-31 |
* | Update TPTP and make URL set robust to moving old versions to archive | Michael Raskin | 2014-05-03 |
* | Set meta.hydraPlatforms instead of meta.platforms for some packages | Eelco Dolstra | 2013-11-05 |
* | TPTP had a bugfix without version change | Michael Raskin | 2013-03-09 |
* | TPTP: update to 5.4.0 | Michael Raskin | 2012-07-07 |
* | Update TPTP | Michael Raskin | 2012-04-12 |
* | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 2012-01-18 |
* | Adding TPTP | Michael Raskin | 2011-06-15 |