diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/eliom/ChangeLog | 6 | ||||
| -rw-r--r-- | dev-ml/eliom/Manifest | 14 | ||||
| -rw-r--r-- | dev-ml/eliom/metadata.xml | 3 |
3 files changed, 6 insertions, 17 deletions
diff --git a/dev-ml/eliom/ChangeLog b/dev-ml/eliom/ChangeLog index bccb994758af..c3ecee988506 100644 --- a/dev-ml/eliom/ChangeLog +++ b/dev-ml/eliom/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for dev-ml/eliom # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-ml/eliom/ChangeLog,v 1.4 2013/08/19 13:21:14 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-ml/eliom/ChangeLog,v 1.5 2013/08/20 12:21:08 patrick Exp $ + + 20 Aug 2013; Patrick Lauer <patrick@gentoo.org> metadata.xml: + Removing unneeded useflag description 19 Aug 2013; Alexis Ballier <aballier@gentoo.org> eliom-3.0.3.ebuild: EAPI5, define subslot and add := deps @@ -19,4 +22,3 @@ +metadata.xml: initial import, ebuild by Guillaume Horel and Jacques-Pascal Deplaix, bug #406661 - diff --git a/dev-ml/eliom/Manifest b/dev-ml/eliom/Manifest index fff0daac6d68..f8ccfc0c736a 100644 --- a/dev-ml/eliom/Manifest +++ b/dev-ml/eliom/Manifest @@ -1,14 +1,4 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 - DIST eliom-3.0.3.tar.gz 743842 SHA256 b598bfbfc37fb9164024df71352e74d26d6ce2095f89f3d52072b3f7334a5b86 SHA512 4112d9422a1407b3d82a716aedf86a3efad733eb5a98fd3d4356e2bd149cdb6ef029efd0dae0e9ed7f89613cf6cbd1c5c25f2ef8f905bf2ad7709db1f7d39075 WHIRLPOOL af9aebe320ab6a8dce96ede3c6aaf57c90a537ffb520766ad08f23bde6cbe303ff39707dae3c91a4f980e163b47b071958d488f3232f3a1359ab53eaec09001c EBUILD eliom-3.0.3.ebuild 1304 SHA256 bba540d0474da705092090867b09a138d1d1657d0bede361d1237b41917f9378 SHA512 232a71e78604b358680b394d565289a749bc98cc0d75a511418454994d23c3f7fefe63006b4a984e2d30045a2e789e7238d7fbfadbce3ba296f128ef47b0157f WHIRLPOOL b157e3f19777717dc23c066b7942f003ad27611464288b322f954d56a2e318d8d36343518ca5f846f54fd46fc47d4a82be9c64d5af6fab29a2fce202f3012959 -MISC ChangeLog 760 SHA256 6e289a647926583ae7d6cd3c381ad7b741172e56ea8e79aa21dfc7e11c81bea0 SHA512 acff28fbb459bf5f58e036c514ecebaaa46f2eb7d4dc110fbfa3a10d2d96fa3992364f639773a3b06e31b2f38cd8323ab300c42d46eb544e5636a5a5e92608bb WHIRLPOOL b02440b9dcdbea0e0abcb6fc153e13abab4fcd2305fed070cfcc1f1f20de5a9ebae3759fe89c86d3240c624369e85f6c043d5c1a36b00dce53eec643573da3e5 -MISC metadata.xml 241 SHA256 addf8ee1daa81fa1610eae3f9c133257c0354a09365f71df318e1b1b8a463e12 SHA512 8fa46c73b1eeded0ba1c6950e9bf1cfadc8b7bea3eb5214d228200ef522bfb8e0dec653805897a1dc2737ff366c8160d042999ee06898fc4b8d790179c7a8906 WHIRLPOOL a7f4f1067f2fdecea260a18a9b69375d0236ba230c61278f01dd99dc76e9febffe910ea676773335e0dda672f5ef2e6ef8a3927d0e04c413eef5576479e6cde9 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.20 (GNU/Linux) - -iEYEAREIAAYFAlISG8sACgkQvFcC4BYPU0p7KgCfathNtj6wr1daxPL2YeRVcrVw -NzEAoKNDNSxaD+PZ+lAaySlWQ6TJT3ma -=1/03 ------END PGP SIGNATURE----- +MISC ChangeLog 863 SHA256 86d69838073e71a0da5d1c953f263ccdc483d6336503a7aca73801bf5613728a SHA512 71eb35fe78978d2e76b30d0a8b3c2932ca563e83c8ce95006597bc9ff0e4bd67ef71f615ac7bfd3cba39d085d2c74df658394467e7ebc5a25d5e31e3c9de40de WHIRLPOOL c41bab02912ad46d383a766003c7f106bda1391ad2189f419e43cb6ae1d12ceaa113a0878ff191dda437ca61506fb5b44c01796326b5bd55aa173373678aaa12 +MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6 diff --git a/dev-ml/eliom/metadata.xml b/dev-ml/eliom/metadata.xml index ea89b16d367e..2193d772e351 100644 --- a/dev-ml/eliom/metadata.xml +++ b/dev-ml/eliom/metadata.xml @@ -2,7 +2,4 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <herd>ml</herd> - <use> - <flag name='ocamlduce'>Enables ocamlduce XML typechecking.</flag> - </use> </pkgmetadata> |