Bug#878692: please drop transitional package mingw-ocaml

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

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

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

Bug#726017: apt-xapian-index: Fails because it cannot fork

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

Bug#725879: lives 2.0.6 fails to start in jessie because of libmjpegutils

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

Bug#715317: gstreamer1.0-plugins-good: shout2send cannot send webm streams

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

Bug#686433: live-build: cannot build i386 live-cd under ppc

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

Bug#673835: liblablgtksourceview2-ocaml: Could debian package provides upstream unreleased META file instead of wrong ad hoc one ?

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

Bug#614933: camldebug doesn't work with a pristine emacs installation

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

Bug#467563: camlp5 strict mode?

à 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

Bug#467563: camlp5 strict mode?

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

Bug#641016: emacs-calfw: forbid xemacs21 removal

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