From: Stefano Zacchiroli Date: Sun, 8 Jan 2006 12:14:20 +0000 (+0000) Subject: ported to ocaml 3.09.1 X-Git-Tag: make_still_working~7901 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f55212628220b454f6d8e3d0b4692ab611e5f8bd;hp=8f031438f3ef438a141808473fd0ce4d9ec6730c;p=helm.git ported to ocaml 3.09.1 --- diff --git a/helm/DEVEL/ocaml-http/debian/changelog b/helm/DEVEL/ocaml-http/debian/changelog index 8c31daf3c..a341c9f7f 100644 --- a/helm/DEVEL/ocaml-http/debian/changelog +++ b/helm/DEVEL/ocaml-http/debian/changelog @@ -1,3 +1,9 @@ +ocaml-http (0.1.2-3) unstable; urgency=low + + * Rebuilt against OCaml 3.09.1, bumped deps accordingly. + + -- Stefano Zacchiroli Sun, 8 Jan 2006 13:13:07 +0100 + ocaml-http (0.1.2-2) unstable; urgency=low * rebuilt with ocaml 3.09 diff --git a/helm/DEVEL/ocaml-http/debian/control b/helm/DEVEL/ocaml-http/debian/control index ed54d2aa2..1b42aa4e9 100644 --- a/helm/DEVEL/ocaml-http/debian/control +++ b/helm/DEVEL/ocaml-http/debian/control @@ -2,12 +2,12 @@ Source: ocaml-http Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= 3.09.0), ocaml-findlib (>= 1.1), libpcre-ocaml-dev (>= 5.10.1), libocamlnet-ocaml-dev (>= 1.1-7), cdbs +Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= 3.09.1), ocaml-findlib (>= 1.1), libpcre-ocaml-dev (>= 5.10.1-2), libocamlnet-ocaml-dev (>= 1.1-8), cdbs Standards-Version: 3.6.2 Package: libhttp-ocaml-dev Architecture: any -Depends: ocaml-nox-${F:OCamlABI}, libpcre-ocaml-dev (>= 5.10.1), libocamlnet-ocaml-dev (>= 1.1-7) +Depends: ocaml-nox-${F:OCamlABI}, libpcre-ocaml-dev (>= 5.10.1-2), libocamlnet-ocaml-dev (>= 1.1-8) Description: OCaml library for writing HTTP servers OCaml HTTP is a library for the Objective Caml programming language, used to build simple HTTP servers, largely inspired to Perl's diff --git a/helm/DEVEL/ocaml-http/debian/control.in b/helm/DEVEL/ocaml-http/debian/control.in index 4131e1131..60b295bbf 100644 --- a/helm/DEVEL/ocaml-http/debian/control.in +++ b/helm/DEVEL/ocaml-http/debian/control.in @@ -2,12 +2,12 @@ Source: ocaml-http Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= @OCamlABI@), ocaml-findlib (>= 1.1), libpcre-ocaml-dev (>= 5.10.1), libocamlnet-ocaml-dev (>= 1.1-7), cdbs +Build-Depends: debhelper (>> 4.0.0), ocaml-nox (>= @OCamlABI@), ocaml-findlib (>= 1.1), libpcre-ocaml-dev (>= 5.10.1-2), libocamlnet-ocaml-dev (>= 1.1-8), cdbs Standards-Version: 3.6.2 Package: libhttp-ocaml-dev Architecture: any -Depends: ocaml-nox-${F:OCamlABI}, libpcre-ocaml-dev (>= 5.10.1), libocamlnet-ocaml-dev (>= 1.1-7) +Depends: ocaml-nox-${F:OCamlABI}, libpcre-ocaml-dev (>= 5.10.1-2), libocamlnet-ocaml-dev (>= 1.1-8) Description: OCaml library for writing HTTP servers OCaml HTTP is a library for the Objective Caml programming language, used to build simple HTTP servers, largely inspired to Perl's diff --git a/helm/DEVEL/ocaml-http/debian/dirs b/helm/DEVEL/ocaml-http/debian/dirs index 2f455d562..d85903676 100644 --- a/helm/DEVEL/ocaml-http/debian/dirs +++ b/helm/DEVEL/ocaml-http/debian/dirs @@ -1 +1 @@ -/usr/lib/ocaml/3.09.0 +/usr/lib/ocaml/3.09.1