blob: e0563ba85ae4ff822263f3c3fe239577f9aeb77b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
AUX coqide.desktop 233 RMD160 3f9d112d7f55454f72c42b427005b37971c6e928 SHA1 40571b86c25793e7d4e9bef80f637d7440b03704 SHA256 dba2e81a408ae51e187c2a164794f9505c4abfa0b92f47a44d0e9f96e2b6dfac
DIST coq-8.3pl1.tar.gz 3756961 RMD160 687983bcaca723299b6ea902a1e1b07338209d55 SHA1 3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f SHA256 3a497386bd74f43a5af1d0c53f29a017ce7ed1b1e60c052217fe04b7f40be928
EBUILD coq-8.3_p1.ebuild 2203 RMD160 3599adbd03754de93230d9adf95b3210f092927e SHA1 7c753b264fc1837adada16e20c2e048dc1f08f6e SHA256 bf5317d76d666ff1f3199c68ec049641f518ec13e2388b4917aa34873667d4f5
MISC ChangeLog 10706 RMD160 e5e1e1153819c4ac01dca4650979d5418643a119 SHA1 a5296c2ae88d45f28799a8fa56e42fb3cbee512d SHA256 32f29787aec0e871a6d4f14815bccb3e2cf04a66552287d7be34b8d7b0a0479b
MISC metadata.xml 788 RMD160 98e6a38354c1398f7bed64f34aa88e1d439190b3 SHA1 7d9ce5fed17eaf9bf756b493c76c27678212995b SHA256 5028003bf6d1ec17b51ce45c17bb565137f825a5eefcdf57de4a98c5c61d0626
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)
iEYEARECAAYFAk4UrGkACgkQvFcC4BYPU0qF8wCdHWsX1TxgE1eYDUN593VUoKS+
YOgAnjsCalrKWyvVy1ITTRo8FKed9EfZ
=OWqR
-----END PGP SIGNATURE-----
|
GitWeb
