diff --git a/math/stp/pkg-descr b/math/stp/pkg-descr
index 43995f11f06f..a72032d08c68 100644
--- a/math/stp/pkg-descr
+++ b/math/stp/pkg-descr
@@ -11,4 +11,4 @@ and the output of STP is a single bit of information that indicates whether
 the formula is satisfiable or not. If the input is satisfiable, then it also
 generates a variable assignment to satisfy the input formula.
 
-WWW: http://people.csail.mit.edu/vganesh/STP_files/stp.html
+WWW: https://stp.github.io/