diff options
author | Florian Franzmann | 2020-01-11 01:30:48 +0100 |
---|---|---|
committer | Florian Franzmann | 2020-01-11 01:35:54 +0100 |
commit | 5130921f4f103144a5bfa3a1b7435d11d4a1674d (patch) | |
tree | 923adcc752fce2e0e1b5a05e6934b8007c555436 /doc | |
parent | ae697a31a64f6ee99199de17c1167c2110600828 (diff) |
doc/source-highlight: version 3.1.9
Diffstat (limited to 'doc')
-rw-r--r-- | doc/source-highlight/9E629EAC.gpg | bin | 1010 -> 0 bytes | |||
-rwxr-xr-x | doc/source-highlight/DETAILS | 7 | ||||
-rw-r--r-- | doc/source-highlight/HISTORY | 3 |
3 files changed, 5 insertions, 5 deletions
diff --git a/doc/source-highlight/9E629EAC.gpg b/doc/source-highlight/9E629EAC.gpg Binary files differdeleted file mode 100644 index 81316c4b20..0000000000 --- a/doc/source-highlight/9E629EAC.gpg +++ /dev/null diff --git a/doc/source-highlight/DETAILS b/doc/source-highlight/DETAILS index 56a6659c54..c9261dcf90 100755 --- a/doc/source-highlight/DETAILS +++ b/doc/source-highlight/DETAILS @@ -1,12 +1,9 @@ SPELL=source-highlight - VERSION=3.1.8 + VERSION=3.1.9 SOURCE=${SPELL}-${VERSION}.tar.gz - SOURCE2=$SOURCE.sig SOURCE_DIRECTORY=${BUILD_DIRECTORY}/${SPELL}-${VERSION} SOURCE_URL[0]=${GNU_URL}/src-highlite/${SOURCE} - SOURCE2_URL[0]=${SOURCE_URL[0]}.sig - SOURCE_GPG=9E629EAC.gpg:$SOURCE2:UPSTREAM_KEY - SOURCE2_IGNORE=signature + SOURCE_HASH=sha512:d8e154e9a5d62c77807e4e5d36c0faed5ce2964291be5f8b83e2968a6de52229503689a4ca2109a717ae2632a14b63ec937ca0430c91684c72063f6bc0294195 WEB_SITE=http://www.gnu.org/software/src-highlite/ ENTERED=20041226 LICENSE[0]=GPL diff --git a/doc/source-highlight/HISTORY b/doc/source-highlight/HISTORY index 6bbb02f68e..108e28a064 100644 --- a/doc/source-highlight/HISTORY +++ b/doc/source-highlight/HISTORY @@ -1,3 +1,6 @@ +2020-01-11 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 3.1.9 + 2019-10-03 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * TRIGGERS: check self on cast boost |