-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

AUX coqide.desktop 233 RMD160 3f9d112d7f55454f72c42b427005b37971c6e928 SHA1 40571b86c25793e7d4e9bef80f637d7440b03704 SHA256 dba2e81a408ae51e187c2a164794f9505c4abfa0b92f47a44d0e9f96e2b6dfac
DIST coq-8.2pl1.tar.gz 3600620 RMD160 dd5758a94bb3de49967cec76baa33eb5169659ce SHA1 4aed3302adc2edbaa5d97984512c1c13014bd649 SHA256 7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c
EBUILD coq-8.2_p1-r1.ebuild 2023 RMD160 6040854d288bf7b9887c36dfffa961a13efccaeb SHA1 d1463fe96e2b5202edb0770af67a77288686db01 SHA256 d81f9be041f55de003b83574c52abc2bea9a119c99cd022b732756170758b26f
MISC ChangeLog 8569 RMD160 0898be65b48ab0fdb76084cfe1e5deb12c75a326 SHA1 c27f62e4471593547ed502a3dfb884ad559c5380 SHA256 07cef9606c47096f1f0b86b44d5cf369c4f6311d45fc2cf7315337fedc5b4658
MISC metadata.xml 282 RMD160 dfd17179bb9bb01273006a8c00cc941f1a313523 SHA1 bfc493a2aa04b1ee10be87c6e09c3d97e3ecd8e9 SHA256 9885bd063535c49f50e664cde9bba05ce04f880126d126c51768a8ec52780d7c
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.14 (GNU/Linux)

iEYEARECAAYFAku/AscACgkQvFcC4BYPU0o2ZwCgl84Ntv1qOCdu06JrIaBo02hW
sEwAoIUPa2WnlcxM3+klwivp6fb9WKF1
=DeM3
-----END PGP SIGNATURE-----