mingw-ocaml has been indeed of tremendous help in the past. Thank you for
providing it.
I don't use it anymore though because:
> Le 16 oct. 2017 à 10:29, Romain Beauxis a écrit :
> There's some work being done, though, on enabling cross-compiling in OCaml,
> and just not for windows but I'm not
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
Package: apt-xapian-index
Version: 0.46
Severity: important
Dear Maintainer,
Cron job fails on my computer with the message :
/etc/cron.weekly/apt-xapian-index:
Traceback (most recent call last):
File "/usr/sbin/update-apt-xapian-index", line 102, in
indexer.incrementalUpdate()
File "/u
Package: lives
Version: 2.0.6~ds0-1
Severity: important
Dear Maintainer,
I'm following debian testing but I have installed by hand lives version from
sid (this morning after the end of libav transition, I wanted to get rid of old
binary version of libs)
LIVES fails to start since then with the
Package: gstreamer1.0-plugins-good
Version: 1.0.7-1
Severity: wishlist
Hi,
gstreamer1.0-plugins-good has been build using libshout 2.2.2-8. So
#define SHOUT_FORMAT_WEBM (2) /* video/webm */
was not there and
$ gst-launch v4l2src ! video/x-raw,width=320,height=240 ! vp8enc ! webmmux
Package: live-build
Version: 3.0~a58-1
Severity: normal
On a ppc computer, the command list mkdir foo && cd foo && lb config -a i386 &&
lb build fails.
Here is the log:
--8<-
root@coutosuisse:/home/pirbo# mkdir temppp
root@coutosuisse:/home/pirbo# cd temppp
root@coutosuisse:/home/pirbo/tempp
Package: liblablgtksourceview2-ocaml
Version: 2.14.2+dfsg-2+b1
Severity: wishlist
Dear Maintainer,
I want to be able to compile an Ocaml file that uses GSourceview2 using
ocamlfind.
I use recently bind function in lablgtk but I can't check that it is
lablgtk 2.14.2 that is installed because the
Package: tuareg-mode
Version: 1:2.0.4-3
Followup-For: Bug #614933
Dear Maintainer,
I have the same problem.
I fix it by adding "-tuareg" after camldebug on
(autoload 'camldebug "camldebug-tuareg" "Run the Caml debugger" t)
in /etc/emacs/site-start.d/51tuareg-mode.el
as seen above to be sure to lo
à 10:19, Hendrik Tews a écrit :
Pierre Boutillier writes:
Why do we keep a camlp5 in transitionnal mode ?
I assumed somebody needs transitional mode. Supporting only
strict mode is of course much simpler.
For packages, Coq and ledit support strict mode. The only remaining
question is
Hi,
I'm sorry but I do not see an answer to that question in the thread:
Why do we keep a camlp5 in transitionnal mode ?
For packages, Coq and ledit support strict mode. The only remaining
question is about ulex.
Pierre
Le 28 févr. 12 à 23:16, Hendrik Tews a écrit :
Hi,
I looked at how
list of
if [ ${FLAVOR} = unrelevant stuff ]; then exit 0; fi
that are not in the remove/emacs-calfw ...
All the best,
Pierre Boutillier
pierre.boutill...@laposte.net
-- System Information:
Debian Release: wheezy/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unsta
11 matches
Mail list logo