Differences between revisions 406 and 407
Revision 406 as of 2012-05-02 08:11:01
Size: 1043
Comment:
Revision 407 as of 2013-05-08 10:46:48
Size: 1379
Comment:
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

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.