Re: Status of cudf

2020-10-08 Thread Stefano Zacchiroli
0.9 is the most recent version (and it will be for a while...). I honestly don't remember why I initially uploaded 0.8 to experimental. I think 0.9 should be uploaded to unstable at this point. Hope this helps, Cheers -- Stefano Zacchiroli . z...@upsilon.cc . upsilon.cc/zack . . o . . . o . o C

Bug#772875: apt-cudf: Trigger cycle causes dpkg to fail processing

2014-12-12 Thread Stefano Zacchiroli
for the activating packages, which I cannot tell here. Otherwise a fix might unfortunatly be more involved. Just for the sake of exploring all options, would demote the above Depends to a Recommends also fix the problem? Cheers. -- Stefano Zacchiroli . . . . . . . z...@upsilon.cc . . . . o . . . o . o Maître

Bug#772968: unblock: dose3/3.3~beta1-3

2014-12-12 Thread Stefano Zacchiroli
dose3-3.3~beta1/debian/changelog --- dose3-3.3~beta1/debian/changelog2014-10-21 20:53:10.0 +0200 +++ dose3-3.3~beta1/debian/changelog2014-12-12 16:41:11.0 +0100 @@ -1,3 +1,16 @@ +dose3 (3.3~beta1-3) unstable; urgency=medium + + [ Stefano Zacchiroli ] + * demote trigger on /usr

Bug#718317: apt-cudf: doesn't include any source preference in the Request stanza

2014-07-28 Thread Stefano Zacchiroli
-panel in testing, and an apt-candidate set to true for the same package. Also, why doesn't apt's EDSP specify a Preamble stanza with Suite defined as suggested here: http://mancoosi.org/cudf/primer/ ? Because EDSP != CUDF Cheers. -- Stefano Zacchiroli . . . . . . . z...@upsilon.cc

Re: Bug#686731: edos-distcheck: Stopped to work

2012-09-05 Thread Stefano Zacchiroli
after them :-) Cheers. -- Stefano Zacchiroli . . . . . . . z...@upsilon.cc . . . . o . . . o . o Maître de conférences . . . . . http://upsilon.cc/zack . . . o . . . o o Debian Project Leader . . . . . . @zack on identi.ca . . o o o . . . o . « the first rule of tautology club is the first rule

Bug#644757: O: ocaml-book -- English book: Developing applications with Objective Caml

2011-10-08 Thread Stefano Zacchiroli
Package: wnpp Severity: normal I've just orphaned ocaml-book (shipping binary packages ocaml-book-{en,fr}). In the last upload I've cleaned up the package and brought it up to recent packaging practices, as well as acknowledged a recent NMU (thanks Jakub Wilk!). Maintenance cost of the package

[miham...@bbs.mg: [Caml-list] Ocaml Debian team (Was: Best platform for Ocsigen 1.91)]

2011-06-16 Thread Stefano Zacchiroli
://caml.inria.fr/bin/caml-bugs - End forwarded message - -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Quando anche i santi ti voltano le spalle, | . |. I've fans everywhere ti resta

Bug#627791: outdated version (3.11) with respect to ocaml version (3.12)

2011-05-24 Thread Stefano Zacchiroli
Package: ocaml-doc Version: 3.11-1 Severity: important As per subject: ocaml-doc should be updated to contain the ocaml documentation corresponding to the compiler version in unstable. Cheers. -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500,

build-dep-graph and ocaml-debian-status disabled

2011-02-16 Thread Stefano Zacchiroli
attention -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Quando anche i santi ti voltano le spalle, | . |. I've fans everywhere ti resta John Fante -- V. Capossela ...| ..: |.. -- C. Adams

Bug#603939: libbz2-ocaml-dev: missing dependency to libbz2-dev

2010-11-18 Thread Stefano Zacchiroli
much time to take care of it in the next weeks. If you really can't have a look, please ask on d-o-m or let me know. I would also appreciate if you could take the chance of this upload to remove me from Uploaders. Many thanks in advance! Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science

Re: overhaul of the debian ocaml policy

