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 cffee15053..49ed55b3ea 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,6 +1,6 @@ SPELL=man-pages - VERSION=3.46 - SOURCE_HASH=sha512:eae6ec2071396ff5eabded8e8b81407126d4c27c5fe69e8786a837dc646fafecaa2bcbd3b8819108eb9099f56e9ef5ecff4e5be651fff81bb5b754159c4bb254 + VERSION=3.72 + SOURCE_HASH=sha512:10d513c926d44122955ad5c852af9c87d7f46296cdc22cbf2397115163a7873c57ba79b8b94f50a5ce202b55005a24dd5a219a0db0b5c015070f68a943834296 SOURCE=$SPELL-$VERSION.tar.xz # SOURCE2=$SOURCE.sign SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" |