diff options
Diffstat (limited to 'dev-ml/menhir')
-rw-r--r-- | dev-ml/menhir/ChangeLog | 8 | ||||
-rw-r--r-- | dev-ml/menhir/Manifest | 14 | ||||
-rw-r--r-- | dev-ml/menhir/menhir-20141215.ebuild | 6 |
3 files changed, 10 insertions, 18 deletions
diff --git a/dev-ml/menhir/ChangeLog b/dev-ml/menhir/ChangeLog index 74c0fee3a929..f602699ceeb8 100644 --- a/dev-ml/menhir/ChangeLog +++ b/dev-ml/menhir/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for dev-ml/menhir -# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-ml/menhir/ChangeLog,v 1.3 2014/12/16 09:17:59 aballier Exp $ +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/menhir/ChangeLog,v 1.4 2015/07/08 05:50:52 patrick Exp $ + + 08 Jul 2015; Patrick Lauer <patrick@gentoo.org> menhir-20141215.ebuild: + Keyword for ~x86 *menhir-20141215 (16 Dec 2014) @@ -17,4 +20,3 @@ 07 Feb 2013; Alexis Ballier <aballier@gentoo.org> +menhir-20130116.ebuild, +metadata.xml: Initial import, bug #406517, ebuild by Guillaume Horel - diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest index 40bab4e92041..a7b27cc6cbe2 100644 --- a/dev-ml/menhir/Manifest +++ b/dev-ml/menhir/Manifest @@ -1,18 +1,8 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 - DIST menhir-20130116.tar.gz 406712 SHA256 5769f628dddcb45d123fc1cdb16ff2313f5d76cbb69363419c9dcf78f526f5a9 SHA512 414f22269b74b401617389365342ce8c4ff0a92a88ef859a0deec370bae3dc830df4c019cdb24d9044695b94f33fbf089ccea32269fdb4cacb093922ecb9ed88 WHIRLPOOL 4be4444f949a957b89a2add2a899f2c07661d60c27af4ad647345c778cafde0ea5cb5c2f9c8a79d5ae1b61607be9f282134000e10b3dccfe8dbc318cc1b3a643 DIST menhir-20140422.tar.gz 549129 SHA256 0da8c84fff1713f9bd666940be19e2be9d7ecdf2688a7d7b822428d3a27021ce SHA512 1c40664918671984a74d8341ad8b074d0871acebd9f6b3e06584d8092b3f1c67fcdb0dc13e707abc569940570d5f3282520e34990b2ed06732c047ecf3edc01f WHIRLPOOL 7848a60d842c4f10a5c47a9905cfa65bbe8ba26d4b88751025f1098465c351cde27c48cb8681dcaf5a1bb185f277855a85aad35b419772a1d47bd3e2de05ff33 DIST menhir-20141215.tar.gz 556231 SHA256 2592967c123a31e1b6566ab9f6034e7a0a709d57d547097f05693baf96a46fa4 SHA512 1fff6b987016be37eaca0bb3fea7ec0c498c1448d076e991e1555718cf760318a8d710622af930175f234f49f8dd767ce62cc880c33458958ceeb1bda4817243 WHIRLPOOL 28e6018ce127b28e362aaf1fe030240253cb2ffb0a52d9b34e81c71882ae517376aa3df6c5d19c6db13819260f667f5708522486a74bc498bad3dac11378b56c EBUILD menhir-20130116.ebuild 955 SHA256 6ad579fd62fb258749fd86ee07390994ca95abee5b596ec7380b9b690d59b364 SHA512 040e8ab846d1af1f3de9fcdf0a3a22cb94f26cd747a5b0b0684718f753ce675879d1d5be02f65d8ff8a08cd2cbdcabd39eee8a730f6eed0ab3a466bfcd675a66 WHIRLPOOL 8b72bff507fe4f67596a5d2f788ab692efb9e6771c66db37c41093c181dfea1f76ed594c22a49f1cadca5b916c9a897ba2217c0ef343357cbdc6f11db04e8ee2 EBUILD menhir-20140422.ebuild 955 SHA256 54b0fb2ff5cd15eaaf20c3cf1b7c7537054c925ff0929ff71b2c568805238e1f SHA512 4c7915ee65d7a0a7320a8ff63faa03dfe8427bcbe002a5016e73b72c570a03d88ccf48697512283c3db1dd8d4d9aa3f821c8616f7a8e6a4d3f05465fdabbd219 WHIRLPOOL 7f988f57acbe6a8900055f9631fa3e01a7a0f41fbd9c7738042245fb8feb894d806d0ce9d6cbffb21d000e532c704bb8a224fd38c676b9a963ff64a04738ff90 -EBUILD menhir-20141215.ebuild 955 SHA256 2361bdbcd6db4ef48d07c7768dc444285e4064fe6747ee09b8a3fc8882646466 SHA512 ce88079ab857c20b711a31550c7316783c910c643c8e65231edf2433bded09b5ce726938422a71befb119ab85b5647474997c8fa009b55a68029f150e788bb42 WHIRLPOOL caef8d2c887b95eabcb84b8232cd7265ed950f32be08961b01c68d2950214ff2db16012ea18281ce54845bede97a6963dbd644134c8661d0e816ec0a3eca080f -MISC ChangeLog 635 SHA256 7435ce1513f539696bc523fa1a5bdd8299600a98d6c9614ac552d1953c604731 SHA512 f192889f4ef65bb9639d776560fae1d4d7a5980572e4ba0b58c7fdf53d4aa4a91ce01632838c2e3911eaf4fc6a41ec89383e37caad46b3d707d7621eab92f368 WHIRLPOOL ef431fcb9e04b8f45477e99699eb77b079dc5c65d9e84a7367a4d836da1e33e480269dc6ac54d56777cad4b184c87cd2801ade7bd742e02be175ed6213b6e9df +EBUILD menhir-20141215.ebuild 959 SHA256 1745f35f12db044d7e45204179e2a377299e121ec543467cabee420e21abdc62 SHA512 c6b9243439050d0cfc25441b95d6b9f7fd77ff2bdca7c8337a612b0a433606f3e1df72f9025125eb7f70b34ca11389544e0c98291397c151b4d4f3adf63fbc13 WHIRLPOOL b3a149317d85d6601558971e981e481f1d16a01569a81736a1c52981d1d370dfad9b84027e39e730e0f08993e8649cf57571cd24300d0dded97c6cca4a728665 +MISC ChangeLog 727 SHA256 53868d5d2b87ac6ea091a1a86e6949d1b220d2cc0ee8f2a0df44bf5ea6822782 SHA512 772b98528ea6657c55e8e3315373169f412c7123f5bafeff27ec79479c5b6c0f7999acbfdb9584c0ee87a4d945f0f4d56cbdcb952298591d840f81a08ccee2e7 WHIRLPOOL 6279af18de11c896c2c58be5199f8e08f805d86854e98a874971cf947e680d4786001d6ba119b14e59a7b4d2b2a61ff7e56c434d3375be08b308e97001a0276d MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2 - -iEYEAREIAAYFAlSP+MgACgkQvFcC4BYPU0owlwCgx8Qr3OmXTC5kJdr5Gp8O2Zak -nGkAnjN3vSghOg7FiY7X3Dl6Ut00TpYY -=9Rn1 ------END PGP SIGNATURE----- diff --git a/dev-ml/menhir/menhir-20141215.ebuild b/dev-ml/menhir/menhir-20141215.ebuild index 01bf1017988c..79610cf5990e 100644 --- a/dev-ml/menhir/menhir-20141215.ebuild +++ b/dev-ml/menhir/menhir-20141215.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-ml/menhir/menhir-20141215.ebuild,v 1.1 2014/12/16 09:17:59 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-ml/menhir/menhir-20141215.ebuild,v 1.2 2015/07/08 05:50:52 patrick Exp $ EAPI=5 @@ -12,7 +12,7 @@ SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz" LICENSE="QPL-1.0 LGPL-2-with-linking-exception" SLOT="0/${PV}" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~x86" IUSE="examples +ocamlopt" DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]" |