Merge pull request #45 from msakai/update-tptp-url

Update URL of TPTP website
DanielSchuessler · Nov 9, 2024 · d41c47c · d41c47c
2 parents cacc6ba + 99fa7ab
commit d41c47c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/logic-TPTP.cabal b/logic-TPTP.cabal
@@ -8,7 +8,7 @@ maintainer: Ahn, Ki Yung <[email protected]>, Daniel Schüssler <[email protected]
 bug-reports: http://github.com/DanielSchuessler/logic-TPTP/issues
 synopsis: Import, export etc. for TPTP, a syntax for first-order logic
 description:
- For information about the TPTP format, see <http://www.cs.miami.edu/~tptp/>.
+ For information about the TPTP format, see <https://www.tptp.org/>.
  .
  Components:
  .