2010-08-25 Thread Stefano Zacchiroli
way around. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Quando anche i santi ti voltano le spalle, | . |. I've fans everywhere ti resta John Fante -- V. Caposella

Re: overhaul of the debian ocaml policy

2010-08-19 Thread Stefano Zacchiroli
blessed with specific support in some legacy utils). Just my debian-ocaml-maint-nostalgic 0.02€, Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Quando anche i santi ti voltano le spalle

dh-ocaml-like checksum-based dependency adoption for Haskell?

2010-06-15 Thread Stefano Zacchiroli
://upsilon.cc/~zack/research/publications/jfla10-dh-ocaml.pdf -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino

Re: [r...@alioth.debian.org: Cron zack@alioth (cd $HOME/build-dep-graph? svn up ; make install) /dev/null]

2010-05-19 Thread Stefano Zacchiroli
On Wed, May 19, 2010 at 09:28:49PM +, Sylvain Le Gall wrote: I have re-enabled the script in my account... Thanks! (and nice bug :)) -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un

[r...@alioth.debian.org: Cron z...@alioth (cd $HOME/build-dep-graph? svn up ; make install) /dev/null]

2010-05-04 Thread Stefano Zacchiroli
To: z...@alioth.debian.org Subject: Cron z...@alioth (cd $HOME/build-dep-graph svn up ; make install) /dev/null Stack overflow during evaluation (looping recursion?). make: *** [build_order.txt] Error 2 - End forwarded message - -- Stefano Zacchiroli -o- PhD in Computer

reducing my d-o-m involvement: new admins proposal

2010-04-22 Thread Stefano Zacchiroli
-o-m in recent times anyhow, and I think they all deserve to be recognized as such. Unless people objects, I'll add them as admin and change the wiki page of the team accordingly. So long, and thanks for all the camels! Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ

Re: regime change

2010-04-17 Thread Stefano Zacchiroli
On Fri, Apr 16, 2010 at 04:08:54PM -0400, Eric Cooper wrote: I'm looking forward to our new DPL making ocaml Essential and perl Optional :-) Ssssh, the plan is to rewrite eglibc in OCaml, but it's secret! :) Congratulations to Zack. Thanks guys! -- Stefano Zacchiroli -o- PhD

Bug#576549: galax: Context items are not resolved properly

2010-04-06 Thread Stefano Zacchiroli
/?func=detailaid=2982643group_id=274294atid=1165629 You might want to follow the issue there too, Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne

Bug#576549: galax: Context items are not resolved properly

2010-04-06 Thread Stefano Zacchiroli
at https://sourceforge.net/tracker/?func=detailatid=1165629aid=2982649group_id=274294 too. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en

[pietro.ab...@pps.jussieu.fr: Bug#575500: ITP: libminisat2-ocaml -- Ocaml bindings for minisat2]

2010-03-26 Thread Stefano Zacchiroli
...@lists.debian.org Archive: http://lists.debian.org/20100326112608.17817.65609.report...@dev.localnet.xen - End forwarded message - -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande

Bug#574380: edos-distcheck: Wrong output for | alternative?

2010-03-24 Thread Stefano Zacchiroli
tags 574380 + patch thanks On Fri, Mar 19, 2010 at 09:58:44AM +0100, Stefano Zacchiroli wrote: Dropping a build-dependency on a build-essential package is of course only correct when - and if it occurs as element of a conjunction, not as element of a disjunction: true and x

Bug#574721: edos-distcheck: Wrong output for | alternative?

2010-03-24 Thread Stefano Zacchiroli
to the other I sent. Cheers. PS I've tested add-sources.py with a hand-written /etc/edos-builddebcheck.conf, but not get-buildessentials (still on a train, sorry) -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http

Bug#574380: edos-distcheck: Wrong output for | alternative?

2010-03-19 Thread Stefano Zacchiroli
. It looks like it will fix _this_ specific case, but can of course fail in other/weirded cases. Thoughts? Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è

Bug#574380: edos-distcheck: Wrong output for | alternative?

2010-03-18 Thread Stefano Zacchiroli
that in the first place? I don't currently remember the rationale of ignoring build-essential (were there cases where they are not installable, according to their deps?), so I'm a bit at loss here ... Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z

Re: Bits from the Release Team: What should go into squeeze?

2010-03-15 Thread Stefano Zacchiroli
of transitioning needs) to deserve notifying the release team about them? Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te

