Differences between revisions 407 and 408
Revision 407 as of 2013-05-08 10:46:48
Size: 1379
Comment:
Revision 408 as of 2013-05-08 10:51:36
Size: 1451
Comment:
Deletions are marked like this. Additions are marked like this.
Line 42: Line 42:
= OCaml =

See http://lists.debian.org/518A2D51.7010306@debian.org

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.