about summary refs log tree commit diff
path: root/nixpkgs/pkgs/applications/science/logic/tptp
Commit message (Expand)AuthorAge
* Merge commit '99665eb45f58d959d2cb9e49ddb960c79d596f33'Alyssa Ross2023-02-08
* Merge commit '891f607d5301d6730cb1f9dcf3618bcb1ab7f10e'Alyssa Ross2021-01-26
* Merge commit '4e60699fa727e4a0f9a3e78948012f86da32cfef'Alyssa Ross2019-09-16
* Merge commit 'bc9df0f66110039e495b6debe3a6cda4a1bb0fed'Alyssa Ross2019-05-17
* Add 'nixpkgs/' from commit 'abf060725d7614bd3b9f96764262dfbc2f9c2199'Alyssa Ross2019-01-07