10240
Comment: ocaml-text, bin-prot
|
10240
|
Deletions are marked like this. | Additions are marked like this. |
Line 82: | Line 82: |
|| coq || (>= 8.2.pl2+dfsg-2) || StephaneGlondu || ready || fix FTBFS with camlp5 || | || coq || (>= 8.2.pl2+dfsg-2) || StephaneGlondu || 2011-02-21 || fix FTBFS with camlp5 || |
Line 84: | Line 84: |
|| ssreflect || (>= 1.2+dfsg-7) || StephaneGlondu || ready || arch:all || | || ssreflect || (>= 1.2+dfsg-7) || StephaneGlondu || 2011-02-22 || arch:all || |
Migration to OCaml 3.12.0
Status: migration (debian-ports, ubuntu, ubuntu-ports), overall (to be updated)
OCaml 3.12.0 preview repository (amd64, armel, i386)
Check list
List of things you should check / do while updating your package for OCaml 3.12.0:
- Package new upstream version: implies (of course) a sourceful upload: be sure that all your reverse-dependencies compile and work properly... it's better not to update if you are unsure, because a problem will delay the whole transition.
- Move to section ocaml if relevant
- Update Standards-Version to 3.9.1
Check whether Ubuntu differences should be integrated (see this page)
Check packages affected by new ocaml-* Lintian tags
- Remove additional dependencies added for uploads to experimental
Sourceful uploads
If you think a package needs some work and a binNMU is not appropriate, please add it to the table below. The rounds are levels in the build-dep graph, they can be seen on the migration monitoring page. Put there the packages that need a sourceful upload, a version information suitable for depwait, someone who is planning to deal with them, and why they need a sourceful upload. When ocaml is built on all architectures, the binNMU will be scheduled.
what? |
how? |
who? |
when? |
why? |
Round 0 |
||||
dh-ocaml |
(>= 1.0) |
ready |
support for new objinfo |
|
Round 1 |
||||
ocaml |
(>= 3.12) |
ready |
|
|
Round 2 |
||||
mingw32-ocaml |
(>= 3.12) |
|
|
needs update |
headache |
(>= 1.03-19) |
ready |
arch:all, pending changes |
|
hevea |
(>= 1.10-13) |
ready |
arch:all, pending changes |
|
hlins |
(>= 0.39-17) |
ready |
arch:all, pending changes |
|
jocaml |
(>= 3.12) |
|
not ready |
|
ocamlduce |
(>= 3.12) |
ready |
||
ocamlify |
(>= 0.0.1-2) |
|
|
arch:all |
ocamlwc |
(>= 0.3-9) |
ready |
arch:all, pending changes |
|
ocamlweb |
(>= 1.37-14) |
ready |
arch:all, pending changes |
|
planets |
(>= 0.1.13-12) |
ready |
arch:all, pending changes |
|
polygen |
(>= 1.0.6.ds2-11) |
ready |
arch:all, pending changes |
|
camlp5 |
(>= 5.14-2) |
ready |
||
Round 3 |
||||
bibtex2html |
(>= 1.95-2) |
ready |
arch:all, pending changes |
|
ledit |
(>= 2.02.1-1) |
ready |
arch:all, new upstream |
|
obrowser |
(>= 1.1+dfsg-5) |
ready |
||
lablgtk2 |
(>= 2.14.0+dfsg-3) |
ready |
||
type-conv |
(>= 1.7.1-2) |
|
ready |
|
calendar |
(>= 2.01.1-7) |
|
not ready |
|
Round 4 |
||||
ara |
(>= 1.0.30) |
|
ready |
arch:all |
cmigrep |
(>= 1.5-8) |
ready |
arch:all, pending changes |
|
coq |
(>= 8.2.pl2+dfsg-2) |
ready |
arch:all |
|
cameleon |
(>= 1.9.19-3) |
ready |
||
lablgtkmathview |
(>= 0.7.8-6) |
|
ready |
|
Round 5 |
||||
coq-float |
(>= 1:8.2-1.2-6) |
ready |
arch:all |
|
ssreflect |
(>= 1.2+dfsg-7) |
ready |
arch:all |
|
janest-core |
(>= 0.6.0-3) |
|
ready |
|
cduce |
(>= 0.5.3-3) |
|
not ready |
|
coccinelle |
(>= 0.2.4.deb-3) |
|
not ready |
|
matita |
(>= 0.5.8-3) |
|
not in testing |
|
Round 6 |
||||
why |
(>= 2.26+dfsg-4) |
|
ready |
arch:all |
Library transition
This section coordinates a smaller transition of some OCaml libraries to new upstream versions that require binNMU, but need not a full OCaml transition (#613848). Rounds are based on the whole OCaml stack dependency graph, and are different from the levels in the prospective binNMU request that correspond to an ordering of the packages involved in this specific mini-transition.
what? |
how? |
who? |
when? |
why? |
Round 2 |
||||
camlp5 |
(>= 6.02.1) |
2011-02-19 |
new upstream |
|
Round 3 |
||||
ledit |
(>= 2.02.1) |
2011-02-20 |
new upstream |
|
lablgtk2 |
(>= 2.14.2) |
2011-02-19 |
new upstream |
|
pcre-ocaml |
(>= 6.2.2) |
2011-02-20 |
new upstream |
|
postgresql-ocaml |
(>= 1.14.0) |
2011-02-20 |
new upstream |
|
ounit |
(>= 1.1.0-3) |
2011-02-18 |
new upstream |
|
Round 4 |
||||
ocaml-text |
(>= 0.4-2) |
2011-02-21 |
new upstream |
|
bin-prot |
(>= 1.2.24) |
2011-02-21 |
new upstream |
|
coq |
(>= 8.2.pl2+dfsg-2) |
2011-02-21 |
fix FTBFS with camlp5 |
|
Round 5 |
||||
ssreflect |
(>= 1.2+dfsg-7) |
2011-02-22 |
arch:all |
|
matita |
(>= 0.5.8-3) |
|
not in testing |
Prospective binNMU request (unchecked, takes only camlp5 into account):
# Level 0 (camlp5, lablgtk2) # Level 1 (ledit, coq) nmu 1 geneweb_5.02-1 . ALL . -m 'Rebuild with new camlp5' dw geneweb_5.02-1 . ALL . -m 'camlp5 (>= 6.02.1-1)' nmu 1 otags_3.09.3-4 . ALL . -m 'Rebuild with new camlp5' dw otags_3.09.3-4 . ALL . -m 'camlp5 (>= 6.02.1-1)' nmu 3 ulex0.8_0.8-9 . ALL . -m 'Rebuild with new camlp5' dw ulex0.8_0.8-9 . ALL . -m 'camlp5 (>= 6.02.1-1)' # Level 2 (ssreflect) nmu 1 pkglab_1.4.2-12 . ALL . -m 'Rebuild with new ledit' dw pkglab_1.4.2-12 . ALL . -m 'libledit-ocaml-dev (>= 2.02.1)' # why has the following arch:all packages: libwhy-coq, why-examples nmu 1 why_2.26+dfsg-3 . ALL . -m 'Rebuild with new coq' dw why_2.26+dfsg-3 . ALL . -m 'coq (>= 8.2.pl2+dfsg-2)'
Postponed to during OCaml 3.12.0: ocamlduce (>= 3.12), jocaml (>= 3.12), cameleon (>= 1.9.21)
Postponed to during OCaml 3.12.0 or later: type-conv (>= 2.0.1), sexplib310 (>= 6.0.5)
Postponed to after OCaml 3.12.0 transition: lwt (>= 2.2), ocsigen (>= 1.3.4), ocaml-usb (>= 1.1.0), obus (>= 1.1.1), ocamlnet (>= 3.2)
Postponed to after why (>= 2.28): coq (>= 8.3), coq-float (>= 1:8.2-1.2-6), aac-tactics (>= 0.2.1), ssreflect (candidate for removal)