Re: Bits from the Release Team: What should go into squeeze?

2010-03-15 Thread Stefano Zacchiroli
. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que j'aime

Re: Bits from the Release Team: What should go into squeeze?

2010-03-15 Thread Stefano Zacchiroli
unblock requests afterward. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis

team uploads

2010-03-09 Thread Stefano Zacchiroli
.) Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que

Re: automatic mail notification of git pushes

2010-03-02 Thread Stefano Zacchiroli
On Tue, Mar 02, 2010 at 03:01:25PM +0100, Ralf Treinen wrote: I recently get these bounces. Probably due to the trei...@debian.(none) address. Any idea how this can be fixed ? I guess you miss something like that in ~/.gitconfig [user] name = Stefano Zacchiroli email = z

Bug#571574: why: dependency on ocaml-base-nox needed?

2010-02-26 Thread Stefano Zacchiroli
to induce a dependency on ocaml-base-nox (which brings in quite some extra space), we might consider splitting plugins into a separate why-plugins package. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc

Bug#571574: why: dependency on ocaml-base-nox needed?

2010-02-26 Thread Stefano Zacchiroli
as they are bogus. The other is giving to users the possibility of minimizing their installation (e.g. by splitting a separate -plugins package). Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc

Bug#570363: Can't specify a user name for the git.debian.org

2010-02-18 Thread Stefano Zacchiroli
-ocaml tools. If Goswin can't set the user with ssh config, maybe there's a bug elsewhere ... Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux

Re: Bug#569391: matita: FTBFS: /bin/sh: query: not found

2010-02-16 Thread Stefano Zacchiroli
On Mon, Feb 15, 2010 at 10:43:51PM +0100, Stéphane Glondu wrote: In fact, it's already fixed in Git [1], I just didn't have time to upload yet. If it can be uploaded right away, I'll do that tomorrow. Please do. Done. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc

Re: Bug#569391: matita: FTBFS: /bin/sh: query: not found

2010-02-15 Thread Stefano Zacchiroli
) libgdome2-ocaml-dev misses a dependency to ocaml-nox-$ABI In fact, it's already fixed in Git [1], I just didn't have time to upload yet. If it can be uploaded right away, I'll do that tomorrow. Cheers. [1] e8dcba8a2d0a15f15a3d2611bf3304cdb21625ef -- Stefano Zacchiroli -o- PhD in Computer

Re: Should we remove numerix?

2010-02-12 Thread Stefano Zacchiroli
On Thu, Feb 11, 2010 at 10:42:42PM +, Sylvain Le Gall wrote: I think we should ask for its removal, if nobody objects. ACK, please do. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro

Re: Care of your packages Was: Accepted dh-ocaml 0.4.1~bpo50+1 (source all)

2010-02-02 Thread Stefano Zacchiroli
something officially part of DD workflow. Cheers. [1] http://wiki.debian.org/Teams/OCamlTaskForce -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas

Re: OCaml cross-compiler.

2010-01-14 Thread Stefano Zacchiroli
can provide some additional testing? Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino

Bug#564958: edos-distcheck: should require a specific version of python-debian

2010-01-12 Thread Stefano Zacchiroli
-debian: Indeed, the dependency should be on: python-debian (= 0.1.11) Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie

Re: ocaml crosscompiler ?

2010-01-06 Thread Stefano Zacchiroli
. It is also very easy since it only involves a set of conf files if I remember well... It may be in a main mingw32-ocaml package, then... I'd prefer to have a different package so that we keep the ability of updating them independently. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science

Re: ocaml crosscompiler ?

