Gentoo Packages

sec-keys/openpgp-keys-stups (eventb-rossi)

Search

Install

Install this package:

emerge -a sec-keys/openpgp-keys-stups

Package Information

Description:
OpenPGP key used by the STUPS group at HHU Düsseldorf
Homepage:
https://stups.hhu-hosting.de/
License:
public-domain

Versions

Version EAPI Keywords Slot
20260607 8 ~amd64 0

Metadata

Maintainers

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
</pkgmetadata>

Lint Warnings

Files