On Mon, Mar 09, 2009 at 01:58:41AM +0100, Stéphane Glondu wrote:
> Any opinions?
Only two comments.
> dw cduce_0.5.0-2 . ALL . -m 'ocaml-nox (>= 3.11.0-5), camlp4-extra (>= 3.11.0-5), ocaml-source (>= 3.11.0-5), libpcre-ocaml-dev (>= 5.15.1-2), libocamlnet-ocaml-dev (>= 2.2.9-6), libexpat-ocaml-dev (>= 0.9.1+debian1-4+b3), libcurl-ocaml-dev (>= 0.2.1-13+b3), ocaml-ulex (>= 1.1-1)'
> nmu 1 matita_0.5.7-1 . alpha armel hppa ia64 mips mipsel s390 . -m 'Recompile with OCaml 3.11.0'
CDuce has a new upstream release: 0.5.3. We should better package that
than NMU it. Similarly, Matita has quite frequent releases, we can
probably use a sourceful upload for it to; Cc-ing Enrico Tassi which
is usually in charge of Matita upstream releases, to seek his opinion.
Cheers.
--
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
Attachment:
signature.asc
Description: Digital signature