Bug#878692: please drop transitional package mingw-ocaml

[Pierre Boutillier]

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 sure what/when.
There is now the opam repository 
https://github.com/whitequark/opam-cross-windows that allows you to get an 
ocaml 4.04 cross compiler!

Cross compiling is not for everybody (and is useless inside debian itself). 
Therefore, providing the cross compiler only through an external pure 
developper channel (opam) seems reasonable to me. The counter argument to that 
is that github repositories are extremely volatile while debian packages are 
much more solid.
Anyway, I won't fight to keep this package in debian. That being said, the 
existence of the repo means that the "high stack of patches" exists (for 
4.04.0) and I'm pretty sure it would not take that long for someone interested 
(which I'm not really anymore) and fluent in debian packaging (which I'm not, 
sorry) to translate 
https://github.com/whitequark/opam-cross-windows/blob/master/packages/flexdll-windows.0.34/opam
and
https://github.com/whitequark/opam-cross-windows/blob/master/packages/ocaml-windows64.4.04.0/opam
into the correct `rules`.

Pierre B.

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

[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 compilers it has 
been compiled with in order to use it too. (It is done by coqtop -config.)

Therefore, ocamlc.opt and ocamlopt.opt have to be available under platforms 
where coqtop has been compiled with them ...

All the best,
Pierre B.

-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 3.12-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages libcoq-ocaml-dev depends on:
ii  camlp5 [camlp5-ejbq9]6.11-2
ii  coq  8.4pl2dfsg-4
ii  libc62.17-97
ii  libcoq-ocaml [libcoq-ocaml-t09a6]8.4pl2dfsg-4
ii  liblablgtk2-ocaml-dev [liblablgtk2-ocaml-dev-fwbz8]  2.16.0+dfsg-1
ii  ocaml-nox [ocaml-nox-4.01.0] 4.01.0-3

libcoq-ocaml-dev recommends no packages.

libcoq-ocaml-dev suggests no packages.

-- no debconf information


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

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

[Pierre Boutillier]

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 module
indexer.incrementalUpdate()
  File /usr/lib/pymodules/python2.7/axi/indexer.py, line 670, in 
incrementalUpdate
self.updateIndex(dbpath)
  File /usr/lib/pymodules/python2.7/axi/indexer.py, line 629, in updateIndex
db = xapian.WritableDatabase(pathname, xapian.DB_CREATE_OR_OPEN)
  File /usr/lib/python2.7/dist-packages/xapian/__init__.py, line 4303, in 
__init__
_xapian.WritableDatabase_swiginit(self,_xapian.new_WritableDatabase(*args))
xapian.DatabaseLockError: Unable to get write lock on 
/var/cache/apt-xapian-index/index.1: Couldn't fork: Cannot allocate memory
run-parts: /etc/cron.weekly/apt-xapian-index exited with return code 1

sudo /usr/sbin/update-apt-xapian-index --update --quiet
has the exact same result

sudo update-apt-xapian-index --force

says

Reading .desktop files from /usr/share/app-install/desktop/: done.  
Reading en translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_main_i18n_TranslaReading
 en translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_main_i18n_Translation-en:
 done.  
Reading en translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_non-free_i18n_TraReading
 en translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_non-free_i18n_Translation-en:
 done.  
Reading en translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_contrib_i18n_TranReading
 en translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_contrib_i18n_Translation-en:
 done.  
Reading en.IndexDiff translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_main_i1Reading 
en.IndexDiff translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_main_i18n_Translation-en.IndexDiff:
 done.  
Reading fr translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_main_i18n_TranslaReading
 fr translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_main_i18n_Translation-fr:
 done.  
Reading fr.IndexDiff translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_main_i1Reading 
fr.IndexDiff translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_main_i18n_Translation-fr.IndexDiff:
 done.  
Reading en.IndexDiff translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_non-freReading 
en.IndexDiff translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_non-free_i18n_Translation-en.IndexDiff:
 done.  
Reading en.IndexDiff translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_contribReading 
en.IndexDiff translations from 
/var/lib/apt/lists/ftp.fr.debian.org_debian_dists_testing_contrib_i18n_Translation-en.IndexDiff:
 done.  
FATAL - Failed to fork.

I don't know where the problem can be (and if it is on my side).

at least 
ls -lRh /var/cache/apt-xapian-index/
/var/cache/apt-xapian-index/:
total 4,0K
drwxr-xr-x 2 root root 4,0K sept.  6 08:18 index.1

/var/cache/apt-xapian-index/index.1:
total 121M
-rw-r--r-- 1 root root0 oct.  11 10:14 flintlock
-rw-r--r-- 1 root root   28 déc.  15  2011 iamchert
-rw-r--r-- 1 root root  822 sept.  6 08:18 postlist.baseA
-rw-r--r-- 1 root root  827 août  30 08:58 postlist.baseB
-rw-r--r-- 1 root root  52M sept.  6 08:18 postlist.DB
-rw-r--r-- 1 root root   64 sept.  6 08:18 record.baseA
-rw-r--r-- 1 root root   64 août  30 08:58 record.baseB
-rw-r--r-- 1 root root 3,0M sept.  6 08:18 record.DB
-rw-r--r-- 1 root root  163 sept.  6 08:18 spelling.baseA
-rw-r--r-- 1 root root  176 août  30 08:58 spelling.baseB
-rw-r--r-- 1 root root  11M sept.  6 08:18 spelling.DB
-rw-r--r-- 1 root root   14 sept.  6 08:18 synonym.baseA
-rw-r--r-- 1 root root   14 août  30 08:58 synonym.baseB
-rw-r--r-- 1 root root  16K sept.  6 08:18 synonym.DB
-rw-r--r-- 1 root root  907 sept.  6 08:18 termlist.baseA
-rw-r--r-- 1 root root  907 août  30 08:58 termlist.baseB
-rw-r--r-- 1 root root  56M sept.  6 08:18 termlist.DB

seems OK.

The first cron email about the failure is from sept. 13 (coherent with the date 
sept.  6 of the ls)
The only python package I update during this week is python-numpy.

All the best,
Pierre B.

-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: powerpc (ppc)

Kernel: Linux 3.10-3-powerpc
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages apt-xapian-index depends on:
ii  python  2.7.5-5
ii  python-apt  0.8.9
ii  python-debian   0.1.21+nmu2
ii  python-support  1.0.15
ii  python-xapian   1.2.15-4

apt-xapian-index recommends no packages.

Versions of packages 

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

[Pierre Boutillier]

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 message :
/usr/lib/lives/lives-exe: error while loading shared libraries: 
libmjpegutils-2.1.so.0: cannot open shared object file: No such file or 
directory

It is coherent because I have libmjpegutils v1:2.0.0+debian-2 installed that 
gives libmjpegutils-2.0.so.0

Installing libmjpegutils v1:2.1.0+debian-1 from sid solves the problem but 
isn't there some mess here ? I mean why the lib has changed its name without 
the package changing it name or maybe you may add a dependency libmjpegutils 
(=2.1). 

All the best,
Pierre B.

-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 3.10-3-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages lives depends on:
ii  frei0r-plugins1.1.22git20091109-1.2
ii  imagemagick   8:6.7.7.10-6
ii  libasound21.0.27.2-1
ii  libatk1.0-0   2.10.0-2
ii  libavc1394-0  0.5.4-2
ii  libavcodec54  6:9.8-2+b1
ii  libavformat54 6:9.8-2+b1
ii  libavutil52   6:9.8-2+b1
ii  libc6 2.17-93
ii  libcairo-gobject2 1.12.16-2
ii  libcairo2 1.12.16-2
ii  libdv41.0.0-6
ii  libgcc1   1:4.8.1-10
ii  libgdk-pixbuf2.0-02.28.2-1
ii  libgl1-mesa-glx [libgl1]  9.1.6-2+b1
ii  libglee0d15.4.0-2
ii  libglib2.0-0  2.36.4-1
ii  libglu1-mesa [libglu1]9.0.0-2
ii  libgtk-3-03.8.4-1
ii  libjack-jackd2-0 [libjack-0.116]  1.9.9.5+20130622git7de15e7a-1
ii  libmjpegutils-2.0-0   1:2.0.0+debian-2
ii  libogg0   1.3.1-1
ii  liboil0.3 0.3.17-2
ii  libpango-1.0-01.32.5-5+b1
ii  libpangocairo-1.0-0   1.32.5-5+b1
ii  libpng12-01.2.49-4
ii  libpulse0 4.0-6+b1
ii  libraw1394-11 2.1.0-1
ii  libsdl1.2debian   1.2.15-7
ii  libstdc++64.8.1-10
ii  libswscale2   6:9.8-2+b1
ii  libtheora01.1.1+dfsg.1-3.1
ii  libunicap20.9.12-2
ii  libweed0  2.0.6~ds0-1
ii  libx11-6  2:1.6.1-1
ii  libxrender1   1:0.9.8-1
ii  lives-data2.0.5~ds0-1
ii  mplayer   2:1.0~rc4.dfsg1+svn34540-1+b2
ii  ogmtools  1:1.5-3+b1
ii  perl  5.18.1-4
ii  procps1:3.3.4-2
ii  python2.7.5-5
ii  sox   14.4.1-3
ii  zlib1g1:1.2.8.dfsg-1

Versions of packages lives recommends:
ii  dvgrab 3.5-2
ii  icedax 9:1.1.11-2
ii  libtheora-bin  1.1.1+dfsg.1-3.1
ii  mencoder   2:1.0~rc4.dfsg1+svn34540-1+b2
ii  mkvtoolnix 6.4.1-1
ii  pulseaudio 4.0-6+b1
ii  x11-utils  7.7+1
pn  youtube-dl none

Versions of packages lives suggests:
pn  ffmpeg  none
pn  libdv-bin   none
pn  mjpegtools  none

-- no debconf information


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

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

[Pierre Boutillier]

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 ! 
shout2send ip=icecast.server port=8000 password=secret mount=/test.webm

still answers

WARNING: erroneous pipeline: could not link webmmux0 to shout2send0

Now that libshout 2.3.1 is in sid (and testing), is it possible to ask for a 
rebuild of gstreamer1.0-plugins-good in order to allow such pipelines ?

All the best,
Pierre B.

-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: powerpc (ppc)

Kernel: Linux 3.9-1-powerpc
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gstreamer1.0-plugins-good depends on:
ii  gstreamer1.0-plugins-base   1.0.7-1
ii  libaa1  1.4p5-40
ii  libavc1394-00.5.4-2
ii  libbz2-1.0  1.0.6-4
ii  libc6   2.17-7
ii  libcaca00.99.beta18-1
ii  libdv4  1.0.0-6
ii  libflac81.3.0-1
ii  libgcc1 1:4.8.1-2
ii  libgdk-pixbuf2.0-0  2.28.2-1
ii  libglib2.0-02.36.1-2build1
ii  libgstreamer-plugins-base1.0-0  1.0.7-1
ii  libgstreamer1.0-0   1.0.7-1
ii  libiec61883-0   1.2.0-0.1
ii  libjack0 [libjack-0.116]1:0.121.3+20120418git75e3e20b-2.1
ii  libjpeg88d-1
ii  liborc-0.4-01:0.4.17-2
ii  libpng12-0  1.2.49-4
ii  libraw1394-11   2.1.0-1
ii  libshout3   2.3.1-3
ii  libsoup-gnome2.4-1  2.42.2-6
ii  libsoup2.4-12.42.2-6
ii  libspeex1   1.2~rc1-7
ii  libstdc++6  4.8.1-2
ii  libtag1c2a  1.8-2
ii  libv4l-00.8.9-3
ii  libvpx1 1.2.0-2
ii  libwavpack1 4.60.1-3
ii  libx11-62:1.6.0-1
ii  libxdamage1 1:1.1.4-1
ii  libxext62:1.3.1-2+deb7u1
ii  libxfixes3  1:5.0-4+deb7u1
ii  libxv1  2:1.0.7-1+deb7u1
ii  zlib1g  1:1.2.8.dfsg-1

Versions of packages gstreamer1.0-plugins-good recommends:
ii  gstreamer1.0-x  1.0.7-1

gstreamer1.0-plugins-good suggests no packages.

-- no debconf information


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

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

[Pierre Boutillier]

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/temppp# lb config -a i386 --verbose
[2012-09-01 15:32:49] lb config -a i386 --verbose
P: Considering defaults defined in /etc/live/build.conf
P: Creating config tree for a debian/i386 system
root@coutosuisse:/home/pirbo/temppp# lb build --verbose
[2012-09-01 15:32:58] lb build --verbose
[2012-09-01 15:32:58] lb bootstrap --verbose
P: Setting up cleanup function
[2012-09-01 15:32:59] lb bootstrap_cache restore --verbose
W: skipping /usr/lib/live/build/bootstrap_cache, foreign architecture(s).
[2012-09-01 15:32:59] lb bootstrap_copy --verbose
[2012-09-01 15:32:59] lb bootstrap_cdebootstrap --verbose
[2012-09-01 15:32:59] lb bootstrap_debootstrap --verbose
W: skipping /usr/lib/live/build/bootstrap_debootstrap, foreign architecture(s).
[2012-09-01 15:33:00] lb bootstrap_cache save --verbose
W: skipping /usr/lib/live/build/bootstrap_cache, foreign architecture(s).
P: Begin unmounting filesystems...
P: Saving caches...
chroot: impossible de changer le répertoire racine vers chroot: Aucun fichier 
ou dossier de ce type
[2012-09-01 15:33:00] lb chroot --verbose
P: Setting up cleanup function
[2012-09-01 15:33:00] lb chroot_cache restore --verbose
[2012-09-01 15:33:00] lb chroot_devpts install --verbose
[2012-09-01 15:33:00] lb testroot 
P: Begin mounting /dev/pts...
[2012-09-01 15:33:01] lb chroot_proc install --verbose
[2012-09-01 15:33:01] lb testroot 
P: Begin mounting /proc...
[2012-09-01 15:33:02] lb chroot_selinuxfs install --verbose
[2012-09-01 15:33:02] lb testroot 
[2012-09-01 15:33:02] lb chroot_sysfs install --verbose
[2012-09-01 15:33:02] lb testroot 
P: Begin mounting /sys...
[2012-09-01 15:33:03] lb chroot_debianchroot install --verbose
P: Configuring file /etc/debian_chroot
/usr/lib/live/build/chroot_debianchroot: 50: 
/usr/lib/live/build/chroot_debianchroot: cannot create 
chroot/etc/debian_chroot: Directory nonexistent
P: Begin unmounting filesystems...
P: Saving caches...
chroot: failed to run command `/usr/bin/env': No such file or directory
--8-

I've tried using ~a51 and ~a58 versions and with debootstrap and cdebootstrap.

-- Package-specific info:

-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: powerpc (ppc)

Kernel: Linux 3.2.0-3-powerpc
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages live-build depends on:
ii  cdebootstrap  0.5.9
ii  debootstrap   1.0.42

Versions of packages live-build recommends:
ii  cpio2.11-8
ii  gnu-fdisk   1.2.4-3.1
ii  live-boot-doc   3.0~a35-1
ii  live-config-doc 3.0~a43-1
ii  live-manual-html [live-manual]  1:3.0~a13-1

Versions of packages live-build suggests:
ii  dosfstools  3.0.13-1
ii  fakeroot1.18.4-2
ii  genisoimage 9:1.1.11-2
ii  git 1:1.7.10.4-1
pn  memtest86+ | memtest86  none
ii  mtools  4.0.17-1
pn  parted  none
pn  squashfs-tools | mtd-tools  none
ii  sudo1.8.5p2-1
pn  syslinux | grub none
pn  uuid-runtimenone
pn  win32-loadernone

-- no debconf information


--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

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

[Pierre Boutillier]

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 META file says it is 2.14.0.

Upstream proposes now a much more complete META file that fixes several issues 
but
no new version with it has been released. Using this file is not completely
transparent because ocamlfind -pkg lablgtksourceview2.gtksourceview2 foo.ml 
has
to be transformed in ocamlfind -pkg lablgtk2.sourceview2 foo.ml.

I want to argue anyway in order to use this file because it will be consistent
with the future. Could we imagine that ?

All the best,
Pierre B.

-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages liblablgtksourceview2-ocaml depends on:
ii  libatk1.0-0  2.4.0-2
ii  libc62.13-32
ii  libcairo21.12.2-1
ii  libfontconfig1   2.9.0-3
ii  libfreetype6 2.4.9-1
ii  libgdk-pixbuf2.0-0   2.26.1-1
ii  libglib2.0-0 2.32.2-1
ii  libgtk2.0-0  2.24.10-1
ii  libgtksourceview2.0-02.10.4-1
ii  liblablgtk2-ocaml [liblablgtk2-ocaml-yfv67]  2.14.2+dfsg-2+b1
ii  libpango1.0-01.30.0-1
ii  ocaml-base-nox [ocaml-base-nox-3.12.1]   3.12.1-2

liblablgtksourceview2-ocaml recommends no packages.

liblablgtksourceview2-ocaml suggests no packages.

-- no debconf information



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

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

[Pierre Boutillier]

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 load tuareg version of camldebug and not the 
ocaml-mode one.

I do not know how wrong this fix is but having a correct fix would be great ;-)

All the best,
Pierre

-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages tuareg-mode depends on:
ii  emacs [emacsen]23.4+1-2
ii  emacs23 [emacsen]  23.4+1-2

Versions of packages tuareg-mode recommends:
ii  ocaml-interp  3.12.1-2
ii  ocaml-mode3.12.1-2

tuareg-mode suggests no packages.

-- Configuration Files:
/etc/emacs/site-start.d/51tuareg-mode.el changed:
;;;
;; append-tuareg.el - Tuareg quick installation: Append this file to .emacs.
(add-to-list 'auto-mode-alist '(\\.ml\\w? . tuareg-mode))
(autoload 'tuareg-mode tuareg Major mode for editing Caml code t)
(autoload 'camldebug camldebug-tuareg Run the Caml debugger t)
(dolist (ext '(.cmo .cmx .cma .cmxa .cmi))
  (add-to-list 'completion-ignored-extensions ext))
(setq load-path
  (cons
   (concat /usr/share/ (symbol-name flavor) /site-lisp/tuareg-mode)
   load-path))


-- no debconf information



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#467563: camlp5 strict mode?

[Pierre Boutillier]

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 camlp5 is compiled and I believe to build
transitional _and_ strict camlp5 executables and libraries from
one source package will require quite a bit of work. The reason
is that the names of executables and libraries are hardcoded in
the makefiles and that these names are identical for strict and
transitional mode.

One way to work around this would be that the build target in
rules does:

 configure -strict
 make world.opt
 rename all executables and libraries

 make clean
 configure -transitional
 make world.opt


Everything would of course be much simpler, if one could build
the strict camlp5 binary package from a different source package,
say camlp5-strict, which of course shares the upstream sources
with the source package for transitional camlp5.

Bye,

Hendrik



--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/20301.21069.854276.618...@blau.inf.tu-dresden.de






--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#467563: camlp5 strict mode?

[Pierre Boutillier]

ssreflect and aactactics are OK

ulex does NOT depend anymore on camlp5 since v1.0:
CHANGES:
1.0
 * Update to the new Camlp4 and to ocamlbuild (release for OCaml  
3.10

   only), by Nicolas Pouillard.


geneweb has the same uptream author than camlp5 and works in strict.


Le 29 févr. 12 à 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 about ulex.

How about ssreflect?

Bye,

Hendrik



--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/20301.60853.135902.545...@blau.inf.tu-dresden.de






--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#641016: emacs-calfw: forbid xemacs21 removal

[Pierre Boutillier]

Package: emacs-calfw
Version: 1.2-1
Severity: normal

Hi,

removal of xemacs21 fails with the message :
remove/emacs-calfw: purging ...
rmdir: failed to delete /usr/share/xemacs21/site-lisp/emacs-calfw: No sush 
file or directory

It appears that in install/emacs-calfw, you've got a 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, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 3.0.0-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages emacs-calfw depends on:
ii  emacs23   23.3+1-1   The GNU Emacs editor (with GTK+ us

emacs-calfw recommends no packages.

Versions of packages emacs-calfw suggests:
pn  emacs-calfw-howm  none (no description available)
pn  org-mode  none (no description available)

-- no debconf information



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org