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
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
[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
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
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
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
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
7 matches
Mail list logo