sec-keys / openpgp-keys-stups openpgp-keys-stups OpenPGP key used by the STUPS group at HHU Düsseldorf homepage ↗ Available in OverlayNewestEbuildsLast activity eventb-rossi GitHub ↗ 20260607 1 29 h details › Versions & arches VersionOverlay amd64 Committed 20260607 ≈ eventb-rossi ◐amd64 testing 50 d view · download · history ↗