diff options
author | Pavel Vinogradov | 2018-02-02 16:25:18 -0500 |
---|---|---|
committer | Pavel Vinogradov | 2018-02-02 16:25:18 -0500 |
commit | 64589ad40576b2a1241c06218b0d553e9a3b32f3 (patch) | |
tree | 76139c06a3cc8c7ffc5949fdf1fd2d9037689540 /doc/man-pages/DETAILS | |
parent | b0da637d584f5aac99a5f1c2ec2375139513ff5d (diff) |
doc/man-pages: version 4.15
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 6ebfc506e9..881a20aca8 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,6 +1,6 @@ SPELL=man-pages - VERSION=4.14 - SOURCE_HASH=sha512:d7163aacc6c3da914182d685d459d24ad60182e2cc528d72b08b565a9e2901ec319c8b44aef9b7e20838e146e159834482c62ba1b65823d5a06794283ebef41f + VERSION=4.15 + SOURCE_HASH=sha512:cde896add266e672347841a9116e5d182084044c4543a847945825f98962192f0e8278a4f562fc47a580eb2ddc3d669ffc75a21922219b4d3c36cbe8a792e205 SOURCE=$SPELL-$VERSION.tar.xz # SOURCE2=$SOURCE.sign SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" |