diff options
51 files changed, 241 insertions, 274 deletions
diff --git a/dev-libs/simclist/Manifest b/dev-libs/simclist/Manifest index 7acf87ae8..63808e208 100644 --- a/dev-libs/simclist/Manifest +++ b/dev-libs/simclist/Manifest @@ -1,4 +1,4 @@ -DIST simclist-1.6.tar.bz2 44280 SHA256 63b47211215466ddfba1643582cb3aaa7b5e9ca1cc5f247290e3199c4e29f147 -EBUILD simclist-1.6.ebuild 814 SHA256 9ac9188534ad3990ec55dcc78aa8e9515e007fc62253bf3bb77ae6071c153937 SHA512 0b2ef20c083dd7169c44285d68897616cc4da7eb4868163dd91f422ce210bd535c032e3d1012ef643472e27a5a41838e990464be2e9d7db256579519aea66ba3 WHIRLPOOL 46f4ae3fac5fb2fbffe9930b32759d3bff44fe2a6a4eca617fc8d757aa1f9799f3d491010df6a3930299c2c2b65a088735281291cffb76400c76b91ab7dace23 +DIST simclist-1.6.tar.bz2 44280 SHA256 63b47211215466ddfba1643582cb3aaa7b5e9ca1cc5f247290e3199c4e29f147 SHA512 b221b583993470c35d42dbc145af8bce2992c0e717e15f201ed1fe0a1aa3f0d676bb3258930987d85e3080eb27d9c89c4b08f27bd4e56031fd02fbab32e52615 WHIRLPOOL 9b31847ef2cba06f6364dd2ecc486f1dd02727ee7128d88cf3b7a3fe25f10df9a5c31ea2a386e2fa967a2b0c484ea55909c4d73bae390fcc972abce78d46ecdb +EBUILD simclist-1.6.ebuild 814 SHA256 4138b25957e1c082c78839caa703d9041fdae98d256c450dab37353931f61ca9 SHA512 a219aaf743fdeda279c4c44e3eab66506aa292e0aa49f9a20ab022d3a062c54bd375dc27bd25f316b6970a0bb1df1b6fd51503a4d46e2f49270c47bd5540f701 WHIRLPOOL 9ef4b8e2b55e8016b1ac0bdf976ad4d22f88ccb6079123a68a8037d4dc30b2338e832e11116eba6ee9837b3c548e68e0643c48abcbf44380a82867b21c6be12a MISC ChangeLog 599 SHA256 aa1ef92eac7b1c44e251691bddbca45fbe6d938b332e268a1389d7866dff4463 SHA512 452658e17bb276b9c80c9ef051111248529daeaf0be9bd7a5712acb4c89d1046f4f72b5d9a9beedea10f18887eec6f9de2e30684778741f7c25cf47e8274b85d WHIRLPOOL c3265ac6af1e707555a5898e8592808bd006dfd5a9068a05de26bb6893473b38fb0998808890a77de7890fbeae66b256185cd9b6f0f80175d565cfbea6c5d9a1 -MISC metadata.xml 535 SHA256 cabdc9cb6f6bc4af60eb13a5bac8a914354fef222730840e051c42ab5f70bba0 SHA512 a33e71708bc18a62fd1009eddc60c3930ab5b81b806f921b2eeddd706c6b0887bdc831df819774fbab2c305f3c6a5289e167e89fe89bb5e555446a18a7611f3c WHIRLPOOL 5955a3f3b3d09938dab20f2b2a23c9c6a1ffc540904129c2f34308761758b6a07571ff414c90879fb705dd8262826b3181b0f655c88ef8aa2265231f9fbb59cf +MISC metadata.xml 471 SHA256 156118d32317b16f8ed73d0e84d223dbae6a0180949e4d2f0dd236163be63c66 SHA512 626bf6edb2cf372549d3e54aee71b02c4d9dda164bf84a957aadde3a7386307f44f418831fa313d67fd4046aceffacf73f103317dcc688efc3cbd4fa537bb4cb WHIRLPOOL 89217acdcf992dd31b05055491cc3913b3b460d9d46cf4079f1f630648c8207c28abc64fdf653059844c74c3f0ffdccb6fd4ff0a33eeceea4df75b7d5b54109e diff --git a/dev-libs/simclist/metadata.xml b/dev-libs/simclist/metadata.xml index 49fb6b89c..1da3891dc 100644 --- a/dev-libs/simclist/metadata.xml +++ b/dev-libs/simclist/metadata.xml @@ -1,14 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - SimCList is a high quality C (C++ embeddable) library for handling - lists. It exploits several advanced techniques for improving - performance, including freelists, sentinels, automatic sort algorithm - selection, sort randomization, mid pointer and optional multithreading. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> +<herd>sci</herd> +<longdescription> + SimCList is a high quality C (C++ embeddable) library for handling + lists. It exploits several advanced techniques for improving + performance, including freelists, sentinels, automatic sort algorithm + selection, sort randomization, mid pointer and optional multithreading. +</longdescription> </pkgmetadata> diff --git a/dev-libs/simclist/simclist-1.6.ebuild b/dev-libs/simclist/simclist-1.6.ebuild index 0df95c3a4..c79091d19 100644 --- a/dev-libs/simclist/simclist-1.6.ebuild +++ b/dev-libs/simclist/simclist-1.6.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2012 Gentoo Foundation +# Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI=3 +EAPI=5 inherit cmake-utils diff --git a/dev-ml/mlgmpidl/Manifest b/dev-ml/mlgmpidl/Manifest index 81f2b7f30..7d12e5980 100644 --- a/dev-ml/mlgmpidl/Manifest +++ b/dev-ml/mlgmpidl/Manifest @@ -1,5 +1,5 @@ AUX mlgmpidl-1.1-mpfr-3_compat.patch 496 SHA256 d888a1ad0930895ef2ec83bef6eef5a39ed18a38aa3a637f33b61b9a20d19e2b SHA512 b4979e4dbf1cc5aa1fba5ffb08557c6c32d16e4d2c3ae1fc14d999e52231efb344524e1dc2d6612021a0b4dba4b5f6d1394316abff4698f58d5decc3ff417cbf WHIRLPOOL a3f1c218c2de8413042f56f1de2a6257a895a44edd16daa0e301a20426da0c0275685e440d039d8db39b79853617c54b68002c4d5dd2b63a9d22a9341d987a7d -DIST mlgmpidl-1.1.tgz 194002 SHA256 8990a56f4c1ff701bb922bacf7f23b40539d123216ac5f9fe0f35967735d6fc9 -EBUILD mlgmpidl-1.1.ebuild 1311 SHA256 756c0655b0045c2e8c2c4072f113023dd70d6e27dd31059db234df7ca586d188 SHA512 493266916193940b1701aea85cbb447e154820113b87ec87319d3ffd11689c08b3a77d5fd8e8c9290b05141ac83707f68ff97e2ba6b5050796b58aa11bc68c1e WHIRLPOOL 1861032f03cf71ec5c6d025c0f2f17964cf07822425d8fca1d1e19c1755ee9d985bc689f49ce123ebdd95f1b682c1c1a00d818900cb6ddae3cf550ae2596010d +DIST mlgmpidl-1.1.tgz 194002 SHA256 8990a56f4c1ff701bb922bacf7f23b40539d123216ac5f9fe0f35967735d6fc9 SHA512 f7fe74e0e337c2ea33464c49bc1313a3c6a71fee89572d4c23dc26913d8fe1fb41907bfe327d085c39786b63267174be4445b31a5d29acf3e57974ac8b871d2e WHIRLPOOL f4b640f56d5654495c6dec46e8b395dbc86a95ff15a05eb47a07146c07fda956acdd05023ac59636f951ca77d84864b11c14755fe4bb49be3d5ebeb0216f5212 +EBUILD mlgmpidl-1.1.ebuild 1311 SHA256 5b9a199ae39054e96a19aa52a43a56b116a55045536f961779716d008d38570a SHA512 f73268cde4ffcd8610a0052e183b4e1652c8185148e517c8967e62a088dca71901e4b34b404fe5ee5bf4cbee1ce908f2a5fd6f5b9fc70e341130cf5a178a719d WHIRLPOOL 6730b81bdd9dcf99c7c34691174c3f05ae1a99c1f46429a7795c226c3b9ea324cb7ebdb8f386c37c2498a7ba5a6adc01e741da9d9374e954f85b34ec67257502 MISC ChangeLog 394 SHA256 ec34f25ee458e0ce79b7209a31cfbb9e40975cc3e22e7b97fc9fc57372c9a549 SHA512 eafca747c958cb036ae7dfbd068d8be9c6db76342d42d458c886fc8dc1677d6b5d9bb758da7e138bc89c87816a58ddc50eabf115b5b9a41dfdca8ff3d5bd73eb WHIRLPOOL da7983220947c85972e778061bff3b0612a2de7a39a343a88ef204a6235050b32b8b3a791f485ba187b819f97adb88811c7437cc47096b5f723644ffabd3364b -MISC metadata.xml 629 SHA256 c430bdc6e03131ed1ce7f991f1ad0d9fd641be877a5bd089da1179fa8d10eb1a SHA512 a5c827b6e812cc96befabb965377723eae2468e8d7ad8f3ae00c6c3ad70d459301225b8f76105ed8f02bdd2f261407b4d2dbd4fab1b1d17806fba0d14f1663b2 WHIRLPOOL 1fb51759a7409d3d3cc8178c3f4db215fb7fbb350bbe6c5314292f303749f1a655bcf0375c3960e9d86506a7981bbede2b9d2beffb5bd2fe861d02a9c7b081d9 +MISC metadata.xml 511 SHA256 78b63974bacd0a10445c1bae284a8e6f4c06b814588108f4f8ac0328526a5532 SHA512 7c80f39526b8c137d4bfe1cb3ee8077d9d5a2b5ea9e6b76209433ace60b1a4b9190b38a4442b1ba3e6622fa92320cf47e32c17ba0329ccfb98b86ddec13c0dd1 WHIRLPOOL 793a5fe5f3a639cef7addf469b7e8a91cbb4a21a67081182eb1ecdfdebdaecad719deb49f55d5463b9571e6a0c6c6983d72c8f9b92d35f52d131e54d2510cbfb diff --git a/dev-ml/mlgmpidl/metadata.xml b/dev-ml/mlgmpidl/metadata.xml index c6107f8e5..a3fac8132 100644 --- a/dev-ml/mlgmpidl/metadata.xml +++ b/dev-ml/mlgmpidl/metadata.xml @@ -1,17 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - MLGMPIDL is a package offering an interface to the GMP and MPFR - libraries for OCaml version 3.07 or higher. The interface offers access - to almost all the functions of the library, and is decomposed into 7 - submodules. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="mpfr">add support for mpfr, the library for multiple-precision floating-point computations with exact rounding</flag> - </use> +<herd>sci-mathematics</herd> +<longdescription> + MLGMPIDL is a package offering an interface to the GMP and MPFR + libraries for OCaml version 3.07 or higher. The interface offers access + to almost all the functions of the library, and is decomposed into 7 + submodules. +</longdescription> +<use> + <flag name="mpfr">Add support for <pkg>dev-libs/mpfr</pkg></flag> +</use> </pkgmetadata> diff --git a/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild b/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild index 6efca0c5f..3063fdf37 100644 --- a/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild +++ b/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2010 Gentoo Foundation +# Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="2" +EAPI="5" inherit eutils toolchain-funcs diff --git a/dev-ml/ocamlgraph/ChangeLog b/dev-ml/ocamlgraph/ChangeLog index 42f0c5b82..5e0ac6b1b 100644 --- a/dev-ml/ocamlgraph/ChangeLog +++ b/dev-ml/ocamlgraph/ChangeLog @@ -18,6 +18,10 @@ -ocamlgraph-1.7.ebuild, +ocamlgraph-1.8.1.ebuild: version bump + 24 Jun 2011; Justin Lecher <jlec@gentoo.org> + ocamlgraph-1.7.ebuild: + Sort inherit and/or USE + 06 May 2011; Jonathan-Christofer Demay <jcdemay@gmail.com> -ocamlgraph-1.6.ebuild, +ocamlgraph-1.7.ebuild: version bump diff --git a/dev-ml/ocamlgraph/Manifest b/dev-ml/ocamlgraph/Manifest index 123489c97..4d282fcb3 100644 --- a/dev-ml/ocamlgraph/Manifest +++ b/dev-ml/ocamlgraph/Manifest @@ -1,5 +1,5 @@ AUX ocamlgraph-makefile.patch 1564 SHA256 c36612f740033a3d158f5d2a458697b1a41dacf2d1964484c1fd0c0f39fd276b SHA512 a0251220741069e729ffebdf7d9f2b3f02119dec48c09321cc9cbc8b82286d4081ccd89dbe5c1fe634ea415aa5e48d162f522ce6509812847dba2909c7572adb WHIRLPOOL 56765554649d5e5d38016ad22183b7b0d46c3780beeffb7f79d46c30e33967a3fd5f8ed92335dd8b5dd727743d25d8975c52d839817e276d13f595b25b7d82f4 DIST ocamlgraph-1.8.5.tar.gz 269438 SHA256 d167466435a155c779d5ec25b2db83ad851feb42ebc37dca8ffa345ddaefb82f SHA512 e3bf7f43f7b5167cbd23ea44a510d1a569d35771882ab7ae83bacc73822c5f4c944f62c95e0efa813b765e1e385a6b3ebff342cbf1c5589c73d022b8591a52dc WHIRLPOOL d25e124c2814e3196a441e706ca91a0429ab48669309c5dec2ae6697e48064ce54efc9d24440d9e52f3a1af8cfdd5c3ae04cd549fde4e9abc860a3506bd2de8d -EBUILD ocamlgraph-1.8.5.ebuild 1086 SHA256 3f0b493eb204938e5fbe27db188f1c0d2aaf697a78d1964178e79d2eac5a27e2 SHA512 cc8bf450cfd95177d417e638ad082f7f13a84bf7f0b2059ab5aa10b63d4ad3e87998b35c6d4fca6714bb981ea08180b77c2297e8b74693f93968d74bcd31346e WHIRLPOOL 205b37506e016e9f27158720ea828a71000dfeafa2da331a0145cb524abb27517e7053ee13afb6239ea7c2bd0aef0967872b8cc9eb86fafb188399a6ba8ceb14 -MISC ChangeLog 1288 SHA256 e6b9aa482e6272815905a96ebeb959b8333947336de304fc75ed8bc1bc3ba361 SHA512 7718a1990e660bf8f5194b7aa3a1b7bf0203b27f35c9e6d614cd8fecf055d1a92072ae1829148b98322dce8f6ea5c13112d30a58bf97396ae5a283dcb60edf47 WHIRLPOOL ebfc633797de5dfe2952c5e07d8edfa3d3dfe009bda6e5fc505c7054a152a205e32bca24ddef2a403ebacc8a2afb65c531da8fc5b6d61d6d19ccfc1b1358c7c3 -MISC metadata.xml 1550 SHA256 cf29ffe695398a61363b2f993b7e904ae259447488f14e072f77a098798ed1e0 SHA512 a824c62089e03b1c8936930100b893b25706cbcb5747e218d72120332e14597f2823ac1da64b59a62637d66295679202eb7142867145e2ae28b0667492587103 WHIRLPOOL a91552ca140d206fb80768b25999f38047e8a82904a949c724ba188c8682222709dd9cb3ec3b662c8573b568a97d64e3a64b4dfeb415d212ab6d94209b0f6a78 +EBUILD ocamlgraph-1.8.5.ebuild 1086 SHA256 3e191b1c74ea13e98aaa929df0b5479be4cb56a417c393140c1ad2a867412742 SHA512 69e7460f9e516c65f52eb9e8948a64baf9c9e6f18f9f4bc66ef08030142925febd728563ab8d3466bb2bb0bf10f894dff77f4879dde717fa2441429f5aa0cfb1 WHIRLPOOL 864a2bc22239f72cbd996e4857a9663b076da64bfe88275e8b75344fd240bda34ed22a1d0601bfc0c8455b4dc3d0271b5728214e16507f9cfc7fdd8d6fe029ef +MISC ChangeLog 1387 SHA256 9060320c8db4044c211893d84654862189015081f1c5ccf8b46d3652aa1e4c1b SHA512 3d1324f8901970edd96846d1284a3c42c60572c7559cff07105acca29c52ef1277bddd6bf53d62a1d6e66daa633b1f0ca64b03f83b6225805ca8d7a0749bbf80 WHIRLPOOL 698c08349275aa77848d3dce9f296c434a920948fb762870888f6472c67a60245c9807d53396e7f1917369f40420904e936757ec080a6458a0bf103d4af0026a +MISC metadata.xml 1333 SHA256 82d3c80dcba8ffb14abc03224090efebde80d91f4d76a4b39d876ee6f23a74dc SHA512 ea92efe856cb03778ab6985bd456b22ba588cb773e06cbc079d3566d93bf9c7260ed64a14cab4f69c6ad5e04d05807743b73cdefe08ec02a3822ff69f62de684 WHIRLPOOL d4b2b38fc0a63edfb690e22fdcbc0156cb32e34a2086f4b994d870acb3d763d511acb2d752c3dfb133e45acec3a682a2e8a6521fd54ad90341ecadd4f057ce18 diff --git a/dev-ml/ocamlgraph/metadata.xml b/dev-ml/ocamlgraph/metadata.xml index 763c1cd36..87fc10d58 100644 --- a/dev-ml/ocamlgraph/metadata.xml +++ b/dev-ml/ocamlgraph/metadata.xml @@ -1,32 +1,23 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - It provides an easy-to-use graph data structure together with several - operations and algorithms over graphs, in Graph.Pack. It is a reasonably - efficient imperative data structure for directed graphs with vertices - and edges labeled with integers. Several other graph implementations - are proposed for those not satisfied with the one above. Some are - persistent (imutable) and other imperative (mutable). Some are directed - and other are not. Some have labels for vertices, or labels for edges, - or both. Some have abstract types for vertices. etc. These - implementations are written as functors: you give the types of vertices - labels, edge labels, etc. and you get the data structure as a result. - it also provides several classic operations and algorithms over graphs. - They are also written as functors i.e. independently of the data - structure for graphs. One consequence is that you can define your own - data structure for graphs and yet re-use all the algorithms from this - library: you only need to provide a few operations such as iterating - over all vertices, over the successors of a vertex, etc. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="doc">?doc?</flag> - <flag name="examples">?examples?</flag> - <flag name="gtk">?gtk?</flag> - <flag name="ocamlopt">?ocamlopt?</flag> - </use> +<herd>sci-mathematics</herd> +<longdescription> + It provides an easy-to-use graph data structure together with several + operations and algorithms over graphs, in Graph.Pack. It is a reasonably + efficient imperative data structure for directed graphs with vertices + and edges labeled with integers. Several other graph implementations + are proposed for those not satisfied with the one above. Some are + persistent (imutable) and other imperative (mutable). Some are directed + and other are not. Some have labels for vertices, or labels for edges, + or both. Some have abstract types for vertices. etc. These + implementations are written as functors: you give the types of vertices + labels, edge labels, etc. and you get the data structure as a result. + it also provides several classic operations and algorithms over graphs. + They are also written as functors i.e. independently of the data + structure for graphs. One consequence is that you can define your own + data structure for graphs and yet re-use all the algorithms from this + library: you only need to provide a few operations such as iterating + over all vertices, over the successors of a vertex, etc. +</longdescription> </pkgmetadata> diff --git a/dev-ml/ocamlgraph/ocamlgraph-1.8.5.ebuild b/dev-ml/ocamlgraph/ocamlgraph-1.8.5.ebuild index d950b6f2d..2a653f2dc 100644 --- a/dev-ml/ocamlgraph/ocamlgraph-1.8.5.ebuild +++ b/dev-ml/ocamlgraph/ocamlgraph-1.8.5.ebuild @@ -2,7 +2,7 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="2" +EAPI="5" inherit eutils autotools diff --git a/dev-ml/zarith/ChangeLog b/dev-ml/zarith/ChangeLog index 2868b8432..434b2364a 100644 --- a/dev-ml/zarith/ChangeLog +++ b/dev-ml/zarith/ChangeLog @@ -5,7 +5,7 @@ 22 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com> zarith-1.2.1.ebuild: fix regression of pkg_setup - + 10 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com> -zarith-1.1.ebuild, +zarith-1.2.1.ebuild: version bump @@ -14,7 +14,14 @@ zarith-1.1.ebuild, metadata.xml: Clean wrong space and blank lines; move EAPI=5 - 14 Jan 2013; Jonathan-Christofer Demay <jcdemay@gmail.com> - +zarith-1.1.ebuild: - initial commit + 11 Aug 2012; Guillaume Horel <guillaume.horel@gmail.com> + zarith-1.1.ebuild: + fix license and depend on multilib eclass + + 30 Mar 2012; Guillaume Horel <guillaume.horel@gmail.com> + -zarith-1.0.ebuild, -files/zarith-1.0-bytecode.patch, -files/zarith-1.0-optnotrequired.patch, +zarith-1.1.ebuild: + version bump + 02 Mar 2012; Guillaume Horel <guillaume.horel@gmail.com> +zarith-1.0.ebuild, + +files/zarith-1.0-bytecode.patch, +files/zarith-1.0-optnotrequired.patch, +metadata.xml: + initial import diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest index d7156cb11..abb9fd902 100644 --- a/dev-ml/zarith/Manifest +++ b/dev-ml/zarith/Manifest @@ -1 +1,4 @@ DIST zarith-1.2.1.tgz 68654 SHA256 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144 SHA512 5c053e259469bf6a2d4aaa3e653da42d18015e815a0b922a4e317db091a54c560e7ed32f5cb1faae7df1e8a6d81ba3913d71e5b500ace1bd45d69e69858467a1 WHIRLPOOL e31770c23e7f77bff8f084eeb3e0a9cab7c1413f2da64926c403720df2351bb84598953ad1bae0436d9b3ba6e66c1543aee0dbd9151a3708d793abe5506f1e00 +EBUILD zarith-1.2.1.ebuild 1258 SHA256 34d07649a322771888cb26e0fbf64da4fdadb6bc0eae2b9d4d6bb702ec1f3e77 SHA512 f8a23a5aa3fff3148847076ab175dbb5c02cf0673eff6807e90b4a2e886ad2252812d224193a529a1e2388c928490d97dce5364b904b60a4b3b1c0575e122768 WHIRLPOOL e55a861fdf2085d16c7d1cb3a01d062a3bb0971e65a843aefeb8bf93c5026a2400463c2994c9e46ad80c0bb50ed4c48631c35eaa69abe9a1b2df40b3b8e19927 +MISC ChangeLog 985 SHA256 f7f5f77792f72bbfd65e6868b08989d0ca8cca602523528ff14381d0870823f8 SHA512 ebc2bbefdfab685ca3703d14262eaec90439426ec8c43a309c744dd420d86fb1bef93decdb15346211ab2b75bf639f45c75a3fd0328b79f5d06d9bda4129a8aa WHIRLPOOL 6cfbe33c6c803048b6a70dfe7c1154041fe34fcaeebf13f8fd4c984e94098cc262d45f7c97bc6b04c3c513b8ea4c0f3418a6c3dfb8e2b0f6a65333bd557e0faa +MISC metadata.xml 465 SHA256 562d89dff0b27cf62e633567eda98e8f997a6b35fe931b83846f25d02813c012 SHA512 0a1e3a0f6a05a4ff9d5de7b3429228b662371e1ed77f0263beded417cae5989f3940b49bb70dab6a9854c37699cf603486772e89ac4269a7eacaa31a0ddd89de WHIRLPOOL 26b03abc839e37851f8b0d45297d2c876bb2ac51b4a88fef0d4ba3d1b7eb868094ed96e10300fa6c519edae7eedfa959d15cb42d0a17c5dd4d01d8758409ec25 diff --git a/dev-ml/zarith/metadata.xml b/dev-ml/zarith/metadata.xml index d2e969145..1ff321877 100644 --- a/dev-ml/zarith/metadata.xml +++ b/dev-ml/zarith/metadata.xml @@ -1,17 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - The Zarith library implements arithmetic and logical operations over - arbitrary-precision integers. It uses GMP to efficiently implement - arithmetic over big integers. Small integers are represented as Caml - unboxed integers, for speed and space economy. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="ocamlopt">?ocamlopt?</flag> - </use> +<herd>sci-mathematics</herd> +<longdescription> + The Zarith library implements arithmetic and logical operations over + arbitrary-precision integers. It uses GMP to efficiently implement + arithmetic over big integers. Small integers are represented as Caml + unboxed integers, for speed and space economy. +</longdescription> </pkgmetadata> diff --git a/sci-mathematics/alt-ergo/ChangeLog b/sci-mathematics/alt-ergo/ChangeLog index e1becf1b1..ffdfbd70c 100644 --- a/sci-mathematics/alt-ergo/ChangeLog +++ b/sci-mathematics/alt-ergo/ChangeLog @@ -2,9 +2,18 @@ # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ - 10 Jan 2014; Jonathan-Christofer Demay <jcdemay@gmail.com> - -alt-ergo-0.95.ebuild, +alt-ergo-0.95.2.ebuild: - version bump + 16 Jun 2014; Jauhien Piatlicki <jauhien@gentoo.org> + -alt-ergo-0.95.1.ebuild, +alt-ergo-0.95.2.ebuild: + version bump; fix bug #479994; move sources to my dev space + + 25 Aug 2013; Andrew Savchenko <bircoph@gmail.com> + -alt-ergo-0.95.ebuild, +alt-ergo-0.95.1.ebuild, metadata.xml: + Version bump for a bugfix release. Cleanup metadata. + This also fixes bug 479994 (wrong manifest for alt-ergo-0.95). + + 03 Mar 2013; Justin Lecher <jlec@gentoo.org> + alt-ergo-0.95.ebuild, metadata.xml: + Move to EAPI=5; clean quoting and ebuild syntax and indention 14 Jan 2013; Jonathan-Christofer Demay <jcdemay@gmail.com> +alt-ergo-0.95.ebuild: diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest index f3610fbad..806c6d18a 100644 --- a/sci-mathematics/alt-ergo/Manifest +++ b/sci-mathematics/alt-ergo/Manifest @@ -1,4 +1,4 @@ -DIST download_manager.php?target=alt-ergo-0.95.2.tar.gz 233778 SHA256 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac SHA512 e4bb73719d67e44bac058ea53082879534c93d47fd931ec927e7f1e59330a60915ae73c662153207e6229ae914a5c0b8b16c04763f1ae3e251668a336a11d382 WHIRLPOOL aa5f8f0bf46eb93d4e8e4be4e6a30facd7b97d35fd110e4081a61826edb1def7dc5724db08c05f714c3bc1a70add9aaa961e9757492aa47f9c97ad48069f5ae9 -EBUILD alt-ergo-0.95.2.ebuild 996 SHA256 f21ffd478f413f6c1c64563429942bd81fc7ee4b5089e118f546f6c0a34cb8dc SHA512 0c304baf0809a9493e9ebb5ba8750b03978eb72065a4e7ad2131ae66b1327bba8f569a4695f77054299e42f4720b0e255b542bb47d01a2db4362235cf1768823 WHIRLPOOL b81c27cd79ece6a8dd4936bedeaf8a2aa8b5195de9452660871d5a924793d36195f75882342e6b13df3842168c26c73cf2299641ec075307db42679fa8d263d7 -MISC ChangeLog 356 SHA256 aa57e6b9bd4954e27d5dcf7e4f6a5553c66c28b2e685492b65923fce765272c3 SHA512 746bb5a06accb524caa1248847eb6e45d23b1be3afaef74b98b24f163b254517f184aa83b574c4ae25e61e936c5b60f57aeb028dc27c592364773a3b1f54f69c WHIRLPOOL 6e92d14aacb458f3791d0ee6e91b8a5c6ec902a735532ee4397e1acb7a99ea81ec4b4f672d974f63bbc7ada505e394ece55dc00ef17c35fe307c8ac2efc89d99 -MISC metadata.xml 723 SHA256 995ef23d0edbbcdc7b9b6e775fc393bcea0aae1d6b98ad577b23f577389c397d SHA512 f388963e5ebe117d3f382434dad98f53080906a73a19cdc7667f377e2a65f9dc75e43cf5c358a2badd769218cfc975305e50f0584152ccc4b906cfe56b7762f4 WHIRLPOOL be335909c18f8037bf3dd63649a8591b328f7ed72d7e45b5944f8322ce1d02c9972415fd9ccbbc7496f5d692ce2b3fe14b6f1d2ed3460d54d8f1089ddc0efdf3 +DIST alt-ergo-0.95.2.tar.gz 233778 SHA256 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac SHA512 e4bb73719d67e44bac058ea53082879534c93d47fd931ec927e7f1e59330a60915ae73c662153207e6229ae914a5c0b8b16c04763f1ae3e251668a336a11d382 WHIRLPOOL aa5f8f0bf46eb93d4e8e4be4e6a30facd7b97d35fd110e4081a61826edb1def7dc5724db08c05f714c3bc1a70add9aaa961e9757492aa47f9c97ad48069f5ae9 +EBUILD alt-ergo-0.95.2.ebuild 1010 SHA256 6fbab54b8e22d9bfc57a8b10178400558300c97ebe62815f5a7fcd9d2ea5a8d5 SHA512 b23db89a3d1f7004dd4b751e52ced047a3c592b3396f88eab916f7708ed9aaeb44ebb5b3d0ab2b08950016cf94b1e6b32125a4cac784bd6ba34f39d104b16230 WHIRLPOOL d319a4a52deaa8bbd778eacf068b77f6d2ee23b36841c84aa08d786de9e4effe5cc96769927d1d68a8b765d246149b23d49b6c3a76e4e28c7a1006e5105f11ae +MISC ChangeLog 785 SHA256 6c12e4d80b693a8c12bcd227d6471e13faae750f1501f57b996c854e333eda6e SHA512 5b42c6f1096059ac0b90853a23db76bde604e38f585797ebca59d6d5aabbf52b4c02f2dde84aac653865412ca7ed253eb1ceac09216668dd66771adc90110fc4 WHIRLPOOL a332b688c1bd52b7227a3bdff7fbf26a9413155a4d01efaf179cb907551f73a498870aa012e315ea7ab15e3ff8478d6bced99f49972ff91a3f7926ac40dde5df +MISC metadata.xml 582 SHA256 db7effaadc8fd027461f02a91172c592422036dd3036c5d38fdcd19fcc1a0541 SHA512 c2f991b77024fd768fa6ebf266807ac4f9cf9f40c88ce90ce13ab2a23e95efcfd672f63a72e8aea16ce4f3949f50cdc7256cc9d3dec876d5cb052f4b7f1bb078 WHIRLPOOL 1d6d9731ef358355955fdb8d32e40ca651bcaca9ad4d08b6c5bbe3f28264db122e902f3b06709adf99c63715efb9449df7dd3961bec190b73509ab468600722d diff --git a/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild index 9bd6f6b1c..9fc811b42 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild @@ -2,13 +2,13 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI=4 +EAPI=5 inherit eutils DESCRIPTION="Alt-Ergo is an automatic theorem prover" HOMEPAGE="http://alt-ergo.ocamlpro.com" -SRC_URI="${HOMEPAGE}/download_manager.php?target=${P}.tar.gz" +SRC_URI="http://dev.gentoo.org/~jauhien/distfiles/${P}.tar.gz" LICENSE="CeCILL-C" SLOT="0" @@ -17,20 +17,20 @@ IUSE="+ocamlopt gtk" DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?] >=dev-ml/ocamlgraph-1.8.2[gtk?,ocamlopt?] + dev-ml/zarith gtk? ( >=x11-libs/gtksourceview-2.8 >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )" RDEPEND="${DEPEND}" src_prepare(){ - sed -i ${S}/Makefile.in \ + sed \ -e "s: /usr/share/: \$(DESTDIR)/usr/share/:g" \ -e "s:cp -f altgr-ergo.opt:mkdir -p \$(DESTDIR)/usr/share/gtksourceview-2.0/language-specs/\n\tcp -f altgr-ergo.opt:g" + -i ${S}/Makefile.in || die } src_compile(){ emake || die "emake failed" - if use gtk; then - emake gui || die "emake gui failed" - fi + use gtk && emake gui || die "emake gui failed" } src_install(){ diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml index 4ac4fb5dc..70209e070 100644 --- a/sci-mathematics/alt-ergo/metadata.xml +++ b/sci-mathematics/alt-ergo/metadata.xml @@ -1,19 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - Alt-Ergo is an open source automatic theorem prover dedicated to program verification. - It is an SMT solver based on CC(X): a congruence closure algorithm parameterized by an - equational theory X. Alt-Ergo is based on a home-made SAT-solver and implements an - instantiation mechanism for quantified formulas. Its architecture is summarized by the - the following picture. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="gtk">?gtk?</flag> - <flag name="ocamlopt">?ocamlopt?</flag> - </use> +<herd>sci-mathematics</herd> +<longdescription> + Alt-Ergo is an open source automatic theorem prover dedicated to program verification. + It is an SMT solver based on CC(X): a congruence closure algorithm parameterized by an + equational theory X. Alt-Ergo is based on a home-made SAT-solver and implements an + instantiation mechanism for quantified formulas. Its architecture is summarized by the + the following picture. +</longdescription> </pkgmetadata> diff --git a/sci-mathematics/apron/Manifest b/sci-mathematics/apron/Manifest index 1407aeebb..68544775d 100644 --- a/sci-mathematics/apron/Manifest +++ b/sci-mathematics/apron/Manifest @@ -1,5 +1,5 @@ DIST apron-0.9.10.tgz 1694989 SHA256 b108de2f4a8c4ecac1ff76a6d282946fd3bf1466a126cf5344723955f305ec8e SHA512 9b84bf6b5d34ee34558e8224ecd09d48ff2013b7a301a8749512aaea8b8c99da394bb0550055b9bc37692187ca8956bf25e74535c1d41ac1907e161163bc6e8a WHIRLPOOL 5a3eef9ae6387a55f898fdb336a41ccb64a0ea628a8992c2adce28a7168de549c17816f9313f06561d29d512a9ce90ad3b39ddbd76559421a107d0088b4c8279 -EBUILD apron-0.9.10-r1.ebuild 2101 SHA256 d5889ea44dcfe4b46adbabc6d696eb2217140543b9a629d764d8c85fb9346481 SHA512 37aefe19d5b10b20490fc32e60902bfeb17d6aefd0f051ef3647fb86d683d34e5a9f565b72f2271ac54d51c40aba089d7fa4e9b62661c297f07f9085facb88df WHIRLPOOL 8f9d0b6aa24f68028bc6de67b980d283184150f1fd65debb9caaf7ea2c736b6b7aeaa9b16bd80b4a9488bdf4a695fb5351e74adfd661594fcb8a8beacc49a468 -EBUILD apron-0.9.10.ebuild 2428 SHA256 f95f644a80dc742f8fd5637c4b7f3f35dd4226b9b8323b277c4ad03304c8f8a5 SHA512 55d95bfe3a93f58c5cafd139c8f1b15615f4db4cbadd093821d6b7bb04e90607c9f39c64358356d18728f2dc2ebdd771c67dd6a007dd77d4ce39cd494ff289ef WHIRLPOOL d421cf006dea3c8356bb8b636a6b667871778fb55dba8210a41acd67371c7ad0ff6320400115e6b58e29f8b40cb0a0da85581fc04f60a029ca2a93f0e83012a1 +EBUILD apron-0.9.10-r1.ebuild 2101 SHA256 350e1e2517dbe89073a391199209118bf73047197486adf97b1a97a2b9fb8d5f SHA512 6d0f88b1903b95bcdad0ab12227f02e23ade659192f5cd8f7b359a79c4a2898bc899a5196a74b3eeef071300222039df0ec2935af09be777038e07f372518228 WHIRLPOOL ecbe6ff8787c3b1b5b18eb5720bf3f8c3a213a28bfac49605707a11c86cdbc28eae0036288946a4c960044a051a986de44b69efb26075e84c67f9bae8c814fb8 +EBUILD apron-0.9.10.ebuild 2428 SHA256 74dc223a367753ec86eed8db7d629dc15591b84842dd5b55eb383e93b632d789 SHA512 4cde8c211702d1715a67bc7ab0aad8436ae119e21bf36aad1fb1a02234d30cfa5d20e1ba2098b76efe922f0885016678accfbc3631387a0a622a7edbcb788c84 WHIRLPOOL a9ee96c3a1c7a965c76f4a7303d685ea3b11d89663061e8cccab72ea164462842d6b41ae273fc406995516b914e26a5993dc7b1f9ad20b2fcc4e3699cb87cdf6 MISC ChangeLog 877 SHA256 15fc1ab32c5ef6c7a8fe25aece31d2ea2203cee540afd91d4a40deb0c1aab6a7 SHA512 ea0cc38a53f99bd9cc0517bfcc33d344d96466df4867601453ceeebd546a0a362d7311a2f9b519393816f61ececc05382bca1322e59252057d0196b11b4ff907 WHIRLPOOL c57b153cd0903ffc184a3cc795b40d7e69cb8dacc718807d502a58d99581aead199641afd5ea62a17ab73c2829efa50275f5f3eecc64205039e75cdc5f74257f -MISC metadata.xml 817 SHA256 5867fca0c661c85733f41114cdc60300cc1222272d41196390c7fc6e21e1fe27 SHA512 fdb2f51196edf3ab3d1d92c61b52c988cf816d3c17459e835aef84e9343306170004065dfb4d66cdce0c6dee31227b47ed60d46a5d5369cd6f5be17cb840dee9 WHIRLPOOL bda55109cebd30ceec84595bd1b3ec328dcb367fdaba7b5c6be514e5efc3092dcdc3d8da99b6130d014533292a1b9364b2fb9afc34efa0a7d13f48afab8c4bd5 +MISC metadata.xml 714 SHA256 67154b483e95dda4f6619d2ccd595be8cdc8ff3d324812a61a9fd0d5e056b115 SHA512 2b0618a3bf55393e444810de75d8b75a19a7e49e98025eeba1defbe849accd13950c8506c8ca4606a41cf0620db5911e9b973a59631d339be2ffd02cdfb7f6be WHIRLPOOL d4d62f09569009ee9636c15c24d3718a05145359775d2972e71555c03f7336ffde927b0f4b9a944901cb8af4a3d5fe9a6c3b4b50d445e8d04d3e077f987bf7db diff --git a/sci-mathematics/apron/apron-0.9.10-r1.ebuild b/sci-mathematics/apron/apron-0.9.10-r1.ebuild index 40791e2dc..94180afd7 100644 --- a/sci-mathematics/apron/apron-0.9.10-r1.ebuild +++ b/sci-mathematics/apron/apron-0.9.10-r1.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2010 Gentoo Foundation +# Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="2" +EAPI="5" inherit eutils toolchain-funcs diff --git a/sci-mathematics/apron/apron-0.9.10.ebuild b/sci-mathematics/apron/apron-0.9.10.ebuild index 2752070f7..f5bb5fc07 100644 --- a/sci-mathematics/apron/apron-0.9.10.ebuild +++ b/sci-mathematics/apron/apron-0.9.10.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2010 Gentoo Foundation +# Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="2" +EAPI="5" inherit eutils toolchain-funcs diff --git a/sci-mathematics/apron/metadata.xml b/sci-mathematics/apron/metadata.xml index f87ceb90a..f8c7d8481 100644 --- a/sci-mathematics/apron/metadata.xml +++ b/sci-mathematics/apron/metadata.xml @@ -1,21 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - The APRON library is dedicated to the static analysis of the numerical - variables of a program by Abstract Interpretation. The aim of such an - analysis is to infer invariants about these variables. The APRON library - is intended to be a common interface to various underlying - libraries/abstract domains and to provide additional services that can - be implemented independently from the underlying library/abstract - domain, as shown by the poster on the right (presented at the SAS 2007 - conference. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="ocaml">?ocaml?</flag> - </use> +<herd>sci-mathematics</herd> +<longdescription> + The APRON library is dedicated to the static analysis of the numerical + variables of a program by Abstract Interpretation. The aim of such an + analysis is to infer invariants about these variables. The APRON library + is intended to be a common interface to various underlying + libraries/abstract domains and to provide additional services that can + be implemented independently from the underlying library/abstract + domain, as shown by the poster on the right (presented at the SAS 2007 + conference. +</longdescription> </pkgmetadata> diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog index e3076b83e..2f56c9850 100644 --- a/sci-mathematics/flocq/ChangeLog +++ b/sci-mathematics/flocq/ChangeLog @@ -6,6 +6,10 @@ -flocq-2.1.0.ebuild, +flocq-2.3.0.ebuild: version bump + Mar 2013; Justin Lecher <jlec@gentoo.org> + flocq-2.1.0.ebuild, metadata.xml: + Move to EAPI=5; assign RDEPEND explicitatly + 14 Jan 2013; Jonathan-Christofer Demay <jcdemay@gmail.com> -flocq-1.4.0.ebuild, +flocq-2.1.0.ebuild: version bump diff --git a/sci-mathematics/flocq/Manifest b/sci-mathematics/flocq/Manifest index 4d73f691c..0803dc34f 100644 --- a/sci-mathematics/flocq/Manifest +++ b/sci-mathematics/flocq/Manifest @@ -1,4 +1,4 @@ DIST flocq-2.3.0.tar.gz 155465 SHA256 b2b2474df966975b7a00310031b122aa31489d96f06b2d5b62156acc687730dd SHA512 964b87f3df3ab76549dace5d8c16c7e7890dc70b64f54db3555023dcd6b32648b19030ad25ecb5b6e99bca5139f289a2ecfd3a1fe8bc1e1dfe7429f3d4f1ebc3 WHIRLPOOL c8b4c3e57e3753d245ae01a2fb93d3dcaef9cabbf21c1afa04568137555dc21d087a7faec6df3d3db2cb497a0985ed3344d7f748f32f9670f640b6cec28fdbc8 -EBUILD flocq-2.3.0.ebuild 793 SHA256 2eb59d5a58c64c6fd23195713c925a68ef59ff792e4ae680324d2a0e660f060d SHA512 4b769ff19abbab261d16ab6d0e672bc9a879b2e5892feada75f7736acec39b8a909d5dabf38e94a3957355dc26768762dd56fe7baa2890209ee3f7f5186fd8bb WHIRLPOOL 9acc0f225e16fe74dec637b342c943e267b2aad5cb4e5b3fefd2bd4620bb35597ffd907c1e711db749e5ebc70c285a0ad13e3fa71d67e14008addff8d3d2653e -MISC ChangeLog 585 SHA256 999b9bc1c42b76d63b38287b73e1435956ff1f17fc5fb7c344f3f3395b4b7f2a SHA512 7ef9130eb278cf02608af839c35af86dcab9f8ad72dc9875761452c189a1fc1e2374128de962b7107d3b8ef02e9adad6aefd8843ff6e2ab4cdd5aa24470bc3cc WHIRLPOOL b5c64422b524d04eb97e15bb580127bc818735b209c53040077bee8ab50fa7a3465a297d96ab11f7683677abeedaec33e1470e51d2b0231be9778a41290a1091 -MISC metadata.xml 497 SHA256 888cc1091b03da5c749d586bccafc4eaa063c08a9273458b17026a6c8c91626a SHA512 c997254c2771af0ef2010b0f0664e6be22f7f35e6929c5596e80d159216c004f28e620e82e87a1a5c5f54568390594375650dffde79f0c3c4ddbe4978975261d WHIRLPOOL 95a8d99484e7968048f995d67ca454ab9a79723d76528cd75465804aae3c4c029a1fd01e4aae42adcb2341b932a8d47b694473c2e5c1571964e420795f471504 +EBUILD flocq-2.3.0.ebuild 813 SHA256 bebfebaa358248c32469c085f65fc08d303942ecdb0139c5726a0fad94e6f0cb SHA512 e395d6962a83922c29e8e44376ad1198b120b96762a0ecc65de818eb0807fafb04745c2883a8e2385064653b51983af3a0f719359f992370fe67592af33a9c4d WHIRLPOOL 2d83e83ede7571f85cbc054d16ad41d69f3cda9a4944da900477224c3556cdc8ef993897d7c4029d316ab2318a9805c6a93ed423a4d225b5f815dc45e07aded1 +MISC ChangeLog 712 SHA256 96327d14652f43095dd9a81dbe0beb9b801a6e4b8f003c98c9aabd74474bfa20 SHA512 6bc59ebc29ea213d45d00b458bffc9caf6042ccef97e4d9ab1a213fc46c410a743a01e508498032317f5a9adcb71d522d93d37ee4792876fb9c032b884a8ab9d WHIRLPOOL b4670f57f44f28368a0bc2cbb46f59d0afca9f9c615dcddb7ddfdf47186b3e85324ea2fa91282ae6bba931446efcbb6104c8a37fabec356e2bae12cbac6238d4 +MISC metadata.xml 445 SHA256 76004bc975506d854122690819b3d3e4c547a6db72338a5cb7a23eea5234b2e0 SHA512 7aa0c8cce270ca8f7dab4418a216ad58fba6c450a27348919cb7d3ea628a50a5c115d0ba3ac277b9efb06cca084632d3db94f7533dd82f3256efd59e759e5462 WHIRLPOOL 99bbe235bb87c57c3fc5df385e54c53783f2f6453099672ee4bc002317e1947dc8668dfae8926e1ba3f58ec2c038b2ad1f1a282efb57d87e64347314152bb847 diff --git a/sci-mathematics/flocq/flocq-2.3.0.ebuild b/sci-mathematics/flocq/flocq-2.3.0.ebuild index 6c32445dc..a26aad130 100644 --- a/sci-mathematics/flocq/flocq-2.3.0.ebuild +++ b/sci-mathematics/flocq/flocq-2.3.0.ebuild @@ -2,7 +2,7 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="3" +EAPI="5" DESCRIPTION="A floating-point formalization for the Coq system" HOMEPAGE="http://flocq.gforge.inria.fr/" @@ -14,6 +14,7 @@ KEYWORDS="~amd64 ~x86" IUSE="" DEPEND="sci-mathematics/coq" +RDEPEND="${DEPEND}" src_prepare() { sed -i Remakefile.in \ diff --git a/sci-mathematics/flocq/metadata.xml b/sci-mathematics/flocq/metadata.xml index c8feb0fc1..dad568b86 100644 --- a/sci-mathematics/flocq/metadata.xml +++ b/sci-mathematics/flocq/metadata.xml @@ -1,14 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - Flocq (Floats for Coq) is a floating-point formalization for the Coq - system. It provides a comprehensive library of theorems on a multi-radix - multi-precision arithmetic. It also supports efficient numerical - computations inside Coq. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> +<herd>sci-mathematics</herd> +<longdescription> + Flocq (Floats for Coq) is a floating-point formalization for the Coq + system. It provides a comprehensive library of theorems on a multi-radix + multi-precision arithmetic. It also supports efficient numerical + computations inside Coq. +</longdescription> </pkgmetadata> diff --git a/sci-mathematics/frama-c/ChangeLog b/sci-mathematics/frama-c/ChangeLog index 3188d4785..f57fb63d8 100644 --- a/sci-mathematics/frama-c/ChangeLog +++ b/sci-mathematics/frama-c/ChangeLog @@ -3,12 +3,12 @@ # $Header: $ 21 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com> - -frama-c-20130601.ebuild, +frama-c-20140301.ebuild: + -frama-c-20130601.ebuild,-files/frama-c-ocaml-4.01.patch, -files/frama-c-make.patch, +frama-c-20140301.ebuild: version bump - 19 Jul 2013; Jonathan-Christofer Demay <jcdemay@gmail.com> - -frama-c-20120901.ebuild, +frama-c-20130601.ebuild: - version bump + 24 Feb 2014; Andrew Savchenko <bircoph@gmail.com> + +frama-c-20130601.ebuild, +files/frama-c-ocaml-4.01.patch, +files/frama-c-make.patch: + Version bump. Fix build with make >= 4.x, add ocaml-4.01 support. 14 Jan 2013; Jonathan-Christofer Demay <jcdemay@gmail.com> -frama-c-20111001.ebuild, +frama-c-20120901.ebuild: diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest index 5bdb52046..e592f2de3 100644 --- a/sci-mathematics/frama-c/Manifest +++ b/sci-mathematics/frama-c/Manifest @@ -1,5 +1,5 @@ AUX ocamlgraph185_compat.patch 10397 SHA256 49b231062e23c71535e2ecd451e34852249b4a8fdd07f6db6cb899eada901a0e SHA512 3813119616ce801d391d0ac6000b84244ede25709f7bc09d657e95a76a42220418ef7c3b668252822798f5b8f7b7c5ec32cbccb2109f94aabcc76894ff659921 WHIRLPOOL 99ea959621f81ebdc706ebe0aa061d836d1a8a6b055d1c42677ab64d2ebb018c1c8cc1726802ef671f007125ea5261a28620ea7ff1630d5b6ef7eb5aedc775de DIST frama-c-Neon-20140301.tar.gz 3122492 SHA256 c5a0606f5c2d56280fd90f979c07ff398acb1e6a661323438b8d0cbd8f9f4731 SHA512 9cfe4c986004b4b991dbd2d7dc31777100bf85910c488d575c670d40d53b3e309667dfee75f22d121a6351f23753ed31decffbee08929ea129daf56f0c9a01e8 WHIRLPOOL 06935a38cc43f7472dd88a96b8fdd3d94f7393caed927b3f1870b8b911bcbdf6006aa325d0e30b6f58eb736dd8ea0102e41632d372f5205801af5c85146b2d4a -EBUILD frama-c-20140301.ebuild 1506 SHA256 b3e6c5b677088ea2a7cdefad1f196a9d74a005dce7dfd36aceab1b238655b819 SHA512 1896ddb8c6bab105cfca33b8e1c608d500eab562053b7b26219f912cc3e5a6260e7f4ddc432aa4d2de36136c76e63674cc966b95c3040d403fadc6cf5094555e WHIRLPOOL 6173eff9a90cfea2c6359d3906167407b7405e9bd5a8f27e5e2b70b346c648daf871f04e2c2299aab3266943480a9c49ae01ab5cdeb66554b9e96ad93769667b -MISC ChangeLog 1344 SHA256 6632d43186a227c2a1af9bf5628ca19ca6d040364f64583fa4dfc83c4b0d8b5c SHA512 f5827b23797399bc5cf635020fcd4b3957cde04bc238b802763caee1a5758c58564990edffad30c2fe47cd3eac85ae85c97c50b5defae2f3c39c4a2f66b94386 WHIRLPOOL ca3cf955d112d9ec164c6a6f6511a3cb50cd1e00ff8e6aa7851d390b14834de194eeb3ed9ca8618b1a5154d9abe41c4a17181a84890ccbc2a6d5bed44ee66ec0 -MISC metadata.xml 821 SHA256 03eed3b99543c4497d69633fbb76362faacc117ffa9b27a15709d21b6c47a7cf SHA512 5a9980d08aea9605dab7f45a6ef9ffb40f95c68a98ef65f17d88edb7a660da38f5d28a6cb7eadad00d5e9597f371539099233e36d794f759b094b5a5f0c76993 WHIRLPOOL b10f8efeb50c036440d79bb832fbe9d3dd7d4f38cddcfc8fb6d2288ac8471abc206ee709cef86ba3ab4250ce90ca9c5f1b689f882b3c8c241389ded46a7f92ef +EBUILD frama-c-20140301.ebuild 1506 SHA256 b48cd44402e5f5455cbe0dc8e43bb354257086e94dceee0336270ad913167398 SHA512 040d8481c0fc295047b16646fa6fc194c235c6faa7ee89fec431bcd95b3764dc8704b110d93d16a57aa0a0b8393e43124ced09419769c71a81c290d658cd9224 WHIRLPOOL e4f00e6f6fa2ac720d4f2a33f69255c523b2de6f14e915c7324e2c5e3cb96481da06a03d090e720976d29d9bdcd7cb79eee822b284bedfe8b64ee45775daec61 +MISC ChangeLog 1481 SHA256 ebc856ccdd3de1701d5ea7a9c5a02412b7bb525ba6ebcaffce35ac6f87c53c23 SHA512 848f5f73da2fd83e321c1ac480256266a6d178aea3bf3eb37e11382e56383956dac7c0714a7584ab509ca294245a145d61e0bdf1fc513887ea679a9eccc6fa6a WHIRLPOOL 139833dcde6236d7aaf85071fca73dd6c9463e5bddac130852ccbc535f61360a68ed46e00a576b4f627802b11d426226749d0e105d5972ae32a3af44faaa0a2c +MISC metadata.xml 648 SHA256 05c2ffb2a0e01eaedf01c8e32ab3dc5c1811305642b24811d5542280f3970a4f SHA512 40557bf2c1f9dbb26f47ccf04359269f2e45740430c914819f5a8133b4ede626af12e1dc9756eb31c6907efc2e619e694908a97519bbe96f5adac1c01912f72a WHIRLPOOL 9efde40d85a42ca87c782a03c5b0f840a9adee877fc93b3a553ab718698df43a2162c501bd53a99ae2316b3c31a9efbb42958ffef653b70f3c82adcf02b75ebd diff --git a/sci-mathematics/frama-c/frama-c-20140301.ebuild b/sci-mathematics/frama-c/frama-c-20140301.ebuild index f93062cc5..02ad2c88d 100644 --- a/sci-mathematics/frama-c/frama-c-20140301.ebuild +++ b/sci-mathematics/frama-c/frama-c-20140301.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2013 Gentoo Foundation +# Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="3" +EAPI="5" inherit autotools eutils diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml index 59797bca3..e429e6192 100644 --- a/sci-mathematics/frama-c/metadata.xml +++ b/sci-mathematics/frama-c/metadata.xml @@ -1,22 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - Frama-C is a suite of tools dedicated to the analysis of the source code - of software written in C. It gathers several static analysis techniques - in a single collaborative framework. The collaborative approach of - Frama-C allows static analyzers to build upon the results already - computed by other analyzers in the framework. Thanks to this approach, - Frama-C provides sophisticated tools, such as a slicer and dependency - analysis. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="doc">?doc?</flag> - <flag name="gtk">?gtk?</flag> - <flag name="ocamlopt">?ocamlopt?</flag> - </use> +<herd>sci-mathematics</herd> +<longdescription> + Frama-C is a suite of tools dedicated to the analysis of the source code + of software written in C. It gathers several static analysis techniques + in a single collaborative framework. The collaborative approach of + Frama-C allows static analyzers to build upon the results already + computed by other analyzers in the framework. Thanks to this approach, + Frama-C provides sophisticated tools, such as a slicer and dependency + analysis. +</longdescription> </pkgmetadata> diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog index cb7576ddc..f43aec5c5 100644 --- a/sci-mathematics/gappa/ChangeLog +++ b/sci-mathematics/gappa/ChangeLog @@ -3,9 +3,13 @@ # $Header: $ 21 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com> - -gappa-0.16.6.ebuild, +gappa-1.1.1.ebuild: + -gappa-1.0.0.ebuild, +gappa-1.1.1.ebuild: version bump + 12 Aug 2013; Sebastien Fabbro <bicatali@gentoo.org> + -gappa-0.16.3.ebuild, +gappa-1.0.0.ebuild: + sci-mathematics/gappa: Version bump + 11 Dec 2013; Jonathan-Christofer Demay <jcdemay@gmail.com> -gappa-0.16.3.ebuild, +gappa-0.16.6.ebuild: version bump diff --git a/sci-mathematics/gappa/Manifest b/sci-mathematics/gappa/Manifest index 9b992ad58..83080fb7c 100644 --- a/sci-mathematics/gappa/Manifest +++ b/sci-mathematics/gappa/Manifest @@ -1,4 +1,4 @@ DIST gappa-1.1.1.tar.gz 399606 SHA256 b03023d45d246d49fe57b0489cd3b11415b0cbf5aa96e03398d8f5c15284125c SHA512 95b01733554585729d73078522720f0c318f6e86eec02b869717e591bd1477a663c8f71d6c9362f8d5ec83d0a856be5771a27add426d8ac0eca429c4ded01a0e WHIRLPOOL e49860c5832a017a3eb0e8b8a607b56c947f6ce7c1c40c94187f5cfd2c35fd49ef293338b410a6f66ee7b711b0caf3b35d15d99d517a7e5f4c684ec6ca72d466 -EBUILD gappa-1.1.1.ebuild 973 SHA256 0473be6a798d4d201978f1268bc737b017b62e76a2efc0bb0f219cf3adebac64 SHA512 61b38344fda1c69663b577798a0577aeae27f4ebb3d4776df8d2ebebee9c044fbff95d680b86aa9404d2c4015a268f47f8eac2d18fcce0a6ed600a5308c5d2f5 WHIRLPOOL 8c1e2fc63e5ca01a1c073f0da887344cfa464f8a0594988bdba5c659d99f0f53a9dcaceb3c1a7f395c4b4e96739d4277b3b8fbd94769dd85d4afaf21ab50c19a -MISC ChangeLog 1144 SHA256 7e4792dee61a159df670c0c3449b889282b7f3f4f31f47322a0125c21e5ff7af SHA512 bd90ecf294b538f5ae0a0c59a8eaccd7ef910c0bed10f98e62faa758d5643831da7316b21664dfd95f72be59378314091240907f85c6cc5dc163051c8cd2b0c8 WHIRLPOOL b2480f4a4a8950b2ee62c33ee30cd21db58e50b04d5969ade4c39c802928414e437fc534683e22183595007eb03a9d9ae4109668e9c3d9faf2936d60e62ca48f +EBUILD gappa-1.1.1.ebuild 976 SHA256 71d5b4deb8f44bc2e7c17a54a71b17b2669dc7693b02f8ea486fabc2933db1f8 SHA512 624e6f57225fec97d090ac7b75118f2755bdfa246c0fd8b96164923bfbb7882de4eab96774aed72233f9966cee4c91258c6dae851d5fb2c4f731c74bc2983ed2 WHIRLPOOL 8b85abfdf7cc3d5b46e8cc0ad9071191ba81d2b803a3d3091bf30d8f82ffd1c1ad6d90dba8d955a35c8f1616773233ac389d6786677b2e3b279d0996815505cf +MISC ChangeLog 1281 SHA256 f6c28acd5f5f45ede418d04486eae53d580ac849d35dd9b9710dcce85b22640a SHA512 459f4027173a9af2d1d84a8002bb7c9100b398c91da0f63fbce59be4a2060dd0b839fbf3f2dbfdfbea699bcb2b7c5340fdcfa7bc790044d5dd87bb4fec4ea37e WHIRLPOOL 0656e25eb1ede5764ebd48cf63cea2433b1495752381a482b30becc0d6fb786b8ba14625801f08e071e41819db92aa0dbc7b7779c2e084f98c16f8fa6304955d MISC metadata.xml 490 SHA256 0173cf09b7d6a481ce8fde3d4b8d1e56fdd0dc3d2d95e7804cab889043e444fa SHA512 8ea89f502a41f52b332fdd34f973ff6ef0dcd3bdd5da23740fcad179570b1dd7456f5582e714c9c0b93d436c8dd75a6cb304c69724771d209a3930e0a5684831 WHIRLPOOL a9ec88247b0b3c7f4a30909f2471d5d69f104950fae03edbd6fa3d25e3b36974c3248ed39efde50492bc7af86ccc0697f18f4b118d223f385348782ce88a8a13 diff --git a/sci-mathematics/gappa/gappa-1.1.1.ebuild b/sci-mathematics/gappa/gappa-1.1.1.ebuild index a817cbbd2..3da8e4b56 100644 --- a/sci-mathematics/gappa/gappa-1.1.1.ebuild +++ b/sci-mathematics/gappa/gappa-1.1.1.ebuild @@ -2,7 +2,7 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="3" +EAPI="5" DESCRIPTION="A tool to help verifying and proving properties on floating-point or fixed-point arithmetic" HOMEPAGE="http://gappa.gforge.inria.fr/" @@ -21,12 +21,12 @@ DEPEND="${RDEPEND} src_prepare() { sed -i Remakefile.in \ - -e "s:mkdir -p @bindir@:mkdir -p \$(DESTDIR)@bindir@:g" \ - -e "s:cp src/gappa @bindir@:cp src/gappa \$(DESTDIR)@bindir@:g" + -e "s:mkdir -p @bindir@:mkdir -p \${DESTDIR}@bindir@:g" \ + -e "s:cp src/gappa @bindir@:cp src/gappa \${DESTDIR}@bindir@:g" } src_compile() { - ./remake || die "emake failed" + ./remake -d ${MAKEOPTS} || die "emake failed" if use doc; then ./remake doc/html/index.html fi @@ -35,8 +35,6 @@ src_compile() { src_install() { DESTDIR="${D}" ./remake install || die "emake install failed" dodoc NEWS README AUTHORS ChangeLog - if use doc; then - dohtml -A png -r doc/html/* - fi + use doc && dohtml -A png -r doc/html/* } diff --git a/sci-mathematics/gappalib-coq/Manifest b/sci-mathematics/gappalib-coq/Manifest index 07c2bc137..70bf48f30 100644 --- a/sci-mathematics/gappalib-coq/Manifest +++ b/sci-mathematics/gappalib-coq/Manifest @@ -1,4 +1,4 @@ DIST gappalib-coq-1.0.0.tar.gz 118901 SHA256 3c7923b9f3bc9f43225f81e55540441abe76b776d3ca8d34b7898124523d91fb SHA512 1aed7eafc24d82fbb3431e267ae0882560b34864f443fa95b450f465fe571cae558bc0ddf31db96477092518dd20a9870a9f8360ad8a0b3967d6f912c2bd0b67 WHIRLPOOL 61227031eca402aca53ad20d34c74ea51dd4f42b79896e4898f233ee352be5848c087ff34b627ae6bbfbaf433c91fa131b37893bd89a70c97e44aa4c31e3033a -EBUILD gappalib-coq-1.0.0.ebuild 842 SHA256 149658f79860e60e2940c6bff2c293a3d3793640cd98c5d841063d079a44279c SHA512 620425a8c135c3f8dfb05365a1dabe84cf1ca5210cae30c530fa1f5ad134153109d440c14a8edfc6c5b8916498e4be6997345daadec5f7459997661924ba2113 WHIRLPOOL ec49f8252864da8d4ed6de9ca5b8c3b5e4e9b2692d192dc4e3ec493bce2e4960e3c43f98b900d7a4599057e4620903a50bf50c267ed4fab90addeb5d0c76e4a5 +EBUILD gappalib-coq-1.0.0.ebuild 842 SHA256 70f2cd0cf3a2fba81115a6a521be0f8bf6e3c4d9bfb9364b35f093a1fc06c662 SHA512 36bc30ad045d2dac61ce97311aaa80cd0499b644b2f359f3c1904c2f420ad620f6c7608fec91eec5f112b90b3cb1a59ae679ec73f15686fa987daede1ca9c39e WHIRLPOOL 5905543c14dedddd306458383204424e20f8055df3dee9c80ca4f019b3564bdf8fb8561e9e8768987f294444fc00666bccb196d8330b2b9294a0d5b0e3edb0a5 MISC ChangeLog 1138 SHA256 52a8807833fe0245f555f3dfcfc34590e6078378965a30de80b8be03dd143da7 SHA512 c158b0c6a1d9dc169e8e4fad26d042675020f5e66ab65d11d1491e6eeabd70fd2859cda63c85a07d2a1d67455de9b84b7b0c5b1bcd7ef523c73ecfdfdc4c16e4 WHIRLPOOL 1c865f0ddf8c242d20e1e12d0601f98765dda58309dc6f908f36a5bbf63e70af6772ec847d0258243ed5a90460a736cf0b50628dddde957943e1fd813193849c MISC metadata.xml 391 SHA256 e620622efa1a97573ca6acf6b6850c2fb8343a9cd3e176a5bbe4d4359a737e43 SHA512 be73357b6239636b5937fb58dc7d5735b3d87fbd41f696643a7e2975c706c30e4184654268e4ca68e498eb50995d627a3bf17e1b71fa0781f472d8456e386da2 WHIRLPOOL 2e94403f6439e6673062a1fab0e9a1c0038ab9adc9761738fb8fdc8b9ee03de46e958ec3a1e4c2bac0e4965014d36fa21535f826aaa402dbdd9be79e1d3c7b62 diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild index 01d90eede..2be76ba8d 100644 --- a/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild +++ b/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild @@ -2,7 +2,7 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="3" +EAPI="5" DESCRIPTION="Allows the certificates Gappa generates to be imported by the Coq" HOMEPAGE="http://gappa.gforge.inria.fr/" diff --git a/sci-mathematics/giac/ChangeLog b/sci-mathematics/giac/ChangeLog index 0d8189d5a..56351675c 100644 --- a/sci-mathematics/giac/ChangeLog +++ b/sci-mathematics/giac/ChangeLog @@ -6,6 +6,9 @@ -giac-1.0.0.ebuild, +giac-1.1.0.ebuild: version bump + 03 Mar 2013; Justin Lecher <jlec@gentoo.org> giac-1.0.0.ebuild, metadata.xml: + Drop useless blank line + 14 Jan 2013; Jonathan-Christofer Demay <jcdemay@gmail.com> -giac-0.9.2.ebuild, +giac-1.0.0.ebuild: version bump diff --git a/sci-mathematics/giac/Manifest b/sci-mathematics/giac/Manifest index fa7199f58..0555523f2 100644 --- a/sci-mathematics/giac/Manifest +++ b/sci-mathematics/giac/Manifest @@ -1,4 +1,4 @@ DIST giac-1.1.0.tar.bz2 43295079 SHA256 8d4f96a577d526caa201d8311f462828b92eead2938b00e563b208b4e255a340 SHA512 2b34c7913a6a24aa770094bc839c01f7f3d16689ed9673d56b72ce39d07004e20218e039c85fb15e9f39f5f9e6993e6cfff62e755997f1107cddf7e601658434 WHIRLPOOL ca761a1f2bd6ad88655a079a29f54344d101542ba7a0c09fe7d8e0077e36ab06235341210a7b2a0ef98d09d416756be2725b9cc7be676957eaa199a67d67e375 EBUILD giac-1.1.0.ebuild 1584 SHA256 3f6e83335d17450daa946c8fce064f3665a1a8f323d497000fb779c72fa86783 SHA512 08448895b4516b45d36d4f00660b7e5db0bcbff7aa3d54d1f6dfbffd958ff70c5a0861a3e0a954815627821308bd874f95c095aff989d63c30336cce945909e2 WHIRLPOOL 8b1a7d95b2cf471866cd10b25678c9062e00d9263f2b890c32c7748c945fb790b37daca944de565dac03e8ca08bd3b3219348506f9de0f17b468d84099df6968 -MISC ChangeLog 468 SHA256 945086ff54464166ef56ea6ce1e7f55cd196bbd80eaae6ad5c66a336c4a93729 SHA512 8f2159b346d1682d9661ea2d1bda9b05fefd3e79aa5563cd6e27fb4d8890d408abeb5bf0ca99429afd3c8203ab6bf7add2d10794c3e7a72879f5212a0e488b48 WHIRLPOOL 0df1e8f8553bdd02eef2341ac3f69cf58f39e0aa51118793f3d67d232b6dff6cd55afec7029f4ca42dc922474408afa4d6c350dfe9a2036e1a9bf78c2e999f47 -MISC metadata.xml 736 SHA256 cea04b87fc7389fe4e214ec7548e8234d1c81ac63022314ecfbfdbc48f7d3d08 SHA512 ae0a3ed705e0240f3d40b7e7375b59f3aaf68b1551da8dbff5d022748bf064c5b21f8e2c3cd673ab7e4915c97b0025c71f2c5340896405e87acd249e2b457201 WHIRLPOOL e3c03dd7218b1bff8b50a6f09691f88a14ba788221ff8c35db17952783bba4e101f3c80232d1af852c7ab44d56c2252f8b598a0df62e7021e1e9b5fd21f41530 +MISC ChangeLog 575 SHA256 4d53d5e54802add14b5b345e50f4051f5e933065ebe5a73848eab8e797b3c50a SHA512 bc959aaac0f3bbf2da3bfff78f26fc296e6516e75f09e9609a930ee6579331ed3adb2481c5a988b3df79d7227db48ed9e44b81735305773db310d2b6fba3d272 WHIRLPOOL bff8f1ac917c96548719d05e9a0bc8336aeda0d4a28e5346f92a6d4fb8e7a5d96ad2b6ee1e0d5ccd1fcacbc31b1a6e03305499529561ce08920bc3763828b374 +MISC metadata.xml 560 SHA256 4ba9774ad18672ee878b17322024b055be1dda24a28b14ad16d8716fc7922bd5 SHA512 eaa7f5fe1c0c37fe75bda2fb15783d919ea1be438c4225c83b5bf39d7ce3b52d16cecf478eff459c8958da28c7b45fc33389bf1b529ac2d425c764ca09e200b5 WHIRLPOOL b3e8b82a948e6f1429e9e746861d8208d692de03bda97d6218f3e84836c672757dd1e1805bf58987632fbdcb01df10958705d56d7c3b4bf5c3cc4ad643f138e2 diff --git a/sci-mathematics/giac/metadata.xml b/sci-mathematics/giac/metadata.xml index 58559f4ee..e0b611573 100644 --- a/sci-mathematics/giac/metadata.xml +++ b/sci-mathematics/giac/metadata.xml @@ -1,20 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - Giac is a free computer algebra system that can be used to perform - computer algebra, function graphs, interactive geometry (2-d and 3-d), - spreadsheet and statistics, programmation. It may be used as a replacement - for high end graphic calculators for example on netbooks (for about - the same price as a calculator but with much more performances). - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="doc">?doc?</flag> - <flag name="examples">?examples?</flag> - <flag name="fltk">?fltk?</flag> - </use> -</pkgmetadata> +<herd>sci-mathematics</herd> +<longdescription> + Giac is a free computer algebra system that can be used to perform + computer algebra, function graphs, interactive geometry (2-d and 3-d), + spreadsheet and statistics, programmation. It may be used as a replacement + for high end graphic calculators for example on netbooks (for about + the same price as a calculator but with much more performances). +</longdescription> +<pkgmetadata> diff --git a/sci-mathematics/ltl2ba/Manifest b/sci-mathematics/ltl2ba/Manifest index 49e2867aa..ea188a5d9 100644 --- a/sci-mathematics/ltl2ba/Manifest +++ b/sci-mathematics/ltl2ba/Manifest @@ -1,4 +1,4 @@ DIST ltl2ba-1.1.tar.gz 29629 SHA256 a66bf05bc3fd030f19fd0114623d263870d864793b1b0a2ccf6ab6a40e7be09b -EBUILD ltl2ba-1.1.ebuild 595 SHA256 35f637528fd4112b694d54cff4ab80713b8b6ddc2501b2b215c7e33675363f50 SHA512 5c91946ff3508944005ab386d6d09227eb45ce1bd11664954ae35ac084c8596802688935883aa7b5ab5b8850844a4dfee41f866632e041a193577b5fc4a97bde WHIRLPOOL 3334659acd69ca48612235188d44ea8ab052747a2f075c1fa6b1ae6edb4d63d2e1d407c40331ca6dcacd9608b87d0365c4e09714dc82b857532db0f5f2358d78 +EBUILD ltl2ba-1.1.ebuild 605 SHA256 b962746e4ce12dff7beeda0e2eab86b4ae1c5b88e992480894c942bfab5d6fce SHA512 8853f708cf8edc760f560795f28c391b39913458edf71822eec5d88bda8daca1f0dee4f3e9fe8b710b90e3c483f44ff7a31a1a9b2a8bcfabf4d17fcc5081382b WHIRLPOOL 4a9e8c43cd0cb3c59277a4038a0335489d5cfeefc70f0fd2be6c8ab5e08bf3bb1d00114a5698baf958a458aff5c834a3c19784605d8b1d6ba306b4d26f26e63d MISC ChangeLog 244 SHA256 8c2728eab50fd614e4fa10da7e8a571d363594a89741f9f029b32e89c6134849 SHA512 4b896c379a4a22fb897b28c41db4e14db5ff6917fd3411b40e79e34b3e4d578b8bdb9fe86bed54d856f10cee1b93bff4d91196da61e588dc5e67a01725e85063 WHIRLPOOL 9d5f2a28da5b290ceb1e5c0f421abb8b2431c57e5b3b505b3f8120f3a8a2591cbd40e2d90a1a271def02959e2b9c7d1492429bc912e102cddc34de4d4bbc8d5b -MISC metadata.xml 215 SHA256 13f32353652adbd3d934d41381cfc2cacc9e1127c508cebc73806cc1026ee80c SHA512 32f8ab6332992da04397ac0cbf0c632d6cb834e02b3f22e64fbd0147dcdf57052dc872b3118d2de1f95b81c735552db27fed40a750c55658944b38425393c674 WHIRLPOOL a1136483bd80ce0a497ea946c03e3d805d04fd7f6b0bdd6af73c96d043c1acd88a53d328256b62becff6fbb2c844562d9ceb3cfaab158ad39f7728617738035b +MISC metadata.xml 156 SHA256 5d22100902db7507a5b5493dd4a66cdb08025faf80a2c0b75e6392315c47f900 SHA512 5b6997cd90fe19a83f6bdf44de540ea3818a23fdc28fb2a7c1f55746689ebaa2d4b63eba0386da5198def1cb2a8ae1e5d5d4040c43b0fc31237b864ed1400743 WHIRLPOOL c42eafa29279646750c35aac52967303f347b02b61133918480ba236d599dac68bc0ea000d037f69a3398939678fdeecef656801d783e547f14ea76b04ef2863 diff --git a/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild b/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild index c0bf64418..dc1288d36 100644 --- a/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild +++ b/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild @@ -1,7 +1,9 @@ -# Copyright 1999-2010 Gentoo Foundation +# Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ +EAPI="5" + DESCRIPTION="Fast LTL to Buechi Automata Translation" HOMEPAGE="http://www.lsv.ens-cachan.fr/~gastin/${PN}/" SRC_URI="http://www.lsv.ens-cachan.fr/~gastin/${PN}/${P}.tar.gz" diff --git a/sci-mathematics/ltl2ba/metadata.xml b/sci-mathematics/ltl2ba/metadata.xml index efb490d78..b229aec85 100644 --- a/sci-mathematics/ltl2ba/metadata.xml +++ b/sci-mathematics/ltl2ba/metadata.xml @@ -2,7 +2,4 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <herd>sci</herd> -<maintainer> - <email>sci@gentoo.org</email> -</maintainer> </pkgmetadata> diff --git a/sci-mathematics/pff/ChangeLog b/sci-mathematics/pff/ChangeLog index 1f0a01a14..f4ba1e37c 100644 --- a/sci-mathematics/pff/ChangeLog +++ b/sci-mathematics/pff/ChangeLog @@ -6,6 +6,10 @@ pff-8.4.ebuild: install fixes + Mar 2013; Justin Lecher <jlec@gentoo.org> + pff-8.4.ebuild, metadata.xml: + Drop pcc and sparc keywords as deps are not keyworded; move to EAPI=5 + 14 Jan 2013; Jonathan-Christofer Demay <jcdemay@gmail.com> -pff-8.3.ebuild, +pff-8.4.ebuild: version bump diff --git a/sci-mathematics/pff/Manifest b/sci-mathematics/pff/Manifest index b0d27029f..0da3eda56 100644 --- a/sci-mathematics/pff/Manifest +++ b/sci-mathematics/pff/Manifest @@ -1,4 +1,4 @@ DIST Float8.4.tgz 352313 SHA256 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c SHA512 4e53aad0a59d6875f071584a34b91029a51e8d797e2f5c1a51c772973b241ebda093463532653dbc54245bd03b2414d648648670c6658547c908403cbe6d1275 WHIRLPOOL 2bfe679b50a5ccb6aec88403a85766b774a416c56d94dd640d00577a35d2d3a06b7d91795285ba0e57c17f6bdcc19d71ffa2a7ab5f796b4e2e2366c195f557b5 -EBUILD pff-8.4.ebuild 819 SHA256 511ce39236b5927c89eb0ea178ecd223978c2698d4b7ba66dcd07c8d8c4e9153 SHA512 a006a4c0456ed38253af10fbf68028096d8dd35444bda2d939aa21df1e2fb486ccd9c7aee9c90618b34a26b79dcf90a1e932f5ad01b65bc3db96f6caf396dc35 WHIRLPOOL 8a161cec44c6885d61de31d152a40c2835187dc0ca2c3718d5100bdf2fd4b603c338783568173ee42355d9fb5e5b13343dea28677c6c50df7b5c39ce91cd5a4b -MISC ChangeLog 548 SHA256 b6cffe39b5dbd7689087acd4f4cef764e01471c7bfa6b34e66641c988bed7e9a SHA512 249cd8d6d9ee5f4489ce8ff730954319143ae032397c86fcce7394620d44c43614e5900dc0d8dfba205b999f837a15dfc58424a7236af04cc02ff833723f2d01 WHIRLPOOL 22d67cf3990fd12f02ad7d74099b7c7325d7702afc06b2e3bd81e58e583fe9ba26de184798e1573d09d0a14ddca1aa934c0203e98853012776ae4e0ee93af5fb -MISC metadata.xml 497 SHA256 3ba778defe74a0a683099bd44b6f279b64bd6860c0c9ea53b5be8bb60c1b4340 SHA512 e8f4a2bd92a1a8f9997f43c9ddd3ad18bf56a0d0314514bac0f8e8a4439bf4a56fb33a80dd1cb910af74173a83d8abd80a390b510e90ede1b6ef8029f51d35cc WHIRLPOOL 15eeacfbccbba5a61a6ea1f853f0ed6b620b66a0b576cd4699ddc5c5d1afcb212dc24a28fde0ba73a5cf0b1a2d9d42af63cf6a6137fac878ac132a05cad1b955 +EBUILD pff-8.4.ebuild 819 SHA256 6ea5e7840b0b9724e5d41185752c4644f3daaa0790738f036146e0d977d30258 SHA512 254aa7efab42b384e7bb933240a1e84196747d228402c2548f22cb896755ced1d1b6a383e9c55fdaec0922c70aa65271b40ea038b89883eeaff3cea0dba5575f WHIRLPOOL 3ddb87266d94e52b5ffa30fe13a3099528e721a909a3b02146f6bc76c2bea0553a5c4a51102aa5eeaa1dcfed413e32095819fe187176c5f3b4a3d1ab03b481d2 +MISC ChangeLog 697 SHA256 956e10e388eab56c849982e3568482c2595d450f2387526c331e017b7e98b73a SHA512 4a5ec178b462378dd0b12039c0da235d608b503c18c3a19e85a2345fdb28fd93093ceca78c4f41cdfaba480065559ff6decdfca47cdad524f79c72aa563e4201 WHIRLPOOL fff1c96482797faba526530868637f040544c708cd7123596b729eaf615f4bdf061d449a2f5c35828efcd51327758f12737be5f57098b8b1ebe1c774263906fa +MISC metadata.xml 446 SHA256 498e3bb73c3d3b86bf3627e7c5df70fb451be78a4015c04d91e67f9a96a33202 SHA512 2933eb0927d382bf4975cef2e4f3b996d4cb68b9359140f0de44acf23abd4d8c1549bd54df72cbe4417c26089547a5b8731f245b44594d6f84f2a11fa6158dd6 WHIRLPOOL cfdf63abd8bcdd2add16bbf891d2fc901f9a39ee64b9bd92eace569c5bd9803de5c98dc00fa94ac75deeca930fb085f4db21e75ee6b69fd3635cd222759b9c76 diff --git a/sci-mathematics/pff/metadata.xml b/sci-mathematics/pff/metadata.xml index edab690a5..af7c7b97c 100644 --- a/sci-mathematics/pff/metadata.xml +++ b/sci-mathematics/pff/metadata.xml @@ -1,14 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats) - is a repository of a Coq library about floating-point arithmetic. It - contains both definitions and proofs of basic facts, old and new - properties and algorithms. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> +<herd>sci-mathematics</herd> +<longdescription> + PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats) + is a repository of a Coq library about floating-point arithmetic. It + contains both definitions and proofs of basic facts, old and new + properties and algorithms. +</longdescription> + </pkgmetadata> diff --git a/sci-mathematics/pff/pff-8.4.ebuild b/sci-mathematics/pff/pff-8.4.ebuild index 747366c36..5f0306daa 100644 --- a/sci-mathematics/pff/pff-8.4.ebuild +++ b/sci-mathematics/pff/pff-8.4.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2013 Gentoo Foundation +# Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="2" +EAPI="5" DESCRIPTION="Library for reasoning about floating point numbers in coq" HOMEPAGE="http://lipforge.ens-lyon.fr/www/pff/" diff --git a/sci-mathematics/why/ChangeLog b/sci-mathematics/why/ChangeLog index f4b826ec9..1fc178ce5 100644 --- a/sci-mathematics/why/ChangeLog +++ b/sci-mathematics/why/ChangeLog @@ -6,6 +6,10 @@ -why-2.30.ebuild, -files/why-2.30.patch, +why-2.34.ebuild, +why-flocq23.patch: version bump + 03 Mar 2013; Justin Lecher <jlec@gentoo.org> + why-2.30.ebuild, metadata.xml: + Drop ppc as deps are not keyworded; move to EAPI=5 and autotools-utils.eclass + 21 Dec 2011; Jonathan-Christofer Demay <jcdemay@gmail.com> -why-2.29.ebuild, -files/why_jessie-carbon.patch, +why-2.30.ebuild, +files/why-2.30.patch: version bump diff --git a/sci-mathematics/why/Manifest b/sci-mathematics/why/Manifest index 84a0f1c1e..ca81d46cb 100644 --- a/sci-mathematics/why/Manifest +++ b/sci-mathematics/why/Manifest @@ -1,5 +1,5 @@ AUX why-flocq23.patch 488 SHA256 3165cadaeeacd74f84f543d731f3823cf4d5b9c66235792754b38fca1dec57c2 SHA512 7cb3797b78cf7ed47953eead8bf0bca4ac202e5f1f060c74810fea7d72ebaf9d182400f88a8b1a6f4db813bd5d7c37315bb8596e210c91d6ac7c11f6126ec689 WHIRLPOOL 5a3bcbd255d46dc9c091c36c7dbfdf85e261d82da1d97db133af5c50c2c5c68b1fb46a19d49913573c5b35c8e1aefa05df5b2ed033a88f2c2b57308da7c1cc76 DIST why-2.34.tar.gz 4019877 SHA256 4f861757c13cb7dd4ba8c0c640f04115be147d2d4ca8a55035048e9d305c658c SHA512 e4abf6573cff52fcfe5c6b867ec15f6f65a88c9892143681b74e3a35caa870acdf04fdda6fc67790af608975bb688c6ec14fc12f2e44b319abdd262ac59384a7 WHIRLPOOL 1d3383241647b5e676f4476898fb9c5580c27a3dbd43cd29b3e9ee4460b11610d9b321deb92c5921f4499fba325da17d8c329f3e58edf9389e93b03f2e83af98 -EBUILD why-2.34.ebuild 1491 SHA256 517f57178d7796f14fd551fe6bac57da78a142122852c658ef24affc345b12e0 SHA512 b6c126e2fc1ae1b6546b5d18f3b4fcdb67be483906e1904783b6e46970713d1a75b841d58b0873bb53527a85217ee6a3add47d7c789edb6445cf811906faa145 WHIRLPOOL 073087b8acf2454e159ee63a8865a1fc1ba35cda96765736f9bb3ae8a015704d6c05e6dbb4575dacc70058008b6674b8a7886de433aa6397b1a295c820a1283c -MISC ChangeLog 1088 SHA256 ba7b9448e22cbdccf3c77497f8ad2edc4e09660093b6509c9ccf3a0ca33d40a7 SHA512 f1f236eff906c65b32e8dce51d34b124ec91036d16a30a92c8526c490cec4f27e2889ce1a68857099af9c47a1384b84841d1003004893ba5968dbdf879d45b1d WHIRLPOOL 6dabc8f18f30174e4a21206550046d88964e06dc71054f172c059447d704cbdedcfc831f08f9f320afb7e42f615ab318bf40c72bcd1cdb171dd87ebaa77b9755 -MISC metadata.xml 871 SHA256 039164bfd4f3369e6ef0ee6c5e934a7f5f119f5203bb3b0e995d8ad61594df5b SHA512 5f641c52001d1d2d1e82b6fc104bffb90913d561c680afc4d48890c29616c2e035471052ed77bb42cb0fb3ebdcbcea2fd69c07ee72e4f2787b1c07fba57b86a8 WHIRLPOOL 26b3b7ace4be726a20f4b8f78cf5dcb2b56a56af3838e3dc2a3aa9517df34dd5971649c5653e00ca38cc681e3a17894ff79942b2f3448dc8885cba1136521bfb +EBUILD why-2.34.ebuild 1491 SHA256 9b42b76bb90d38e6cceb385dba694c984161893fd7f932b5b86d300b5becec0f SHA512 dc1d61ea3c3e296289d0b21e13550adc58bd3914bdb6431d311c3acbd33362abbfab208a7554460e514e9d0a6be0c32cd07429fa1be333118544634f690d9945 WHIRLPOOL c393d6df74700607f5914b51895bc98afd9fcfa3163bc27d6ad85558032e7e85e6b488badf87860f726a433c8c04d05917a5ed7af63d479e959133f7498b40c9 +MISC ChangeLog 1249 SHA256 a03ad367e4728e70dc75f7e4cd75935d2677bb220584550e41708c13660ab5e5 SHA512 209e551b1403030b7fb694fbc5fc24f19138156ef7a52a073b936b79d948ac5aaa9146a2e2a30829f5bc5ff88eb0db17a5ca9a78d68e65c2de6a527443eb9386 WHIRLPOOL 05b7ce33f4b68db8d2fb1f90145b549536ada90bd8de0eaee9d693f2f92602a39871939f1c4e8abce93dba5b4262bc794be13e8aa8d4f480245a5b4e174b8ea7 +MISC metadata.xml 550 SHA256 42a08184f357da606ed4a161922d817a3b09cb55fd11285e5104d39145ee2fb6 SHA512 a3fc054a4ee64a4b3eb7f331ce3f2e8d86d077ec482350e5294d68a4f4809a63d17cdf43bf8074435ca350846ded500e14785669e588e7317fad9d3aa715b701 WHIRLPOOL ec8d65464fb8bbb0ce38911d084c78261f0c943accc4bde0cda9c18417590f86d1ac81dc4e4a311c8ed383e82090cf97785059ad7e6e1fd7cfcc3b86c6eeceb8 diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml index 06bd0a5f2..a777c2662 100644 --- a/sci-mathematics/why/metadata.xml +++ b/sci-mathematics/why/metadata.xml @@ -1,24 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - Why is a software verification platform. It contains a general-purpose - verification condition generator (VCG) which is used as a back-end - by other verification tools but it can also be used directly to verify - programs. It also provides Krakatoa, a tool or the verification of Java - programs and Caduceus, a tool for the verification of C programs. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="apron">?apron?</flag> - <flag name="coq">?coq?</flag> - <flag name="gappa">?gappa?</flag> - <flag name="frama-c">?frama-c?</flag> - <flag name="gtk">?gtk?</flag> - <flag name="pff">?pff?</flag> - <flag name="why3">?why3?</flag> - </use> +<herd>sci</herd> +<longdescription> + Why is a software verification platform. It contains a general-purpose + verification condition generator (VCG) which is used as a back-end + by other verification tools but it can also be used directly to verify + programs. It also provides Krakatoa, a tool or the verification of Java + programs and Caduceus, a tool for the verification of C programs. +</longdescription> </pkgmetadata> diff --git a/sci-mathematics/why/why-2.34.ebuild b/sci-mathematics/why/why-2.34.ebuild index c7eddfa66..813aa2064 100644 --- a/sci-mathematics/why/why-2.34.ebuild +++ b/sci-mathematics/why/why-2.34.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2010 Gentoo Foundation +# Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="2" +EAPI="5" inherit autotools eutils diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest index ec2faf65e..b1e03581f 100644 --- a/sci-mathematics/why3/Manifest +++ b/sci-mathematics/why3/Manifest @@ -1,4 +1,4 @@ DIST why3-0.83.tar.gz 5347628 SHA256 cabf67e939e3422e491ef596f1a09ceaf1615642904182097cebde90e42e9ac9 SHA512 e1c4d462986835aa0e9a1ca117e4c3bbaf307b45b6de03da6ea8dd706770b8d9894031ea22ec732dfa7340d613b023ab499837203a132db5f138e51596e64177 WHIRLPOOL 4e1a6fb8462144ec5726f461a6548b5fdaeb2338557ec84cefa7a6eed5594c35908e7ccc337a93aaa704283f88874f5cb3ca1f9dbe2355266af163f27e81cf7e -EBUILD why3-0.83.ebuild 1325 SHA256 c13afa35013186d12ffa7127e51815f20e3d52675d09d94b80df2f681ee84695 SHA512 1b73870850779d619e6103a7d7febe7a7fa2aee83e57da855460591590759d3fa00cdf4f85ff76a60e3dc36ddf764ec26abca983738a651e51c8dd7a32709a85 WHIRLPOOL ae8dbf7afaefb87470a4e5f6c2a30aec79fcb0236ace2d7e6609feb50a65ea794dbcfd163bbe7810edc6637d201b8a22f019248c4ee5e1866480f6ffb754deed +EBUILD why3-0.83.ebuild 1325 SHA256 f693f22dad75ce703c26c6f5856e90a88fda439a7a4a139336bc0ce4cda1aeee SHA512 5470b7f801648efee3c013a3da6770027652eb07d3a710ae20776a80b84869ac20d72eece1705a9a5fdfbe35126bf75468e1d6a8ef6ccabc2ba900b2ad0b27fb WHIRLPOOL 1d3d4c385a09a7fbd233d66125d4fead2bbc322347c88b4fbf3ddf9de402f6112a5bd54be8cd437eb5e05f807b3788cc9851d72b8461114f54f52f4a6c307a46 MISC ChangeLog 248 SHA256 75e04e1c01a3bab95d3aea02729451bc72450b4a357e3cd7da5e250766dc4181 SHA512 59d5309b1fbc0e829ebe13318c221964cb97e6083ddb5c87acbcbe720882305911cd1f8187aa389b1394892edc0718370c4326cf889ed3144eb89e6d31259f24 WHIRLPOOL 743c17f5170e887142722dc269b465563ad496629dd35985870dfe25d94b41ecc18557d0a56ac55076b4c546c80e2fef3def54c9ce6f06fecda09bd03d37c89f -MISC metadata.xml 1003 SHA256 5bb7fa100e8393607e63b9bdd5974184c86f51759da8f66e45a36fb4beca4aba SHA512 6ac8f7a9ffe33f930fd9522d28fb321bacb914fece132778e2184d552e4279ee583cbaf73a01437fd64ab3ea1fc3c7c94959fe36125e95e07c2a1bbf9c60a567 WHIRLPOOL 58fcab163ae5ebf598512f5ba2ab655ee4d0dd9d352882c38e8adf5beaada7e3dac4dab98412f79d305773f9290c214e06cc686cf596d2ab1e459ff4ac22998b +MISC metadata.xml 896 SHA256 f33c0d39649c03f0319f70f8ee57949ebd55c64e23c0d890cbafcd6f298f7cbf SHA512 e90fa0d593e24051de6c92ad365ce0457e807d1a1fdc4303b20236f12f5a3cf558cfcd01090ae054e233bd7005e9c78842dbe9a6c4fc90c6c49f20068e78565a WHIRLPOOL fba0d374db71261ec78f5cd3fe5389e3128cfb9bc7356d4b565f64f038fce65a58237ce411f1ba743bdedbf67300552195230ea0952a7e09cb0547625be3ef03 diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml index 361520dd3..17c0a9016 100644 --- a/sci-mathematics/why3/metadata.xml +++ b/sci-mathematics/why3/metadata.xml @@ -1,23 +1,17 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - Why3 is a platform for deductive program verification. It provides - a rich language for specification and programming, called WhyML, - and relies on external theorem provers, both automated and interactive, - to discharge verification conditions. Why3 comes with a standard - library of logical theories (integer and real arithmetic, Boolean - operations, sets and maps, etc.) and basic programming data structures - (arrays, queues, hash tables, etc.). A user can write WhyML programs - directly and get correct-by-construction OCaml programs through an - automated extraction mechanism. WhyML is also used as an intermediate - language for the verification of C, Java, or Ada programs. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="frama-c">?frama-c?</flag> - </use> +<herd>sci-mathematics</herd> +<longdescription> + Why3 is a platform for deductive program verification. It provides + a rich language for specification and programming, called WhyML, + and relies on external theorem provers, both automated and interactive, + to discharge verification conditions. Why3 comes with a standard + library of logical theories (integer and real arithmetic, Boolean + operations, sets and maps, etc.) and basic programming data structures + (arrays, queues, hash tables, etc.). A user can write WhyML programs + directly and get correct-by-construction OCaml programs through an + automated extraction mechanism. WhyML is also used as an intermediate + language for the verification of C, Java, or Ada programs. +</longdescription> </pkgmetadata> diff --git a/sci-mathematics/why3/why3-0.83.ebuild b/sci-mathematics/why3/why3-0.83.ebuild index 55bc65684..30615b5f8 100644 --- a/sci-mathematics/why3/why3-0.83.ebuild +++ b/sci-mathematics/why3/why3-0.83.ebuild @@ -2,7 +2,7 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="2" +EAPI="5" inherit autotools eutils |