diff options
Diffstat (limited to 'doc/man-pages/DETAILS')
-rwxr-xr-x | doc/man-pages/DETAILS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/man-pages/DETAILS b/doc/man-pages/DETAILS index 78062189ac..49ed55b3ea 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,6 +1,6 @@ SPELL=man-pages - VERSION=3.41 - SOURCE_HASH=sha512:fe083132d083c940a9de4c299e5aa82ef7cdab56430ab45f2f6b1993cee08e61c954003311eeaa44913e716ebe726ee0a4e49e7066d0493e22303450a5f8610b + VERSION=3.72 + SOURCE_HASH=sha512:10d513c926d44122955ad5c852af9c87d7f46296cdc22cbf2397115163a7873c57ba79b8b94f50a5ce202b55005a24dd5a219a0db0b5c015070f68a943834296 SOURCE=$SPELL-$VERSION.tar.xz # SOURCE2=$SOURCE.sign SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" |