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