Re: Proposed new requirements for emacsen add-on packages

2014-01-22 Thread Rob Browning
Rob Browning writes: > However, to demonstrate why I'm beginning to think the current approach > may be unworkable, consider the case where no emacsen-related packages > are installed and someone runs this: > > apt-get install emacs24 add-on-depending-on-add-on-1 add-on-1 > > What should happen

Re: Proposed new requirements for emacsen add-on packages

2014-01-22 Thread Rob Browning
Agustin Martin writes: > Did not test in depth, but I think the add-on state files state files > could be recreated from /usr/lib/emacsen-common/packages/install in > case emacsen-common is installed for the first time (i.e., not > upgraded). Since emacs flavours depend on emacsen-common they sho

Re: Proposed new requirements for emacsen add-on packages

2014-01-22 Thread Rob Browning
[Apologies for any duplication: resending because the previous cc list had been truncated.] Modestas Vainius writes: > I suggest that you bump policy version to 3 since current policy is probably > going to be nothing like v2. We could, though I hadn't been planning on it since these changes

Re: Proposed new requirements for emacsen add-on packages

2014-01-22 Thread Rob Browning
Modestas Vainius writes: > I suggest that you bump policy version to 3 since current policy is probably > going to be nothing like v2. We could, though I hadn't been planning on it since these changes only fix the current policy to work as I'd originally intended (i.e. correctly). I think the

Bug#736322: libcoq-ocaml-dev: It should depend on ocaml-best-compilers

2014-01-22 Thread Jason Gross
I do not see opt in my config either: jgross@ubuntu:~/Documents/foo$ coqtop -v The Coq Proof Assistant, version 8.3pl4 (April 2012) compiled on Apr 03 2012 10:41:42 with OCaml 3.12.1 jgross@ubuntu:~/Documents/foo$ coqtop -config LOCAL=0 COQLIB=/usr/lib/coq/ COQSRC=/build/buildd/coq-8.3.pl4+dfsg/ C

Bug#736322: libcoq-ocaml-dev: It should depend on ocaml-best-compilers

2014-01-22 Thread Stéphane Glondu
Le 22/01/2014 10:49, Pierre Boutillier a écrit : > please see https://coq.inria.fr/bugs/show_bug.cgi?id=3215 > > Authors of plugins for coq are encouraged to use coq_makefile to generate > their Makefile. > > Makefiles generated by coq_makefile ask coqtop for the ocaml compilers it has > been c

Bug#736322: libcoq-ocaml-dev: It should depend on ocaml-best-compilers

2014-01-22 Thread Pierre Boutillier
Package: libcoq-ocaml-dev Version: 8.4pl2dfsg-4 Severity: minor Dear Maintainer, please see https://coq.inria.fr/bugs/show_bug.cgi?id=3215 Authors of plugins for coq are encouraged to use coq_makefile to generate their Makefile. Makefiles generated by coq_makefile ask coqtop for the ocaml compi