1379
Comment:
|
1451
|
Deletions are marked like this. | Additions are marked like this. |
Line 42: | Line 42: |
= OCaml = See http://lists.debian.org/518A2D51.7010306@debian.org |
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:
- camlp5
- coq-doc
- lablgtk2
- coq
- coq-float
Ocsigen
Handled by StephaneGlondu:
- 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