Differences between revisions 408 and 409
Revision 408 as of 2013-05-08 10:51:36
Size: 1451
Comment:
Revision 409 as of 2013-05-08 11:28:46
Size: 1853
Comment:
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
:

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.