gentoo.mahdi.cz
sec-keys
:openpgp-keys-dealii
OpenPGP keys used by dealii
https://www.dealii.org/ https://github.com/dealii/dealii/
openpgp-keys-dealii-20230904
public-domain
download
~alpha amd64 arm arm64 hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86
gentoo