sec-keys/openpgp-keys-stups
OpenPGP key used by the STUPS group at HHU Düsseldorf
Screenshots
-
openpgp-keys-stups-20260607~amd64
View 
Download 
Browse License: public-domain Overlay: eventb-rossi
ChangeLog
commit 70a8bcbfcc56da3a546d14a2e8c122647b76d572
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 13:25:54 2026 +0400
sec-keys/openpgp-keys-stups: new package; add 20260607
OpenPGP key of the STUPS group at HHU Düsseldorf, used to sign the
de.hhu.stups artifacts on Maven Central. Required for verify-sig
support in sci-mathematics/tlc4b.
Signed-off-by: Denis Efremov <efremov@linux.com>
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 13:25:54 2026 +0400
sec-keys/openpgp-keys-stups: new package; add 20260607
OpenPGP key of the STUPS group at HHU Düsseldorf, used to sign the
de.hhu.stups artifacts on Maven Central. Required for verify-sig
support in sci-mathematics/tlc4b.
Signed-off-by: Denis Efremov <efremov@linux.com>