about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/tptp
AgeCommit message (Expand)AuthorFilesLines
2022-06-23treewide/applications: add `sourceType` `binaryNativeCode` for many packagesRobert Scott1-0/+1
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-05-09tptp: switch to new base URL for source tarballMichael Raskin1-2/+2
2018-11-15tptp: use urls instead of urlGabriel Ebner1-1/+1
2018-11-15tptp: 7.1.0 -> 7.2.0Gabriel Ebner1-2/+2
2018-09-28tree-wide: patchelf used during build -> nativeBuildInputsWill Dietz1-1/+2
2018-03-12tptp: 7.0.0 -> 7.1.0Michael Raskin1-2/+2
2017-10-02tptp: 6.4.0 -> 7.0.0Gabriel Ebner1-3/+3
2016-09-08tptp: take into account upstream tarball hash change; one file got renamed an...Michael Raskin1-1/+1
2016-07-16tptp: 6.3.0 -> 6.4.0Michael Raskin1-2/+2
2016-06-20tptp: fix hashMichael Raskin1-1/+1
2016-01-29tptp: replace use of builderDefsPackageGabriel Ebner1-73/+31
2016-01-29tptp: 6.1.0 -> 6.3.0Gabriel Ebner1-2/+2
2014-08-31Update TPTPMichael Raskin1-2/+2
2014-05-03Update TPTP and make URL set robust to moving old versions to archiveMichael Raskin1-4/+8
2013-11-05Set meta.hydraPlatforms instead of meta.platforms for some packagesEelco Dolstra1-2/+1
2013-03-09TPTP had a bugfix without version changeMichael Raskin1-1/+1
2012-07-07TPTP: update to 5.4.0Michael Raskin1-2/+2
2012-04-12Update TPTPMichael Raskin1-2/+2
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra1-2/+2
2011-06-15Adding TPTPMichael Raskin1-0/+87