2010-01-05 Thread Stefano Zacchiroli
that they come at a price (if only the need of multiplying the places that must be fixed upon security flaws). Once more, this kind of problems do not seem specific to OCaml though, what does the gcc-mingw32 people do for their libraries? Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science

Bug#563584: override: ocamlmakefile:ocaml/extra

2010-01-03 Thread Stefano Zacchiroli
of ^ocaml- (which I believe is part of the current regexp). TIA, Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno

Re: ocaml crosscompiler ?

2009-12-30 Thread Stefano Zacchiroli
that :) I don't see any problem in having the cross compiler itself, of course starting to have some related libraries cross-compiled it would be more cumbersome, but we aren't there yet. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc

Re: Comments regarding camljava_0.3-1_amd64.changes

2009-12-17 Thread Stefano Zacchiroli
that directly for future releases. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino

Re: Same META in different Debian packages.

2009-12-07 Thread Stefano Zacchiroli
... $ man 5 META and see the section about subpackages. We also have plenty of examples among Debian packages that use complex META files with sub-packages, the firsts that come to my mind are ocamlnet and pxp. Hope this helps, Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ

Re: lablgtk2 transition

2009-11-28 Thread Stefano Zacchiroli
On Sat, Nov 28, 2009 at 01:55:49PM +0100, Stéphane Glondu wrote: Any objection/approval? Fine by me. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne

Bug#545381: edos-builddebcheck: Always consider built-essential packages installable

2009-11-26 Thread Stefano Zacchiroli
-builddebcheck will return a false positive, the build will be attempted and will fail); this is probably the best approach if the statical impact of this corner case is low b) have edos-debcheck implements the same dependency ignore logics implemented by buildds Cheers. -- Stefano

Bug#545381: edos-builddebcheck: Always consider built-essential packages installable

2009-11-26 Thread Stefano Zacchiroli
?. Of course wanna-build will pass that flag to edos-builddebcheck. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre

Bug#557538: libbatteries-ocaml-dev: Can't compile : ocamlfind: Package `bin_prot.syntax' not found

2009-11-25 Thread Stefano Zacchiroli
to unstable. In the mean time, as a work around, you can install by hand libbin-prot-camlp4-dev to fix your compilation nuisances. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande

Re: Subscription to pkg-ocaml-maint project on Alioth

2009-11-24 Thread Stefano Zacchiroli
to be released (not 1.0.4, see #550377) and I made some enhancement on the package in my local Git repository. Could you please accept me ? Sorry, I must have missed your request. I've just approved your membership. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z

Re: licensing conditions for Core ocamldocs: currently non-free

2009-11-15 Thread Stefano Zacchiroli
really have anything to release for that at the moment. Understood, I fear this actually inhibits the code to go into the main Debian archive, but at least we can have a .deb package available somewhere now. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z

licensing conditions for Core ocamldocs: currently non-free

2009-11-12 Thread Stefano Zacchiroli
=node/74 -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que

Re: problems with git repo ?

2009-11-12 Thread Stefano Zacchiroli
), ... and comes with a manpage! Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis

Bug#555794: dh_ocamldoc: wrong regexp to detect ocamldoc flags

2009-11-11 Thread Stefano Zacchiroli
Package: dh-ocaml Version: 0.9.3 Severity: important File: /usr/bin/dh_ocamldoc The regexp to detect ocamldoc global flags looks like this: if $ocamldoc_flags_global =~ / -package | -predicates | -syntax | -ppopt /; The spaces around the various alternatives should not be there and inhibit

Bug#555814: race condition between ocaml.mk and debhelper.mk

2009-11-11 Thread Stefano Zacchiroli
Package: dh-ocaml Version: 0.9.3 Severity: normal File: /usr/share/cdbs/1/rules/ocaml.mk Currently, to use CDBS' classes ocaml.mk and debhelper.mk together, one should have ocaml.mk occurring before debhelper.mk in order to have some .debhelper.log files cleaned up properly upon clean.

Bug#555794: dh_ocamldoc: wrong regexp to detect ocamldoc flags

2009-11-11 Thread Stefano Zacchiroli
. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que j'aime

