Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 446730 - dev-ml/eliom-3.0.3 version bump
Summary: dev-ml/eliom-3.0.3 version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Library (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords: PATCH
Depends on: 446724
Blocks:
  Show dependency tree
 
Reported: 2012-12-10 12:40 UTC by Jacques-Pascal Deplaix
Modified: 2013-01-13 20:31 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
eliom-3.0.3.patch (eliom-3.0.3.patch,797 bytes, patch)
2012-12-10 12:40 UTC, Jacques-Pascal Deplaix
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Jacques-Pascal Deplaix 2012-12-10 12:40:47 UTC
Created attachment 331958 [details, diff]
eliom-3.0.3.patch

Eliom 3.0.0 is already available.
The difference with the old package is attached.
Comment 1 Jacques-Pascal Deplaix 2012-12-11 18:20:10 UTC
Comment on attachment 331958 [details, diff]
eliom-3.0.3.patch

>--- /usr/portage/dev-ml/eliom/eliom-2.2.2.ebuild	2012-08-07 22:50:07.000000000 +0200
>+++ eliom-3.0.2.ebuild	2012-12-10 13:39:57.117782726 +0100
>@@ -13,12 +13,12 @@
> LICENSE="LGPL-2.1-with-linking-exception"
> SLOT="0"
> KEYWORDS="~amd64"
>-IUSE="doc +ocamlopt ocamlduce"
>+IUSE="doc +ocamlopt"
> 
> DEPEND=">=dev-lang/ocaml-3.12[ocamlopt?]
>-	>=dev-ml/js_of_ocaml-1.2
>-	>=www-servers/ocsigenserver-2.1
>-	>=dev-ml/tyxml-2.1[ocamlduce?]
>+	>=dev-ml/js_of_ocaml-1.3.2
>+	>=www-servers/ocsigenserver-2.2.0
>+	>=dev-ml/tyxml-2.1
> 	>=dev-ml/deriving-ocsigen-0.3
> 	dev-ml/react
> 	dev-ml/ocaml-ssl
>@@ -32,7 +32,7 @@
> 		--mandir "/usr/share/man/" \
> 		--temproot "${ED}" \
> 		--libdir "/usr/$(get_libdir)/ocaml" \
>-		$(use_with ocamlduce) || die "configure failed"
>+		|| die "configure failed"
> }
> 
> src_compile() {
Comment 2 Alexis Ballier gentoo-dev 2013-01-13 20:31:21 UTC
bumped, thanks!