diff options
| author |   Michael Sterrett <mr_bones_@gentoo.org> | 2008-01-03 19:44:26 +0000 |
|---|---|---|
| committer | Michael Sterrett <mr_bones_@gentoo.org> | 2008-01-03 19:44:26 +0000 |
| commit | a6394e0c98923e95f2ddd36e62dfc4c449af1668 (patch) | |
| tree | 34332804decc9383606f2217eb811093c089000b /sci-mathematics/coq/Manifest | |
| parent | whitespace (diff) | |
| download | gentoo-2-a6394e0c98923e95f2ddd36e62dfc4c449af1668.tar.gz gentoo-2-a6394e0c98923e95f2ddd36e62dfc4c449af1668.tar.bz2 gentoo-2-a6394e0c98923e95f2ddd36e62dfc4c449af1668.zip | |
whitespace
(Portage version: 2.1.3.19)
(Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/coq/Manifest')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 18 |
1 files changed, 4 insertions, 14 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 9dfe347c3655..149b3cd5ce42 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,6 +1,3 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - AUX coq-8.1_p3-cmxa-install.dpatch 782 RMD160 b3977ef5ba2acad230973cb0bfd350f644068105 SHA1 399d3e235744ddb2f40088f5d55e84e5aa2f260d SHA256 799cedbe003c9ff4becf46896f0a0971d160a8075c4979f8ba40577229b3223c MD5 8af37f492e015307524c531134391d74 files/coq-8.1_p3-cmxa-install.dpatch 782 RMD160 b3977ef5ba2acad230973cb0bfd350f644068105 files/coq-8.1_p3-cmxa-install.dpatch 782 @@ -31,10 +28,10 @@ EBUILD coq-8.1_p2.ebuild 1725 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 SH MD5 0931e7f0be585a64a2a3defb96b7ab66 coq-8.1_p2.ebuild 1725 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 coq-8.1_p2.ebuild 1725 SHA256 328b25de69f8a2741b83bb3225c8c22ead842e307634c2f248432317d8b0d2ad coq-8.1_p2.ebuild 1725 -EBUILD coq-8.1_p3.ebuild 2534 RMD160 61cf5893ba0b004f3e171609a06f7b446eafcf1f SHA1 c8e80117ccfef9aa6495aee4cfa648ded23d2ebd SHA256 b257293c5f408b7fbd1336a86d17be86c0c577eea40baba3ccb580177663bba6 -MD5 5b973ba1d4b34f082b1358225a28a7aa coq-8.1_p3.ebuild 2534 -RMD160 61cf5893ba0b004f3e171609a06f7b446eafcf1f coq-8.1_p3.ebuild 2534 -SHA256 b257293c5f408b7fbd1336a86d17be86c0c577eea40baba3ccb580177663bba6 coq-8.1_p3.ebuild 2534 +EBUILD coq-8.1_p3.ebuild 2534 RMD160 d5fb3965ead97b99752ccde7d5ec842abda982e5 SHA1 b03e834b13ab79a4b85cfa9260afddbcfd555673 SHA256 d786923151e7daa2049375cb8eb870aacf2bd01381e228ee13878cc9191c65bd +MD5 5d93d0d16f1d2a2b86fc31667e23d89b coq-8.1_p3.ebuild 2534 +RMD160 d5fb3965ead97b99752ccde7d5ec842abda982e5 coq-8.1_p3.ebuild 2534 +SHA256 d786923151e7daa2049375cb8eb870aacf2bd01381e228ee13878cc9191c65bd coq-8.1_p3.ebuild 2534 MISC ChangeLog 5140 RMD160 29e77f17a7a411d3683f0ac85503d81e49a010ee SHA1 1dcfde3a7c5c6aea3239ff39da677af3dfa7329e SHA256 c8308733581fcaef63c02503a79ef9d5d3168e7c035d6b9796ac031dbf73bcb1 MD5 4b28601189d768931bf44d5a99d2cd0f ChangeLog 5140 RMD160 29e77f17a7a411d3683f0ac85503d81e49a010ee ChangeLog 5140 @@ -55,10 +52,3 @@ SHA256 6e90b572e62f580834a9721149404b02faf2cac779670386219b778dfd7492e3 files/di MD5 ee73692d684c6e166f565e21e48cbb84 files/digest-coq-8.1_p3 235 RMD160 f3768c38ca8e57dcf832134a54d7e778858781dc files/digest-coq-8.1_p3 235 SHA256 73bd61ecaed8280418c5ffe57c15b20f1cb66ccfb78630fb9c87c30e2a4a8fe6 files/digest-coq-8.1_p3 235 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.8 (GNU/Linux) - -iEYEARECAAYFAkd9HnAACgkQvFcC4BYPU0oMmgCfROy66YJLklD2LJuOYEQwfKWj -tvsAoJIzczLeqoi+UfEwA/ElPJl+kzEk -=obFY ------END PGP SIGNATURE----- |