Le 04/07/2013 10:32, Lifeng Sun a écrit :
You say Fix csvtool installation. in changelog, but what I see is
usr/bin/csvtool in libcsv-ocaml-dev and usr/bin/csvtool.native in
csvtool. How is that right?
Only one of the them should be installed. And without extension.
Sorry, my fault. Fixed.
Le 06/07/2013 13:22, Stéphane Glondu a écrit :
Sorry, my fault. Fixed.
Uploaded.
It failed on all bytecode architectures, for an obvious reason...
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas
Le 06/07/2013 17:53, Lifeng Sun a écrit :
It failed on all bytecode architectures, for an obvious reason...
I pushed a fix few minutes ago, could you please upload it? Thanks.
Done.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of
Le 06/07/2013 19:17, Stéphane Glondu a écrit :
It failed on all bytecode architectures, for an obvious reason...
I pushed a fix few minutes ago, could you please upload it? Thanks.
It failed again...
I had a closer look. The package was built with
DESTDIR=$(CURDIR)/debian/libcsv-ocaml-dev
Le 11/06/2013 14:41, Hendrik Tews a écrit :
I forgot to note that the package is not lintian-clean:
I get ocaml-dangling-cmi twice for a cmi that was created with
ocamlc -pack. Naturally, there is no ml or mli file that could be
installed along the cmi. How should I handle this lintian tag?
Le 20/06/2013 13:31, Hendrik Tews a écrit :
I have now prepared mikmatch_1.0.6-2 which targets experimental
and compiles with OCaml 4.00.
Uploaded. I took the liberty to update the dependencies so that versions
from experimental are taken. I also updated the tag as well. I also had
to upload
Le 10/07/2013 13:34, Hendrik Tews a écrit :
I would still like to update sexplib to the newest version in a
package which targets experimental. Would that be OK? (see also [1])
Yes.
I updated mikmatch some time ago, version 1.0.6-1 for unstable
and OCaml 3.12 and version 1.0.6-2 for
Le 16/07/2013 10:47, Hendrik Tews a écrit :
I forgot about these dependency problems with experimental and
that some of these dependencies may have to be removed when the
package moves to unstable.
So maybe it is better then to update the package in the git
repository only, without
Le 08/05/2013 12:47, Stéphane Glondu a écrit :
During the freeze, a new major version of OCaml has been released. The
current version is 4.00.1 (already in experimental, the one in sid is
3.12.1). It breaks some packages, and many of those have been fixed
upstream meanwhile. It seems that most
Le 23/07/2013 17:41, Lifeng Sun a écrit :
I updated the sexplib310 package for experimental: new upstream release,
update debian/watch.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact
Hello,
The git repositories for these packages have been updated by you, but
I've seen no message on this mailing-list. Are these packages ready? I
am considering uploading them to experimental...
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
Le 24/07/2013 10:35, Lifeng Sun a écrit :
btw: could you please upload type-conv-109.28.00-1 to experimental? I'm
working on janest-core related packages, and would update/upload them
in a couple of weeks.
It is already in experimental. Did you mean something else?
Cheers,
--
Stéphane
--
Le 24/07/2013 08:26, Stéphane Glondu a écrit :
The git repositories for these packages have been updated by you, but
I've seen no message on this mailing-list. Are these packages ready? I
am considering uploading them to experimental...
Same question for extlib...
--
Stéphane
Package: wnpp
Severity: normal
Hello,
Currently, camomile has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
Package: wnpp
Severity: normal
Hello,
Currently, ocaml-http has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Stéphane Glondu glo...@debian.org
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
Dear Release Managers,
I would like to start the transition to OCaml 4.00.1 (released last
November) as soon as possible. It breaks some packages; most of them
have been fixed in
Le 19/11/2012 13:23, Iain Lane a écrit :
It would be good if ben had support for working with partial suites
(e.g. experimental). One could then stage transitions without having to
host a full repository.
I'm interested in this because we've started using a partial suite for
Ubuntu uploads
Le 19/08/2013 15:03, Johannes Schauer a écrit :
not quite sure why I was CC'ed but I do have some comments for Iain :)
I've put you in CC because my proposal will basicaly revert your patch
from #714703 and offer an alternative solution. Actually, I should have
put this bug in CC... done.
Le 03/09/2013 15:54, Dmitrijs Ledkovs a écrit :
ocaml-estrings has been accepted just now. So a build-dependencies on
libestring-ocaml-dev should be all that's needed here.
Do you want to take care of ocaml-sqlexpr? It is currently (i.e. in git)
without human maintainer...
Cheers,
--
Le 28/08/2013 20:41, Gabriel Kerneis a écrit :
I have worked on a new ocaml-cil package, from scratch. I am also the
new upstream for CIL and it has changed a lot since Stéphane first tried
to package it.
Thank you a lot for that!
My current version (ocaml-cil_1.7.3, not to be confused with
Le 30/08/2013 23:17, Hendrik Tews a écrit :
I made otags up-to-date. The updated package requires OCaml 4, it
must go to experimental.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact
severity 723061 wishlist
thanks
Le 16/09/2013 01:31, Bernat a écrit :
When purging this package it will remove /var/lib/mldonkey/incoming,
shared and temp directories even when they're not empty. A user purging
the package will loose all their files in these directories. I've set
serious
Le 16/08/2013 12:25, Hendrik Tews a écrit :
I packaged a new version of Hol Light. The package should go to
unstable, it builds there as well as with OCaml 4 from
experimental.
Uploaded.
Feel free to ping if some of your RFS looks forgotten.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email
Le 04/09/2013 07:48, Stéphane Glondu a écrit :
I have worked on a new ocaml-cil package, from scratch. I am also the
new upstream for CIL and it has changed a lot since Stéphane first tried
to package it.
Thank you a lot for that!
My current version (ocaml-cil_1.7.3, not to be confused
Le 24/10/2013 08:27, Niels Thykier a écrit :
Your package has out of date binaries on architectures were
ocaml-estring is unavailable (e.g. armhf), but it appears to have
built there in the past. This is a blocker for ocaml-sqlexpr
migrating to testing[1].
If ocaml-sqlexpr should no longer
Le 09/11/2013 10:32, Hendrik Tews a écrit :
Debian FTP Masters ftpmas...@ftp-master.debian.org writes:
Source: ocaml
Version: 4.01.0-1
does this mean we skip the 4.00 transition and transition
directly to 4.01, when the release team finally approves?
Yes.
Does this also mean that
Le 10/11/2013 14:55, Andreas Beckmann a écrit :
looking at the transition tracker pages, I sometimes would like to know
about the state of a transition in testing, not unstable.
E.g. when I filed 729214 I had no clue whether the openmpi1.6 packages
had started migrating to testing ...
Not
Le 10/11/2013 15:28, Andreas Beckmann a écrit :
looking at the transition tracker pages, I sometimes would like to know
about the state of a transition in testing, not unstable.
E.g. when I filed 729214 I had no clue whether the openmpi1.6 packages
had started migrating to testing ...
Not
OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Stéphane Glondu glo...@debian.org
Description:
libcalendar-ocaml - OCaml library providing operations over dates and times
libcalendar-ocaml-dev - OCaml library providing operations over dates and times
libcalendar-ocaml-doc - OCaml
Le 14/11/2013 07:41, Hendrik Tews a écrit :
a few days a ago I prepared a new version of hol-light, but it is
still sitting on my hard disk, because I cannot push to
git.debian.org:
wallace hol-light 5 ssh git.debian.org
ssh: connect to host git.debian.org port 22: No route to host
Le 21/11/2013 16:04, Hendrik Tews a écrit :
I pushed now to got.debian.org. The new hol-light version works
with the new camlp5 in experimental as well as with the version
in unstable. It should therefore be uploaded to unstable.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to
Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Stéphane Glondu glo...@debian.org
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic
retitle 718767 transition: ocaml 4.01.0
thanks
Le 05/08/2013 10:43, Stéphane Glondu a écrit :
I would like to start the transition to OCaml 4.00.1 (released last
November) as soon as possible. It breaks some packages; most of them
have been fixed in experimental. As usual, it involves a lot
Le 25/11/2013 20:50, Hendrik Tews a écrit :
I was looking into updating ounit to version 2.0. But our git
repository does only contain version 1.1.2-2. Some part from the
1.1.2-3~exp1 changes is missing.
Did anybody forget to push or was the -3~exp1 version prepared
without git?
It is in
Package: ben
Version: 0.6.6
Severity: normal
Le 09/02/2012 18:21, Niels Thykier a écrit :
While this post-processing of generated HTML files is kind of ugly, it
makes it easy to show which transitions might be entangled due to
collisions.
[...]
I am in favor of using this as a temporary
Le 28/11/2013 00:06, Gregory Bellier a écrit :
could you consider pushing the ocaml-mysql 1.1.2 into Debian so that
prepared statements can work with NULL values ?
Done.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of
Le 30/11/2013 19:54, Roland Stigge a écrit :
Aren't those registers also used by generated code?
The registers can't be used since they don't exist and the assembler
would show errors if someone would try to use them. Now (with my patch),
the assembler doesn't show errors anymore.
Does
clone 730830 -1
retitle -1 FTBFS with recent binutils-dev
severity -1 serious
thanks
Le 01/12/2013 11:09, Roland Stigge a écrit :
Aren't those registers also used by generated code?
The registers can't be used since they don't exist and the assembler
would show errors if someone would try to
Le 02/12/2013 13:54, Mehdi Dogguy a écrit :
I would like to start the transition to OCaml 4.00.1 (released last
November) as soon as possible. It breaks some packages; most of them
have been fixed in experimental. As usual, it involves a lot of binNMUs;
I will take care of those.
Now, I
Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Stéphane Glondu glo...@debian.org
Description:
libcalendar-ocaml - OCaml library providing operations over dates and times
libcalendar-ocaml-dev - OCaml library providing operations over dates and times
libcalendar-ocaml-doc - OCaml
Source: facile
Version: 1.1-8
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
facile FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
File fcl_data.ml, line 1:
Error: The implementation fcl_data.ml
does not match the interface fcl_data.cmi:
Le 03/12/2013 18:46, Ralf Treinen a écrit :
I see Stéphane uploading loads of packages. Is there anything we can do to
help? I could for instance upload some of the arch=all packages :
ocamlwc, ocamlweb, planets, polygen, bibtex2html
somewhen later this evening, but I am waiting for an OK
debian-ocaml-maint@lists.debian.org
Changed-By: Stéphane Glondu glo...@debian.org
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk
Source: dose3
Version: 3.1.3-5
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
dose3 FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
findlib: [WARNING] Interface common.cmi occurs in several directories:
doselibs, common
+ ocamlfind ocamlopt -c -w
Le 03/12/2013 23:03, Stéphane Glondu a écrit :
dose3 FTBFS when binNMUed against ocaml 4.01.0.
[...]
FTR, it fails only on native architectures.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas
Source: libllvm-3.3-ocaml-dev
Version: 1:3.3-13
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
libllvm-3.3-ocaml-dev installs *.cm* files (which are ABI-specific), but
does not depend on ocaml-nox-$ABI. It must.
You should use dh_ocaml for that (dh --with ocaml +
Le 30/11/2013 15:28, Stéphane Glondu a écrit :
* In pdfafmdata.ml, there is embedded data that is copyright Adobe with
no clear license. I could not find its origin.
After further investigation, I bumped into:
http://stackoverflow.com/questions/10866240/adobe-font-metrics-for-standard-pdf
Le 04/12/2013 20:46, Yann Dirson a écrit :
nss-passwords, which I only run occasionally, fails today with the
following message:
Fatal error: exception Main.NSS_decrypt_failed(base64 here, -5977, 0)
After trying several accounts on commandline, it looks like it
succeeds in finding the
Source: jocaml
Version: 3.12.1-1
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
jocaml needs to be updated to ocaml 4.01.0.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact
Source: ocamlduce
Version: 3.12.1.0
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
ocamlduce needs to be updated to ocaml 4.01.0.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact
Source: otags
Version: 3.12.5-2
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
otags needs to be updated to ocaml 4.01.0.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact
Source: ocamldap
Version: 2.1.8-8
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
ocamldap FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
ocamlfind ocamlc -package netstring,str,ssl -c -g ldap_protocol.mli
ocamlfind ocamlc -package netstring,str,ssl
Source: ocaml-data-notation
Version: 0.0.9-1
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
ocaml-data-notation FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
ocamlfind ocamlopt -shared -linkall src/odn.cmxa -o src/odn.cmxs
ocamlfind ocamldep
Le 05/12/2013 00:01, Yann Dirson a écrit :
I've got also the same Iceweasel version, and nss-passwords works on the
currently-in-use profile, if by that you mean used by a currently
running instance of Iceweasel.
That's what I meant.
Do you get the error no matter which password you
Le 04/12/2013 19:25, John Whitington a écrit :
To answer your earlier points (I forgot your email until now -- sorry):
a) It's hard to rely on an external miniz.c, because the configuration
happens in the miniz.c file itself, by changing macros at the top.
b) The change to camlzip is, in
Source: dose2
Version: 1.4.2-4
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
dose2 FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
/usr/bin/ocamlfind ocamlc -I ../io -package calendar -o lifetime.cmi -c
lifetime.mli
/usr/bin/ocamlfind ocamlc -I
Package: ftp.debian.org
Severity: normal
Control: block 718767 with -1
Hi,
obrowser has been made obsolete by js-of-ocaml, and is no longer
updated by upstream. It is now getting in the way of the OCaml
transition, so it's time to remove it from Debian.
Cheers,
--
Stéphane
--
To
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
Control: block 731528 with -1
* Package name: camldbm
Version : 1.0
Upstream Author : INRIA
* URL : https://forge.ocamlcore.org/projects/camldbm/
* License : LGPL
Programming Lang: C
Source: oasis
Version: 0.3.0-3
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
oasis FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
OUnit: Installed files (1st time)
expected: 'share/doc/html/with-c/type_A.html',
'share/doc/html/with-c/style.css',
Source: frama-c
Version: 20130601+fluorine3+dfsg-1
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
frama-c FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
The first one was selected. Please disambiguate if this is wrong.
ocamlc.opt -c -w +a-4-6-7-9
Le 08/12/2013 11:33, Debian FTP Masters a écrit :
dose2_1.4.2-6.dsc: Invalid size hash for dose2_1.4.2.orig.tar.gz:
According to the control file the size hash should be 123812,
but dose2_1.4.2.orig.tar.gz has 122861.
If you did not include dose2_1.4.2.orig.tar.gz in you upload, a different
Le 08/12/2013 00:23, Thorsten Glaser a écrit :
fail
List of failed tests:
tests/basic/equality.ml
This is strange.
tests/lib-threads/test4.ml
Threads tend to be broken on exotic architectures, so I am less
surprised there.
Can you send the $foo.result file associated to each
Le 08/12/2013 11:58, Pascal Cuoq a écrit :
Note that a patch to Frama-C Fluorine3 20130601 to make it compile with
OCaml 4.01 is available
from
https://github.com/vprevosto/opam-repository/blob/master/packages/frama-c.20130601/files/4.01-compat.patch
Great, thanks for the pointer.
Cheers,
Source: ocaml-sqlexpr
Version: 0.4.1-2
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
ocaml-sqlexpr FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
ocamlfind ocamldoc -dump sqlexpr_sqlite.odoc -package unix -package threads
-package sqlite3 -package
Source: opam
Version: 1.1.0-1
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
opam FTBFS when binNMUed against ocaml 4.01.0.
From the armhf build log:
/usr/bin/ocamlopt unix.cmxa -I /usr/lib/ocaml/ocamlbuild
/usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml
Source: matita
Version: 0.99.1-2
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
opam FTBFS when binNMUed against ocaml 4.01.0.
From the armhf build log:
--with-dbhost=FAKE_HOST
checking for ocamlc... yes
checking for ocamlopt... yes
checking for
Source: ocaml-reins
Version: 0.1a-4
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
ocaml-reins FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
--- Checking for ocamlopt... (found /usr/bin/ocamlopt)
--- Checking whether ocamlc understands the z
Source: ocamlrss
Version: 2.2.1-1
Severity: serious
Tags: jessie sid
Hi,
ocamlrss FTBFS on bytecode architectures.
From the ia64 build log:
make[1]: Entering directory `/«PKGBUILDDIR»'
/usr/bin/make byte doc
make[2]: Entering directory `/«PKGBUILDDIR»'
ocamlfind ocamlc -package
reassign 731701 libdose3-ocaml-dev 3.1.3-6
retitle 731701 dose3 compiled without zip nor bz2 support
affects 731701 src:opam
thanks
Le 08/12/2013 17:14, Stéphane Glondu a écrit :
opam FTBFS when binNMUed against ocaml 4.01.0.
[...]
ocamlfind: Package `zip' not found - required by `dose3.common
tags 731701 + confirmed upstream
thanks
Le 09/12/2013 11:12, Stéphane Glondu a écrit :
Looking at dose3, zip and bz2 are actually optional, and dose3 was
compiled without. I guess this is a mistake.
Indeed, the file common/input.ml (which is the only one using bz2 and
zip) is compiled with two
tags 731584 + pending patch
thanks
Le 07/12/2013 08:26, Stéphane Glondu a écrit :
sks FTBFS when binNMUed against ocaml 4.01.0.
[...]
I've just uploaded to DELAYED/3 the attached NMU.
Cheers,
--
Stéphane
From 989962d5ba3a6f8529caf905402d9270761b77dd Mon Sep 17 00:00:00 2001
From: Stephane
Source: janest-core
Version: 107.01-5
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
janest-core FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
ocamlfind ocamldep -package unix -package threads -package sexplib.syntax
-package sexplib -package res
Source: cduce
Version: 0.5.5-1
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
cduce FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
dh_clean
debian/rules build-arch
dh --with ocaml build-arch
dh_testdir -a
dh_ocamlinit -a
debian/rules
Source: cameleon
Version: 1.9.21-2
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
cameleon FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
### checking required tools and libraries ###
checking for Xml-light (byte) with ocamlfind... yes
checking for
Le 12/12/2013 02:35, ygrek a écrit :
$ dak ls ocaml -s testing
ocaml | 4.01.0-3 |testing | source, amd64, armel, armhf,
i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390x,
sparc
I had to remove some packages from testing along the way to make this
Le 11/12/2013 23:50, Eric Cooper a écrit :
I had to remove some packages from testing along the way to make this
possible (and not delay the transition further) though:
[...]
- approx
I have a new version of approx waiting to upload, but my DM upload
privileges haven't taken effect yet.
Control: reopen -1
Le 17/12/2013 08:21, Debian Bug Tracking System a écrit :
Your message dated Tue, 17 Dec 2013 07:19:55 +
with message-id e1vsowd-0003wf...@franck.debian.org
and subject line Bug#731732: fixed in ocamlrss 2.2.1-2
has caused the Debian Bug report #731732,
regarding
Le 17/12/2013 18:15, Prach Pongpanich a écrit :
You can simulate a bytecode architecture (weakly) by removing the
following files (you are strongly advised to use a chroot):
/usr/bin/ocaml*opt*
/usr/lib/ocaml/*.cmx*
Thanks for the correct way for simulation.
I updated it again, please
Le 22/12/2013 10:59, Niels Thykier a écrit :
In particular, it seems to be very slow for ben files containing a lot
of OR relations; even if these are exact package names (see attached
file).
Did you try:
.depends ~ foo|bar
instead of:
.depends ~ foo | .depends ~ bar
?
Cheers,
--
Le 22/12/2013 13:03, Niels Thykier a écrit :
In particular, it seems to be very slow for ben files containing a lot
of OR relations; even if these are exact package names (see attached
file).
Did you try:
.depends ~ foo|bar
instead of:
.depends ~ foo | .depends ~ bar
Sorry, I
Package: wnpp
Severity: normal
Hello,
Currently, apron has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: libdbus-ocaml-dev
Version: 0.29-1
Severity: serious
Le 09/01/2014 22:19, Gregory Bellier a écrit :
1/ Missing dependency
I noticed that there is a missing dependency of libdbus-ocaml-dev (v.
0.29) on libdbus-1-dev on debian 7. Otherwise during a build, there is a
linking problem:
Control: owner -1 !
Le 18/01/2014 14:15, Johannes Schauer a écrit :
I am looking for sponsors for ocp-indent which I packaged and uploaded it
here:
dget -u https://mister-muffin.de/ocp-indent/ocp-indent_1.4.1-1.dsc
I'm sorry that it's not on mentors.debian.net but after an initial upload
Le 18/01/2014 15:32, Stéphane Glondu a écrit :
Control: owner -1 !
Sorry, this was an error. I thought it was an RFS bug. I restored your
ownership.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas
Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Stéphane Glondu glo...@debian.org
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk
Control: tags -1 + moreinfo
Le 12/10/2012 19:44, Ryan Kavanagh a écrit :
All of the links (well, the dozen or so I've tried to follow, excluding
the alphabetical ones at the very top) in
/usr/share/doc/libssreflect-coq/html/index.html are broken.
Is that still true? I just tried with
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
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: optcomp
Version : 1.5
Upstream Author : Jérémie Dimino
* URL : https://github.com/diml/optcomp
* License : BSD
Programming Lang: OCaml
Description : syntax
Package: coinst
Version: 1.9.1-1
Severity: wishlist
Hi,
comigrate uses ftp.debian.org, which is not optimal in some parts of
the world. Please use http.debian.net or, better, allow changing it in
configuration.
Cheers,
--
Stéphane
-- System Information:
Debian Release: jessie/sid
APT
Le 28/01/2014 09:45, Ralf Treinen a écrit :
Package: coinst
comigrate uses ftp.debian.org, which is not optimal in some parts of
Do you mean comigrate or coinst ? -Ralf.
comigrate --update
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a
Le 30/01/2014 13:23, Thorsten Alteholz a écrit :
your binary package optcomp depends on liboptcomp-ocaml-dev.
Can you please tell me where I can find this package?
Oh, this is a typo. It should be liboptcomp-camlp4-dev, which is built
by the same source package.
Cheers,
--
Stéphane
--
To
Le 09/12/2013 04:42, ygrek a écrit :
FTR, here is the patch used in OPAM :
https://github.com/ocaml/opam-repository/blob/master/packages/reins/reins.0.1a/files/fix_build.patch
Thanks for the pointer. I'll import the relevant parts to Debian.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE,
Le 30/01/2014 17:00, Thorsten Alteholz a écrit :
According to maintainer: wrong dependency of binary package
===
Please feel free to respond to this email if you don't understand why
your files were rejected, or if you upload new files which address our
concerns.
I've just uploaded a
Control: tags 731398 + pending
Le 31/01/2014 16:26, Andreas Moog a écrit :
please find attached a patch from upstream that fixes the build against
ocaml 4.01. Since I'm not a DD, I can't upload myself.
Thanks for that. I've applied it in git... but do you know if upstream
is planning to make a
Le 06/01/2014 16:24, Moritz Muehlenhoff a écrit :
Le 05/03/2013 16:35, Niels Thykier a écrit :
Does ELF binaries produced by pure Ocaml have any distinct feature
that can be used to tell them apart from any other ELF binary?
ELF binaries produced by the OCaml compiler always include a bit of
Le 10/02/2014 21:21, Chimrod a écrit :
Package: omake
Version: 0.9.8.5-3-9
[...]
Since the last update I can't compile anymore with omake.
Running omake in one existing project cause the following message :
$ omake
*** omake: reading OMakefiles
*** omake error:
File
Le 06/03/2014 15:50, Johannes Schauer a écrit :
Maybe it would help to have Lintian warn about these things?
I'm currently working on making Lintian support build profiles so maybe when
I'm done with that I could integrate some ocaml checks which would've avoided
me making the mistakes I
Le 06/03/2014 17:37, Johannes Schauer a écrit :
Should you not see any other problems with the packaging then I'm ready to get
sponsored :)
It's fine, I've just uploaded it.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of
Le 11/03/2014 05:53, ygrek a écrit :
FTR, here is the patch used in OPAM :
https://github.com/ocaml/opam-repository/blob/master/packages/reins/reins.0.1a/files/fix_build.patch
Thanks for the pointer. I'll import the relevant parts to Debian.
Please note that patch was updated recently
701 - 800 of 2172 matches
Mail list logo
