diff options
| author |   Torsten Veller <tove@gentoo.org> | 2008-03-06 17:25:56 +0000 |
|---|---|---|
| committer | Torsten Veller <tove@gentoo.org> | 2008-03-06 17:25:56 +0000 |
| commit | 1c5477b064889d516dbd21eb867d8e7de982c81b (patch) | |
| tree | fa5cd6f76b38447c7d0bcf6eaefdda05ffb0e842 /sci-mathematics/coq | |
| parent | Fixed encoding in ChangeLog (diff) | |
| download | historical-1c5477b064889d516dbd21eb867d8e7de982c81b.tar.gz historical-1c5477b064889d516dbd21eb867d8e7de982c81b.tar.bz2 historical-1c5477b064889d516dbd21eb867d8e7de982c81b.zip | |
Fixed encoding in ChangeLog
Package-Manager: portage-2.1.4.4
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 4 | ||||
| -rw-r--r-- | sci-mathematics/coq/Manifest | 12 |
2 files changed, 13 insertions, 3 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 237beeb50f69..d26df5d8387a 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,6 @@ # ChangeLog for sci-mathematics/coq # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.26 2008/01/16 13:35:34 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.27 2008/03/06 17:25:56 tove Exp $ 16 Jan 2008; Alexis Ballier <aballier@gentoo.org> coq-8.1_p3.ebuild: restrict also installsources as it has the same problem with ocaml... it @@ -58,7 +58,7 @@ 31 Jul 2007; Christian Heim <phreak@gentoo.org> metadata.xml: Reassigning to sci from math-proof (see #138059 for reference). - 02 Jul 2007; Piotr JaroszyÅski <peper@gentoo.org> coq-8.0-r1.ebuild, + 02 Jul 2007; Piotr Jaroszyński <peper@gentoo.org> coq-8.0-r1.ebuild, coq-8.0_p3.ebuild: (QA) RESTRICT clean up. diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 27a491510f49..26b097c7a152 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,3 +1,6 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + AUX coq-8.1_p3-cmxa-install.dpatch 782 RMD160 b3977ef5ba2acad230973cb0bfd350f644068105 SHA1 399d3e235744ddb2f40088f5d55e84e5aa2f260d SHA256 799cedbe003c9ff4becf46896f0a0971d160a8075c4979f8ba40577229b3223c AUX coq-8.1_p3-noocamlopt.patch 640 RMD160 dce43c53544a7c4d3437841a89b53e4349627ceb SHA1 a149f74e58999a594b7119c9daab3931ab468920 SHA256 c831fa7ecd2eac30964b61e8f3fddc8f34020833eabeca665984776ccbceb8e6 AUX coqide.desktop 233 RMD160 3f9d112d7f55454f72c42b427005b37971c6e928 SHA1 40571b86c25793e7d4e9bef80f637d7440b03704 SHA256 dba2e81a408ae51e187c2a164794f9505c4abfa0b92f47a44d0e9f96e2b6dfac @@ -11,5 +14,12 @@ EBUILD coq-8.0_p3.ebuild 2052 RMD160 3b0a5cba24f8c1707db057f5cbdf261689a77ce9 SH EBUILD coq-8.1_p1.ebuild 1607 RMD160 826f068f693967043bfc4742c272e38f905635dd SHA1 0ae0e5f5a9d5d339a44d311c0ee3139b19a55960 SHA256 58813aadfc76dae8565daef7c7ba97467a2f061b80ce6be9f3fbeb1a7ca0495d EBUILD coq-8.1_p2.ebuild 1725 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 SHA1 bf69e59f9036cad26a1f5f532ae601ec870199a9 SHA256 328b25de69f8a2741b83bb3225c8c22ead842e307634c2f248432317d8b0d2ad EBUILD coq-8.1_p3.ebuild 2499 RMD160 abb5a37968cf0aef5e3590dd3e2e2a5e53465f59 SHA1 f90e21358720d62f5b9da205e3ed833054bc6963 SHA256 761a76c9c50ddcf209dedc729fdd63fc2029b356ea846f18d4ec2e44bfe58624 -MISC ChangeLog 5468 RMD160 521eff87b885e21a78734e1db216c08f8db09e66 SHA1 982f976b09818dccbe82a7c711e803418d4d0fc8 SHA256 181c9dbd38358fb5af3535bccd7cede461104879536bb7c86359ae3bb9f76dd3 +MISC ChangeLog 5462 RMD160 e5a6417807751b5377dfad6c03f584c1a2b2ffe6 SHA1 edae0229b5e136b3b037e2fa3501b6db53341d3b SHA256 2bebce9f0a26f63ff2103d9412d2cd700e86b6bc43bb4d7378b7995ffbca00b2 MISC metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.7 (GNU/Linux) + +iD8DBQFH0CkeV3J2n04EauwRAhCFAKDc+cxMKL1oC/hd8uasN8ZAyhHr+wCgpLgj +YT61F/bxiOo+BTkJ8B3Gr5U= +=8jb1 +-----END PGP SIGNATURE----- |