summaryrefslogtreecommitdiff
blob: 46105f9d76301f0a36c190cb76e586bbbabd43c3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
-----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
DIST coq-8.2pl2.tar.gz 3649761 RMD160 7ecd8a63d8c6f43c0f4c18737895d656f2275913 SHA1 97e1f3d458845cb2934fa0573521fa517994295a SHA256 0e66c2576150bf18828bfff94df50e3405acda6c728ad01a4906fdbdc6de0236
EBUILD coq-8.2_p1-r1.ebuild 2023 RMD160 6040854d288bf7b9887c36dfffa961a13efccaeb SHA1 d1463fe96e2b5202edb0770af67a77288686db01 SHA256 d81f9be041f55de003b83574c52abc2bea9a119c99cd022b732756170758b26f
EBUILD coq-8.2_p2.ebuild 2019 RMD160 74bae30da7b6eaa7d5d01cdb4831130d5daea25d SHA1 934a112b960cafb2d1aedff8da1c265ee6830361 SHA256 69b98043e15462c95a5eb19b6393dfee64bcd257bb491cda0cf7cb1f322d993c
MISC ChangeLog 8695 RMD160 87878a599c8879d1dc6986d90a14c17b6d864f20 SHA1 768af8745e57f3b656e6105aeeed40cdad4a4caa SHA256 5153352ef92af6a7a61fc5af86862afebdce30923defaf3304518cf553d6a274
MISC metadata.xml 978 RMD160 87ac5db98680ca1eef0b2d5fbdb2963b182a35cb SHA1 cef1c29019652dbe87c3ba5daeeaec63e0bb5e2d SHA256 dd2767eb316b5bf7c1c66c555f3b54b9d812f22631ab8d27151a1ce13b54d203
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.16 (GNU/Linux)

iEYEARECAAYFAkygHkkACgkQ1ycZbhPLE2BqfwCfdGQ0tysj2ZmmpOW+V6rQOC5D
dHkAn1jvoJ19mk8drglneuhhxwWeW5mO
=jyWa
-----END PGP SIGNATURE-----