summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2008-01-06 18:11:19 +0000
committerAlexis Ballier <aballier@gentoo.org>2008-01-06 18:11:19 +0000
commit1e405653e304eaaa01c861ce60e8eccb5aebfbf4 (patch)
tree1e5c458eda7e4d1a74400ed604e71d6ba97d929f /dev-ml/facile
parentallow to build without ocamlopt, dont install license (diff)
downloadgentoo-2-1e405653e304eaaa01c861ce60e8eccb5aebfbf4.tar.gz
gentoo-2-1e405653e304eaaa01c861ce60e8eccb5aebfbf4.tar.bz2
gentoo-2-1e405653e304eaaa01c861ce60e8eccb5aebfbf4.zip
allow to build without ocamlopt, dont install license
(Portage version: 2.1.4_rc14) (Signed Manifest commit)
Diffstat (limited to 'dev-ml/facile')
-rw-r--r--dev-ml/facile/Manifest26
1 files changed, 18 insertions, 8 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest
index fdde4f06f047..135bfa0cbdac 100644
--- a/dev-ml/facile/Manifest
+++ b/dev-ml/facile/Manifest
@@ -1,16 +1,19 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
AUX facile-1.1-make.patch 1613 RMD160 e569e44b0a6af07c0893c571eb3a7d176a7f8585 SHA1 391cccee28101143d65e65cc9738164b04b4eca0 SHA256 6e1ed39d10b9dd6824ac2754570efc41d7a4c53ee339df8ebd2d3f96417b3f06
MD5 2740076bfa8d4211bac8b4b8d6f3aea0 files/facile-1.1-make.patch 1613
RMD160 e569e44b0a6af07c0893c571eb3a7d176a7f8585 files/facile-1.1-make.patch 1613
SHA256 6e1ed39d10b9dd6824ac2754570efc41d7a4c53ee339df8ebd2d3f96417b3f06 files/facile-1.1-make.patch 1613
DIST facile-1.1.tar.gz 96343 RMD160 1ed7b8f916e34889bb67f06b6a9d6a121d69fe32 SHA1 31dea6e19542292c9ccb41515b0ec7ecd103bb80 SHA256 a87a6ba7869104f85828c19a9681758bd1d01c816581ba09ac483739ad4ae5ca
-EBUILD facile-1.1.ebuild 1132 RMD160 e5956b54760202bff2ece51879e3572d5b40cf10 SHA1 c25a2a32d4576b1fc31de6eef734354ad0843c82 SHA256 4cb8ce9eaa3f9dd40545af680594194ad3b41b762927883b148b00c53ea13128
-MD5 1a668f8e67cfd6bb30b9a7f21c551501 facile-1.1.ebuild 1132
-RMD160 e5956b54760202bff2ece51879e3572d5b40cf10 facile-1.1.ebuild 1132
-SHA256 4cb8ce9eaa3f9dd40545af680594194ad3b41b762927883b148b00c53ea13128 facile-1.1.ebuild 1132
-MISC ChangeLog 1497 RMD160 f14c888221b08a324a36b98e154bf74fc0ea182f SHA1 c2d3dd06c03a63990bbc3ee29852ae955266eed9 SHA256 4cf9fb94467981db0eebde1da07ec014bdac199e42552c523b54422361b2467d
-MD5 67b33486ce0973479fe178712823903d ChangeLog 1497
-RMD160 f14c888221b08a324a36b98e154bf74fc0ea182f ChangeLog 1497
-SHA256 4cf9fb94467981db0eebde1da07ec014bdac199e42552c523b54422361b2467d ChangeLog 1497
+EBUILD facile-1.1.ebuild 2015 RMD160 7c33bb09edb629d0f83456f26bf38300b2645b38 SHA1 16c00152e4a98e47a0f4562cb240ff26f95a5d1e SHA256 709bc8b737917e95707bd8ce9e17aa13e18aad1f1b886af4eec28daaef97f106
+MD5 6bf60512060c80afabe65d06c4bf8790 facile-1.1.ebuild 2015
+RMD160 7c33bb09edb629d0f83456f26bf38300b2645b38 facile-1.1.ebuild 2015
+SHA256 709bc8b737917e95707bd8ce9e17aa13e18aad1f1b886af4eec28daaef97f106 facile-1.1.ebuild 2015
+MISC ChangeLog 1630 RMD160 e584e08170f68607f1a7dbfa83eb1cda8bc21066 SHA1 869546b6720ce3db05b8e20c429c1af14a7676f2 SHA256 b00732d96f2ba3da7604660b601f38ab2545011ee20d764e6a245cf0404c8a7e
+MD5 6f7e9750ccfce66fb98a3b3dc5494565 ChangeLog 1630
+RMD160 e584e08170f68607f1a7dbfa83eb1cda8bc21066 ChangeLog 1630
+SHA256 b00732d96f2ba3da7604660b601f38ab2545011ee20d764e6a245cf0404c8a7e ChangeLog 1630
MISC metadata.xml 172 RMD160 e2cd94e573a70360026089d04a69c0f5ea6e47db SHA1 150b276d48304002290b10c0eb43df6858c8e729 SHA256 667504f38af7bc26d7a585a40d28365d53e5154178847ec85f44baa9ebbb91d5
MD5 1aee63f07c0b9c4a24d284f63c3a45ea metadata.xml 172
RMD160 e2cd94e573a70360026089d04a69c0f5ea6e47db metadata.xml 172
@@ -18,3 +21,10 @@ SHA256 667504f38af7bc26d7a585a40d28365d53e5154178847ec85f44baa9ebbb91d5 metadata
MD5 5f721764155106c70848e1bf17995204 files/digest-facile-1.1 229
RMD160 a51a18ac52c9f62a433b3b4185b0d526bc4373f3 files/digest-facile-1.1 229
SHA256 099fcfee06ea98f50bb67c1ff55b2e0428225a7dd699f074107e8b17909f3558 files/digest-facile-1.1 229
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.8 (GNU/Linux)
+
+iEYEARECAAYFAkeBGc8ACgkQvFcC4BYPU0qTSQCgzCCtDp8M0KwZaz2DtKWUHOXw
+CIUAoL+lynIKbOXEA1xjDb88O5PYWxRP
+=W81P
+-----END PGP SIGNATURE-----