diff options
| author |   Jan Brinkmann <luckyduck@gentoo.org> | 2005-04-13 18:39:06 +0000 |
|---|---|---|
| committer | Jan Brinkmann <luckyduck@gentoo.org> | 2005-04-13 18:39:06 +0000 |
| commit | f1b8f25ffe9d184aa70df7b0c0d1ddebfad14c96 (patch) | |
| tree | 642f5749c9f38f74293118025988377cc72f3a98 /sci-mathematics/coq | |
| parent | added ~amd64 to KEYWORDS, fixes #88950 (diff) | |
| download | gentoo-2-f1b8f25ffe9d184aa70df7b0c0d1ddebfad14c96.tar.gz gentoo-2-f1b8f25ffe9d184aa70df7b0c0d1ddebfad14c96.tar.bz2 gentoo-2-f1b8f25ffe9d184aa70df7b0c0d1ddebfad14c96.zip | |
added ~amd64 to KEYWORDS, fixes #88950
(Portage version: 2.0.51.19) (Manifest recommit)
(Portage version: 2.0.51.19)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index be6d87c0b588..b99382b255e2 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,8 +1,11 @@ -MD5 f2504a89d94ddfe625269bbb79497bd7 coq-8.0.ebuild 1920 -MD5 cd875ecf22c5c7b23d24f893b0f167bf coq-7.4.ebuild 985 -MD5 525e0a449e0f30b2c83921ce2d3dcf10 ChangeLog 1989 +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + +MD5 cb898371df21f1a9d28fa6e073a5505f coq-8.0.ebuild 1921 +MD5 ec14c64c02c2760bfd7750bb764b41df coq-7.4.ebuild 986 +MD5 26d5c8abe245a9fb5540eea4558e91bf ChangeLog 1990 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 08eb68a47e1f4015a48e979cef980911 coq-8.0-r1.ebuild 2073 +MD5 83bfd344102e7fbd781532543b9a782f coq-8.0-r1.ebuild 2074 MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321 MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 @@ -10,3 +13,10 @@ MD5 86922705a72292e7508baae5bc75e2a3 files/digest-coq-8.0 130 MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676 MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v1.4.0 (GNU/Linux) + +iD8DBQFCXWdV06ebR+OMO78RAirZAJ97+fqd3K/MqyD8YQSs2fLeyY1xZwCfX1WV +N1PToVe395/xJCpJinFj9lQ= +=+SOF +-----END PGP SIGNATURE----- |