diff options
author | Vlad Glagolev | 2018-08-25 22:43:04 -0700 |
---|---|---|
committer | Vlad Glagolev | 2018-08-25 22:43:04 -0700 |
commit | d36ce51679fb0d649e16e4ee8342a50dd16dbd09 (patch) | |
tree | 6616fdb87b7c63053edc195d5f3f97a1e0949c3c /wm-addons/jgmenu/DETAILS | |
parent | a0c7afdc72bd232c3fbcbe83a31179806b31f673 (diff) |
jgmenu: => 1.2.1
Diffstat (limited to 'wm-addons/jgmenu/DETAILS')
-rwxr-xr-x | wm-addons/jgmenu/DETAILS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/wm-addons/jgmenu/DETAILS b/wm-addons/jgmenu/DETAILS index 71748f0578..c3ad7049d8 100755 --- a/wm-addons/jgmenu/DETAILS +++ b/wm-addons/jgmenu/DETAILS @@ -1,8 +1,8 @@ SPELL=jgmenu - VERSION=0.8.2 + VERSION=1.2.1 SOURCE=${SPELL}-${VERSION}.tar.gz SOURCE_URL[0]=https://github.com/johanmalm/${SPELL}/archive/v${VERSION}.tar.gz - SOURCE_HASH=sha512:abd7e5503cb41cf19178cfc2d98e445e945fab613a37696057e092966670aca7afb285b1674fe4fbc665630622052602b77c87df59f96a9547465116e7163810 + SOURCE_HASH=sha512:404fbdf75a218d97ed10fce2abbadaafc7e158153f7d85504d1ab2d1c7984e38c3d41324fe530b0d86881002b94424f0505cb43bd7bcf1397934decd463c62eb SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}" DOC_DIRS="docs/relnotes" DOCS="docs/manual/*.md ${DOCS}" |