sec-keys / openpgp-keys-dealii

OpenPGP keys used by dealii

Official package sites : https://github.com/dealii/dealii/ · https://www.dealii.org/ ·

v20230904 :: 0 :: gentoo

Modified
License
public-domain
Keywords
amd64 arm arm64 hppa ppc ppc64 sparc x86 ~alpha ~ia64 ~loong ~m68k ~mips ~riscv ~s390
Repository mirror & CI · gentoo
Merge updates from master
Matthias Maier · gentoo
sec-keys/openpgp-keys-dealii: add 20230904, refresh keys from keyserver
- force a refresh from openpgp keyserver - use ${P} in distfile name to ensure that when bumping this package keys are properly refetched Signed-off-by: Matthias Maier <tamiko@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Matthias Maier · gentoo
sec-keys/openpgp-keys-dealii: new package, add 20221207
Signed-off-by: Matthias Maier <tamiko@gentoo.org>