diff options
Diffstat (limited to 'doc/miscfiles/DETAILS')
| -rwxr-xr-x | doc/miscfiles/DETAILS | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/doc/miscfiles/DETAILS b/doc/miscfiles/DETAILS index 660355e6fd..e5b2254121 100755 --- a/doc/miscfiles/DETAILS +++ b/doc/miscfiles/DETAILS @@ -1,12 +1,9 @@ SPELL=miscfiles - VERSION=1.4.2 + VERSION=1.5 SOURCE=$SPELL-$VERSION.tar.gz - SOURCE2=$SOURCE.sig SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION SOURCE_URL[0]=$GNU_URL/$SPELL/$SOURCE - SOURCE2_URL[0]=${SOURCE_URL[0]}.sig - SOURCE_GPG=913797E7.gpg:$SOURCE2:UPSTREAM_KEY - SOURCE2_IGNORE=signature + SOURCE_HASH=sha512:d7ab23a709539278cce59e0c32bfcb3a0f11dc52ef537e3823e72382962af7f4fedb8b957f39ff1da51a93a00e3c4f6ec29f7332d7879c77fd7f4ec0ee4f82aa WEB_SITE=http://www.gnu.org ENTERED=20020525 LICENSE=GLP |