1043
Comment:
|
1379
|
Deletions are marked like this. | Additions are marked like this. |
Line 15: | Line 15: |
= 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 |
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
Out-of-date packages
See also DDPO.
pycaml, new upstream? http://www.soton.ac.uk/~doctom/software/pycaml/index.html