diff options
| author | Pavel Vinogradov | 2017-07-22 20:22:22 -0400 |
|---|---|---|
| committer | Pavel Vinogradov | 2017-07-22 20:22:22 -0400 |
| commit | 1d6cedb6637b575e8898c6c5fa7f610c367c8c9c (patch) | |
| tree | beb36612172201915772e178d849efc497697e84 /doc/man-pages/DETAILS | |
| parent | 7c0ff6275d21e9cdb4d2288fe686487cce788225 (diff) | |
doc/man-pages: version 4.12
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 0ceefa6ecc..c2bf07659a 100755 --- a/doc/man-pages/DETAILS +++ b/doc/man-pages/DETAILS @@ -1,6 +1,6 @@ SPELL=man-pages - VERSION=4.11 - SOURCE_HASH=sha512:cc1282467255d5c078b099ab6dbc407c5f56fa66fb3f5789286bc66c98b229cae88bf8afdafa7c9609a37c87cdb1401bb381cec25c64690ab69faf4d00787187 + VERSION=4.12 + SOURCE_HASH=sha512:03ab6fb4d3136ef31add16859706f965f954249bd0a44250c8a081b3e1260dce74d50112f1f56af079c08c46049aeaa71b48ccb7d1a3e57a1fc4a495c38647ce SOURCE=$SPELL-$VERSION.tar.xz # SOURCE2=$SOURCE.sign SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" |