-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

AUX coqide.desktop 233 RMD160 3f9d112d7f55454f72c42b427005b37971c6e928 SHA1 40571b86c25793e7d4e9bef80f637d7440b03704 SHA256 dba2e81a408ae51e187c2a164794f9505c4abfa0b92f47a44d0e9f96e2b6dfac
DIST coq-8.3pl1.tar.gz 3756961 RMD160 687983bcaca723299b6ea902a1e1b07338209d55 SHA1 3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f SHA256 3a497386bd74f43a5af1d0c53f29a017ce7ed1b1e60c052217fe04b7f40be928
DIST coq-8.3pl2.tar.gz 3760176 RMD160 f59ee288a35c1009f88f050362bee21311b459a8 SHA1 8506761e4755739cc728aff790dd778db8217f3f SHA256 b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1
EBUILD coq-8.3_p1.ebuild 2203 RMD160 3599adbd03754de93230d9adf95b3210f092927e SHA1 7c753b264fc1837adada16e20c2e048dc1f08f6e SHA256 bf5317d76d666ff1f3199c68ec049641f518ec13e2388b4917aa34873667d4f5
EBUILD coq-8.3_p2.ebuild 2276 RMD160 fc739cdb46156470d4e09f893257a0bf83008938 SHA1 8bc25542e744c23678a0628f3c16efb0a30ca701 SHA256 5cc6e23cdc2a21a79c2ec491cd1bee6c3d7194a691d0628161492ed53ff9bea0
MISC ChangeLog 10812 RMD160 14d461c72756fc0d9398c5632ad386e2ade10dc2 SHA1 c09a9caaf0adc876394a92379a0154d34bad2324 SHA256 26295c17a97e0cce58baad74ac5343c411a0e4c44499511e3523dc7d106324e6
MISC metadata.xml 788 RMD160 98e6a38354c1398f7bed64f34aa88e1d439190b3 SHA1 7d9ce5fed17eaf9bf756b493c76c27678212995b SHA256 5028003bf6d1ec17b51ce45c17bb565137f825a5eefcdf57de4a98c5c61d0626
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.18 (GNU/Linux)

iF4EAREIAAYFAk5GdlQACgkQodBTJSDyo67dJAD/SeYU5QaPAVhVuY12sD1OLlvA
u71dpSXwkYnW8jxU8LcA/R8FaF/65dTVS+IYwPS7ZWYYvI2eyiK4qlFd6qCGXjWp
=wyGL
-----END PGP SIGNATURE-----