Bug#555794: dh_ocamldoc: wrong regexp to detect ocamldoc flags

2009-11-11 Thread Stefano Zacchiroli
On Wed, Nov 11, 2009 at 10:36:55PM +0100, Mehdi Dogguy wrote: I already fixed it in my local copy. I'll push soon. Thanks! -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo

Re: camllight en debian ?

2009-11-09 Thread Stefano Zacchiroli
(note: I say that without having checked the packaging quality of those unofficial packages). Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en

Bug#555197: ITP: fieldslib -- OCaml syntax extension that enables folding over record fields

2009-11-08 Thread Stefano Zacchiroli
Package: wnpp Severity: wishlist Owner: Stefano Zacchiroli z...@debian.org * Package name: fieldslib Version : 0.1.0 Upstream Author : Jane Street Holding, LLC * URL : http://ocaml.janestreet.com/?q=node/13 * License : LGPL (+ usual OCaml linking exception

Bug#500869: Misc packaging fixes

2009-11-01 Thread Stefano Zacchiroli
(which can either fail, or interpret is as the end of getopt arguments, I haven't checked which is the case). In that sense, I believe -u is safer too. BTW, thanks for getting back to this bug log, I had a look at it a couple of weeks ago, but ran out of time. Cheers. -- Stefano Zacchiroli -o

Re: dpkg-buildpackage OK, git-buildpackage not OK.

2009-10-28 Thread Stefano Zacchiroli
that with --git-ignore-new, but rather fix the build process so that that files are not removed during build (or, as you suggested, restore them upon clean). Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http

Re: New dependency system.

2009-10-15 Thread Stefano Zacchiroli
It might be similar to what happens with C++ symbol mangling, but with the additional burden of types. Storing a checksum looks way easier, the main difficult is extracting the stuff which needed to be checksummed during build. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science

Re: New dependency system.

2009-10-15 Thread Stefano Zacchiroli
would not remove the specific dependency on a given OCaml version. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie

Re: New dependency system.

2009-10-15 Thread Stefano Zacchiroli
not sure it is worth the effort though. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino

[...@sigxcpu.org: Re: Bug#550340: please ship git-merge-dch as a gbp helper]

2009-10-14 Thread Stefano Zacchiroli
Günther a...@sigxcpu.org To: Stefano Zacchiroli z...@debian.org, 550...@bugs.debian.org Subject: Re: Bug#550340: please ship git-merge-dch as a gbp helper On Fri, Oct 09, 2009 at 12:58:37PM +0200, Stefano Zacchiroli wrote: Package: git-buildpackage Version: 0.4.58 Severity: wishlist Hi Guido

Re: Lintian checks

2009-10-14 Thread Stefano Zacchiroli
in our objects, right? -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous

Re: Lintian checks

2009-10-14 Thread Stefano Zacchiroli
://pkg-ocaml-maint.alioth.debian.org/ocaml_packaging_policy.html/c305.html Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te

Re: Lintian checks

2009-10-14 Thread Stefano Zacchiroli
. To conclude: I'm for keeping the recommendation. For coherence it would be nice to actually enforce that recommendation, I think a lintian *warning* would be appropriate. For an error is probably too early, we should first make upstream more sensible to that. Cheers. -- Stefano Zacchiroli -o- PhD

Re: Lintian checks

2009-10-14 Thread Stefano Zacchiroli
On Wed, Oct 14, 2009 at 02:02:53PM -0400, Eric Cooper wrote: Regarding the rationale for the -g policy: This is the only way to get meaningful backtraces when library functions raise exceptions. Yep, absolutely, thanks for the reminder. -- Stefano Zacchiroli -o- PhD in Computer Science

Re: New dependency system.

2009-10-13 Thread Stefano Zacchiroli
is verified at runtime before loading the .so. I guess there is a technical reason for not having done that, but I can't find exactly which at the moment. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http

Re: New dependency system.

2009-10-13 Thread Stefano Zacchiroli
On Tue, Oct 13, 2009 at 03:23:58PM +0200, Stéphane Glondu wrote: Stefano Zacchiroli a écrit : [...] In practice however, dh_ocaml computes a single ABI checksum for all binary packages of a given source package and use that checksum for the Provides of all binary packages. So, even

Re: New dependency system.

2009-10-13 Thread Stefano Zacchiroli
On Tue, Oct 13, 2009 at 04:08:38PM +0200, Stéphane Glondu wrote: Stefano Zacchiroli a écrit : [...] it is not possible to have a (binary) package on which you don't have material on which compute a checksum. [...] I don't understand this sentence. Can you --verbose? Yes, sorry

Re: New dependency system.

2009-10-13 Thread Stefano Zacchiroli
, and that's exactly why (also *before* dh_ocaml) we were keeping versioned dependencies on the ABI of OCaml itself. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è

Re: New dependency system.

2009-10-12 Thread Stefano Zacchiroli
Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que

Re: New dependency system.

2009-10-12 Thread Stefano Zacchiroli
-ocaml-dev-ABI - libfoo-ocaml-ABI which is now automatically added? (see my other post in this thread for full context and example). Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un

Re: New dependency system.

2009-10-12 Thread Stefano Zacchiroli
their incompleteness for *in*-library dependency. All in all I'm fore dropping (= ${binary:Version}), what about the others? Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande

Bug#550378: dh-ocaml: class/ocaml.mk still documented in appendix-cdbs.xml

2009-10-10 Thread Stefano Zacchiroli
would be helpful. More generally, all the info about ${ocaml:Depends}, ${ocaml:Provides} should be documented in our packaging policy. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro

Bug#550420: FTBFS: /usr/share/cdbs/1/class/ocaml.mk: No such file or directory

2009-10-10 Thread Stefano Zacchiroli
will terribly help us in avoiding reporting bugs which have already been reported and, possibly, adding to them the info you have on the cause of the problem. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http

Bug#550324: cron.daily complains w/ ocsigen installed but never started

2009-10-09 Thread Stefano Zacchiroli
'cron.daily' on usha /etc/cron.daily/logrotate: error: error accessing /var/log/ocsigen: No such file or directory error: ocsigen:1 glob failed for /var/log/ocsigen/*.log error: found error in /var/log/ocsigen/*.log , skipping - End forwarded message - -- Stefano Zacchiroli -o- PhD

[patch] markup errors in galax's ocamldoc tags

2009-10-07 Thread Stefano Zacchiroli
of galax. Many thanks in advance. PS the galax website looks down and it has been in such a state for at least a month now, can you please have a look at it? -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc

Re: on the 30 FTBFS bugs - let's slow down a bit

2009-10-06 Thread Stefano Zacchiroli
or something such) should really be errors. I agree that at this stage they are very helpful, but I was wondering what should be the appropriate behavior in the future. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org

usertagging dh-ocaml related FTBFS

2009-10-06 Thread Stefano Zacchiroli
. Once the above commands have been processed by the BTS, the reports will be available at: http://bugs.debian.org/cgi-bin/pkgreport.cgi?users=debian-ocaml-ma...@lists.debian.org;tag=dh-ocaml-ftbfs Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z

Bug#549930: dh_ocamldoc regression wrt ocamldoc-api-ref-config: lacks generation of .doc-base file only

2009-10-06 Thread Stefano Zacchiroli
Package: dh-ocaml Version: 0.9.0 Severity: wishlist As per subject. For the sake of uniformity, it is nice to have the ability to generate .doc-base files even when API reference is already available (e.g. because upstream ships it). That was possible with ocamldoc-api-ref-config (option

Accepted calendar 2.01.1-6 (source all amd64)

2009-10-06 Thread Stefano Zacchiroli
Maintainers debian-ocaml-maint@lists.debian.org Changed-By: Stefano Zacchiroli z...@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

on the 30 FTBFS bugs - let's slow down a bit

2009-10-05 Thread Stefano Zacchiroli
, but I'm a prudent guy :-) Personally, I'll be able to fix in the next week / 10 days the packages I usually upload, hardly more than that or more quickly. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http

Re: lablgtk2 documentation...

2009-10-04 Thread Stefano Zacchiroli
mention below, which would allow to opt-out from installation of a package of a non-negligible size). Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et

Re: [Monotone-debian] Bug#527731: monotone-viz: diff for NMU version 1.0.1-1.1

2009-10-03 Thread Stefano Zacchiroli
remove the extra binding burden using the more precise function from lablgtk2. Until this is released and tested by upstream, I found my NMU is the best possible temporary solution. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc

monotone-viz should not be linked with -custom, violates OCaml packaging policy

2009-10-03 Thread Stefano Zacchiroli
applications, with all the related security issues when statically linked libraries need security upgrades). Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è

monotone-viz: diff for NMU version 1.0.1-1.1

2009-10-02 Thread Stefano Zacchiroli
. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que j'aime diff -u

Re: lablgtk2 documentation...

2009-10-01 Thread Stefano Zacchiroli
, the old lablgtk2-doc source package can go. If it must stay, I see little point in renaming its _source_ package name. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande

Bug#545381: edos-builddebcheck: Always consider built-essential packages installable

2009-09-28 Thread Stefano Zacchiroli
: we can have edos-builddebcheck query the dpkg database for installed packages (and their relationships, since they are not granted to be in sync with the APT database), or we can add an option pointing to a file which lists packages which are known to be forcibly installed. Cheers. -- Stefano

Bug#545381: edos-builddebcheck: Always consider built-essential packages installable

2009-09-28 Thread Stefano Zacchiroli
to change the list without changing edos-builddebcheck itself. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno

Bug#545381: edos-builddebcheck: Always consider built-essential packages installable

2009-09-28 Thread Stefano Zacchiroli
-essential packages (e.g. they are always installed using the same argument sbuild would use) or something such ... Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è

Re: [Caml-list] OC4MC : OCaml for Multicore architectures

2009-09-24 Thread Stefano Zacchiroli
is whether we are going to see OC4MC ported to baseline OCaml. If it is not going to be ported, I don't think we will want to support an old OCaml version just for OC4MC. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http

Re: Uploading dh-ocaml 0.9.0 (to unstable)...

2009-09-17 Thread Stefano Zacchiroli
with the migration. Please do whatever polishing you want to do by then. I'm fine with uploading and transitioning. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è

Re: NM Report for Week Ending 30 Aug 2009

2009-08-31 Thread Stefano Zacchiroli
=== The following applicants became new maintainers last week: Mehdi Dogguy dog...@pps.jussieu.fr Stephane Glondu st...@glondu.net ... to congratulate our ex-newbies :-) Welcome on board guys, please keep up the wonderful work you've done with us, we need it ;-) Cheers. -- Stefano Zacchiroli -o- PhD

Re: BD-Uninstallable performance.

2009-08-05 Thread Stefano Zacchiroli
-- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que j'aime

Re: BD-Uninstallable performance.

2009-08-04 Thread Stefano Zacchiroli
or not. The add-sources.py wrapper uses python-debian which only recommends python-apt. If the latter is not installed however, Sources parsing happens in pure python instead of using libapt-pkg. That can be a serious difference in performances ... Let me know. Cheers. -- Stefano Zacchiroli -o

Re: BD-Uninstallable performance.

2009-08-04 Thread Stefano Zacchiroli
. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org} -- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...| ..: | Je dis tu à tous ceux que j'aime

Bug#539610: wanna-build-integration-wishlist

2009-08-02 Thread Stefano Zacchiroli
of the source packages I’m interested in. Greetings, Joachim -- Joachim nomeata Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata - End forwarded message - -- Stefano Zacchiroli -o- PhD

Re: Bug#539199: edos-distcheck: significant regression in performances

2009-07-30 Thread Stefano Zacchiroli
for the work just done by Joachim to integrate it into wanna-build, where speed is an issue. Jaap (main upstream maintainer), any idea about where this might come from? Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 z...@{upsilon.cc,pps.jussieu.fr,debian.org

  1   2   3   4   5   6   7   8   9   10   >