summary refs log tree commit diff
path: root/pkgs/applications/science/logic/tptp
Commit message (Expand)AuthorAge
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* tptp: switch to new base URL for source tarballMichael Raskin2019-05-09
* tptp: use urls instead of urlGabriel Ebner2018-11-15
* tptp: 7.1.0 -> 7.2.0Gabriel Ebner2018-11-15
* tree-wide: patchelf used during build -> nativeBuildInputsWill Dietz2018-09-28
* tptp: 7.0.0 -> 7.1.0Michael Raskin2018-03-12
* tptp: 6.4.0 -> 7.0.0Gabriel Ebner2017-10-02
* tptp: take into account upstream tarball hash change; one file got renamed an...Michael Raskin2016-09-08
* tptp: 6.3.0 -> 6.4.0Michael Raskin2016-07-16
* tptp: fix hashMichael Raskin2016-06-20
* tptp: replace use of builderDefsPackageGabriel Ebner2016-01-29
* tptp: 6.1.0 -> 6.3.0Gabriel Ebner2016-01-29
* Update TPTPMichael Raskin2014-08-31
* Update TPTP and make URL set robust to moving old versions to archiveMichael Raskin2014-05-03
* Set meta.hydraPlatforms instead of meta.platforms for some packagesEelco Dolstra2013-11-05
* TPTP had a bugfix without version changeMichael Raskin2013-03-09
* TPTP: update to 5.4.0Michael Raskin2012-07-07
* Update TPTPMichael Raskin2012-04-12
* * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
* Adding TPTPMichael Raskin2011-06-15
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-01 04:14:58 +0000