1451
Comment:
|
1853
|
Deletions are marked like this. | Additions are marked like this. |
Line 17: | Line 17: |
Handled by StephaneGlondu: * camlp5 * coq-doc * lablgtk2 * coq * coq-float |
Handled by StephaneGlondu. Sourceful uploads: ([[https://buildd.debian.org/status/package.php?p=camlp5%2Ccoq%2Clablgtk2&suite=sid&compact=compact|buildd]]) * [[http://packages.qa.debian.org/c/camlp5.html|camlp5]] (./) * [[http://packages.qa.debian.org/c/coq-doc.html|coq-doc]] * [[http://packages.qa.debian.org/l/lablgtk2.html|lablgtk2]] * [[http://packages.qa.debian.org/c/coq.html|coq]] * [[http://packages.qa.debian.org/c/coq-float.html|coq-float]] |
Line 26: | Line 28: |
Handled by StephaneGlondu: | Handled by StephaneGlondu. Sourceful uploads: |
Contents
Installability status: in unstable, in Ubuntu.
Check list
List of things you should check / do while updating your package:
- Package new upstream version: implies (of course) a sourceful upload: be sure that all your reverse-dependencies compile and work properly...
- Move to section ocaml if relevant
- Update Standards-Version to 3.9.3
Check whether Ubuntu differences should be integrated (see this page), or the PTS for each package
Check packages affected by new ocaml-* Lintian tags
- Remove additional dependencies added for uploads to experimental
Coq
Handled by StephaneGlondu.
Sourceful uploads: (buildd)
Ocsigen
Handled by StephaneGlondu.
Sourceful uploads:
- calendar
- cryptokit
- ocaml-sqlite3
- pcre-ocaml
- postgresql-ocaml
- react
- ocamlnet
- ocaml-text
- lwt
- obus
- ocaml-usb
- ocsigenserver
- eliom
- nurpawiki
OCaml
See http://lists.debian.org/518A2D51.7010306@debian.org
Out-of-date packages
See also DDPO.
pycaml, new upstream? http://www.soton.ac.uk/~doctom/software/pycaml/index.html