summaryrefslogtreecommitdiffstats
path: root/doc/man-pages/DETAILS
diff options
context:
space:
mode:
authorPavel Vinogradov2017-09-15 19:06:02 -0400
committerPavel Vinogradov2017-09-15 19:06:02 -0400
commit38478c9d3506aba56971ca7b06c970026f84ed9b (patch)
tree39231a1c59284521e865c4d4da234e8096633796 /doc/man-pages/DETAILS
parentd55e931b7b484f0efed5b7e6132590075351d2bf (diff)
doc/man-pages: version 4.13
Diffstat (limited to 'doc/man-pages/DETAILS')
-rwxr-xr-xdoc/man-pages/DETAILS4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/man-pages/DETAILS b/doc/man-pages/DETAILS
index c2bf07659a..1a09028434 100755
--- a/doc/man-pages/DETAILS
+++ b/doc/man-pages/DETAILS
@@ -1,6 +1,6 @@
SPELL=man-pages
- VERSION=4.12
- SOURCE_HASH=sha512:03ab6fb4d3136ef31add16859706f965f954249bd0a44250c8a081b3e1260dce74d50112f1f56af079c08c46049aeaa71b48ccb7d1a3e57a1fc4a495c38647ce
+ VERSION=4.13
+ SOURCE_HASH=sha512:86479372cbe2ba5fcad3e2049f52ec788a4aa2d8056cadf7b248eaa776064e1c9387a42d0a77f4bde4385214c11aac117b1e99745459260ca639c656c01698b7
SOURCE=$SPELL-$VERSION.tar.xz
# SOURCE2=$SOURCE.sign
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"