Bug#880449: unison: Uncaught exception Failure("input_value: bad bigarray kind")

2017-11-01 Thread Stéphane Glondu
Control: tags -1 + wishlist wontfix Le 31/10/2017 à 18:43, Vincent Lefevre a écrit : >> Since the upgrade to 2.48.4-1, I get when synchronizing with >> a Debian/stable server: >> >> Unison failed: Uncaught exception Failure("input_value: bad bigarray kind") > [...] > >

Re: Bug#876533: hol-light FTBFS with OCaml 4.05.0

2017-11-06 Thread Stéphane Glondu
On 03/11/2017 17:43, Ximin Luo wrote: Hi Hendrik, any progress on this? I notice in the ocaml transition tracker: I really spend more than 4 weeks in discussions with upstream about license and copyright clarifications. Now it is finished. I uploaded a new hol-light version to DOM git

Re: Status of llvm-toolchain-3.8?

2017-11-06 Thread Stéphane Glondu
On 30/10/2017 10:39, Stéphane Glondu wrote: Is there any plans to fix llvm-toolchain-3.8? I wish we could removed it but it is far from ready (we were blocked by the ocaml transition but I dropped the ocaml support to mitigate that) I will try to fix that in the next few days. Sorry about

Bug#880449: unison: Uncaught exception Failure("input_value: bad bigarray kind")

2017-11-02 Thread Stéphane Glondu
Le 02/11/2017 à 01:30, Vincent Lefevre a écrit : >> This is a known issue, and not easy to fix. Upstream is not interested >> to make unison compatible with other versions of itself (or same version >> compiled with another version of OCaml): Unison is designed to work only >> with the same

Re: Status of llvm-toolchain-3.8?

2017-10-30 Thread Stéphane Glondu
On 20/10/2017 10:27, Sylvestre Ledru wrote: At the moment, llvm-toolchain-3.8 FTBFS with "gcc-7.2: Command not found" and this blocks the OCaml transition. I see there are already bugs open related to gcc-7 (#871011 and #853523), but these do not have recent activity. I also see that this

Bug#899189: nmu: unison_2.48.3-1

2018-05-20 Thread Stéphane Glondu
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: binnmu Hi, Currently, Unison in Stretch is compiled with OCaml 4.01.0 (at least on i386), while OCaml in Stretch is 4.02.3. This triggers a subtle interoperability bug more often than it should,

Re: stretch-backport of unison

2018-05-20 Thread Stéphane Glondu
Le 19/05/2018 à 18:08, Leopold Palomo-Avellaneda a écrit : > I'm having sync problems and crashes with unison of stretch. See: > > https://github.com/bcpierce00/unison/issues/94#issuecomment-390412441 I've just commented on this issue. > I think that all is referred to the same issue. Indeed.

Re: Unison rebuild

2018-05-25 Thread Stéphane Glondu
Le 23/05/2018 à 11:00, Leopold Palomo-Avellaneda a écrit : > in the mid time waiting for the NMU of unison I'm trying to rebuild the unison > package in a pbuilder stretch environment and I fails. > [...] Strange. I just tried with a fresh pbuilder environment and I observe no such failure. I

Re: Unison rebuild

2018-05-27 Thread Stéphane Glondu
Le 25/05/2018 à 18:26, Leopold Palomo-Avellaneda a écrit : > I'm saying that if you could generate the new binaries and you can send me, or > provide me in any way it's sufficient for me by now. During the time that > someone made a NMU. ANd I would thankful it. This is what I did (on a Debian

Status of llvm-toolchain-3.8?

2017-10-20 Thread Stéphane Glondu
Hello, At the moment, llvm-toolchain-3.8 FTBFS with "gcc-7.2: Command not found" and this blocks the OCaml transition. I see there are already bugs open related to gcc-7 (#871011 and #853523), but these do not have recent activity. I also see that this package has been requested to be

Bug#901823: ocaml-atd FTBFS on i386: tests failure

2018-06-21 Thread Stéphane Glondu
Le 18/06/2018 à 22:31, Adrian Bunk a écrit : > Source: ocaml-atd > Version: 1.12.0-1 > Severity: serious > > https://buildd.debian.org/status/fetch.php?pkg=ocaml-atd=i386=1.12.0-1=1527061667=0 > > ... >dh_auto_test -a > make -j4 check > make[1]: Entering directory '/<>' > jbuilder

Re: dune_1.0~beta20-1_amd64.changes is NEW

2018-04-18 Thread Stéphane Glondu
On 18/04/2018 09:53, Ralf Treinen wrote: binary:dune is NEW. binary:dune is NEW. source:dune is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was otherwise valid (it had a good OpenPGP signature and file hashes are

Re: dune_1.0~beta20-1_amd64.changes is NEW

2018-04-18 Thread Stéphane Glondu
On 15/04/2018 15:21, Debian FTP Masters wrote: binary:dune is NEW. binary:dune is NEW. source:dune is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was otherwise valid (it had a good OpenPGP signature and file hashes are

Bug#911159: please stop building the frama-c GUI

2018-10-18 Thread Stéphane Glondu
reopen 911159 thanks Le 17/10/2018 à 21:11, Ralf Treinen a écrit : >> Bug #885677 filed for lablgtk2 asks for the removal of that package. To >> prevent >> removing frama-c from the distro, please consider just building the base >> package, dropping the GUI package. Asking because creduce

Re: Bug#911854: build-rdeps: some (transitive) rdeps are missing

2018-10-29 Thread Stéphane Glondu
Le 27/10/2018 à 15:20, James McCoy a écrit : >> I think "creduce" should be in the output of "build-rdeps >> liblablgtksourceview2-ocaml-dev" because it build-depends on >> frama-c-base which is built by frama-c, which build-depends on >> liblablgtksourceview2-ocaml-dev. >> >> […] >> Versions of

[Git][ocaml-team/frama-c] Pushed new tag debian/20171101+sulfur+dfsg-2

2018-11-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/20171101+sulfur+dfsg-2 at Debian OCaml Maintainers / frama-c -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/tree/debian/20171101+sulfur+dfsg-2 You're receiving this email because of your account on salsa.debian.org.

Re: camomile / ocaml-gettext bootstrap?

2019-01-18 Thread Stéphane Glondu
Le 17/01/2019 à 18:40, Matthias Klose a écrit : > looking at > https://launchpadlibrarian.net/406613479/buildlog_ubuntu-disco-amd64.ocaml-gettext_0.3.7-1build5_BUILDING.txt.gz > > there seems to be a cyclic dependency for camomile / ocaml-gettext. Any idea > how > to resolve that? ocaml-gettext

[Git][ocaml-team/jbuilder] Pushed new tag debian/1.6.2-2

2019-01-18 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/1.6.2-2 at Debian OCaml Maintainers / jbuilder -- View it on GitLab: https://salsa.debian.org/ocaml-team/jbuilder/tree/debian/1.6.2-2 You're receiving this email because of your account on salsa.debian.org.

Bug#916468: Conflict over /usr/bin/dune

2018-12-18 Thread Stéphane Glondu
Hi, It has been brought to my attention that both packages "whitedune" and "dune" provide the binary "/usr/bin/dune" (#916468). The situation falls directly under section 10.1 of the Policy: https://www.debian.org/doc/debian-policy/ch-files.html#s-binaries > Two different packages must not

Re: Uploading new Coq

2018-12-25 Thread Stéphane Glondu
Le 25/12/2018 à 20:09, Ralf Treinen a écrit : >> I’m planning to do some work in the next couple of weeks to get a new >> Coq uploaded before the buster freeze. Does anybody have pending state >> on this, or should I just dive on in? > > it would certainly be great to have a recent version of coq

[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.0.0-2

2018-12-08 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/2.0.0-2 at Debian OCaml Maintainers / ocaml-atd -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-atd/tree/debian/2.0.0-2 You're receiving this email because of your account on salsa.debian.org.

Bug#901823: ocaml-atd FTBFS on i386: tests failure

2018-12-08 Thread Stéphane Glondu
Le 26/11/2018 à 09:12, Johannes Schauer a écrit : > what do we want to do about this bug? Even the new upstream release doesn't > yet > get rid of the Obj.magic. One easy thing to do is to disable the failing test. But it means some programs buggy on i386 (probably using atd-stuff with floats)

[Git][ocaml-team/jbuilder][master] 9 commits: Update debian/watch

2018-12-08 Thread Stéphane Glondu
Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / jbuilder Commits: 411726b5 by Stephane Glondu at 2018-12-08T11:53:29Z Update debian/watch - - - - - d59b1311 by Stephane Glondu at 2018-12-08T11:55:35Z New upstream version 1.6.2 - - - - - b739f398 by Stephane Glondu at 2018

[Git][ocaml-team/jbuilder] Pushed new tag debian/1.6.2-1

2018-12-08 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/1.6.2-1 at Debian OCaml Maintainers / jbuilder -- View it on GitLab: https://salsa.debian.org/ocaml-team/jbuilder/tree/debian/1.6.2-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/jbuilder] Pushed new tag upstream/1.6.2

2018-12-08 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/1.6.2 at Debian OCaml Maintainers / jbuilder -- View it on GitLab: https://salsa.debian.org/ocaml-team/jbuilder/tree/upstream/1.6.2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/jbuilder][upstream] New upstream version 1.6.2

2018-12-08 Thread Stéphane Glondu
Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / jbuilder Commits: d59b1311 by Stephane Glondu at 2018-12-08T11:55:35Z New upstream version 1.6.2 - - - - - 19 changed files: - CHANGES.md - + CONTRIBUTING.md - HACKING.md - LICENSE.md - + MIGRATION.md - + Makefile

[Git][ocaml-team/belenios][master] 5 commits: Update debian/watch

2019-01-10 Thread Stéphane Glondu
Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / belenios Commits: 5ba97938 by Stephane Glondu at 2019-01-10T10:16:06Z Update debian/watch - - - - - 5d593103 by Stephane Glondu at 2019-01-10T10:16:41Z New upstream version 1.7.1+dfsg - - - - - dce0dfa5 by Stephane Glondu

[Git][ocaml-team/belenios] Pushed new tag debian/1.7.1+dfsg-1

2019-01-10 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/1.7.1+dfsg-1 at Debian OCaml Maintainers / belenios -- View it on GitLab: https://salsa.debian.org/ocaml-team/belenios/tree/debian/1.7.1+dfsg-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/belenios] Pushed new tag upstream/1.7.1+dfsg

2019-01-10 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/1.7.1+dfsg at Debian OCaml Maintainers / belenios -- View it on GitLab: https://salsa.debian.org/ocaml-team/belenios/tree/upstream/1.7.1+dfsg You're receiving this email because of your account on salsa.debian.org.

Bug#916468: dune: /usr/bin/dune is already provided by the whitedune package

2019-01-07 Thread Stéphane Glondu
reassign 916468 whitedune 0.30.10-2.1 thanks Le 14/12/2018 à 20:24, Andreas Beckmann a écrit : > automatic installation tests of packages that share a file and at the > same time do not conflict by their package dependency relationships has > detected the following problem: > > Selecting

[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.0.0-3

2019-01-09 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/2.0.0-3 at Debian OCaml Maintainers / ocaml-atd -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-atd/tree/debian/2.0.0-3 You're receiving this email because of your account on salsa.debian.org.

Bug#920589: coqide is not longer packaged for amd64

2019-01-27 Thread Stéphane Glondu
Le 27/01/2019 à 09:17, Lars Dölle a écrit : > I write to ask why coqide is not longer packaged and > whether the situation is intended to be permanent. This is due to the dependency on gtksourceview2, which is obsolete. Upstream is working on a switch to lablgtk3/gtksourceview3, so this is not

Bug#819341: Ping and updated patches

2019-02-19 Thread Stéphane Glondu
Le 19/02/2019 à 12:24, Benjamin Riefenstahl a écrit : > I'm interested in getting this integrated. The Python version of > fsmonitor does seem to be flaky, the OCaml version seems better. I > prefer it to be packaged in Debian. > > I have updated John's patch above and based it on the current

Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2

2019-02-13 Thread Stéphane Glondu
Control: tag -1 - pending Control: severity -1 important Le 14/12/2018 à 23:52, Jeremy Bicha a écrit : > gtksourceview2 will be included in Debian 10 "Buster" but we will try > to remove it early in the Bullseye series. [1] > > Therefore, I suggest bringing that package back, then you can lower

[Git][ocaml-team/lablgtk2] Pushed new tag debian/2.18.5+dfsg-3

2019-02-13 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/2.18.5+dfsg-3 at Debian OCaml Maintainers / lablgtk2 -- View it on GitLab: https://salsa.debian.org/ocaml-team/lablgtk2/tree/debian/2.18.5+dfsg-3 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml] Pushed new tag debian/4.05.0-11

2019-01-25 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/4.05.0-11 at Debian OCaml Maintainers / ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml/tree/debian/4.05.0-11 You're receiving this email because of your account on salsa.debian.org.

Bug#895472: ocaml: CVE-2018-9838

2019-01-25 Thread Stéphane Glondu
Le 21/01/2019 à 22:33, Moritz Mühlenhoff a écrit : >> The following vulnerability was published for ocaml. >> >> CVE-2018-9838[0]: >> | The caml_ba_deserialize function in byterun/bigarray.c in the standard >> | library in OCaml 4.06.0 has an integer overflow which, in situations >> | where

[Git][ocaml-team/belenios] Pushed new tag debian/1.8+dfsg-1

2019-02-04 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/1.8+dfsg-1 at Debian OCaml Maintainers / belenios -- View it on GitLab: https://salsa.debian.org/ocaml-team/belenios/tree/debian/1.8+dfsg-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/belenios] Pushed new tag upstream/1.8+dfsg

2019-02-04 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/1.8+dfsg at Debian OCaml Maintainers / belenios -- View it on GitLab: https://salsa.debian.org/ocaml-team/belenios/tree/upstream/1.8+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/belenios][master] 4 commits: New upstream version 1.8+dfsg

2019-02-04 Thread Stéphane Glondu
Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / belenios Commits: 874c740d by Stephane Glondu at 2019-02-04T10:38:46Z New upstream version 1.8+dfsg - - - - - 02688d67 by Stephane Glondu at 2019-02-04T10:38:47Z Update upstream source from tag upstream/1.8+dfsg Update

Bug#844321: unison: Please update to latest upstream version

2019-05-20 Thread Stéphane Glondu
Le 20/05/2019 à 16:06, Christoph Groth a écrit : > Unison 2.51.2 that has been released in January 2018 has a new feature > that is very useful for synchronizing, for example, '.git' directories: > >> Add a new preference, 'atomic', for specifying directories that should >> be treated atomically.

[Git][ocaml-team/ocaml] Pushed new tag upstream/4.07.0

2019-07-10 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/4.07.0 at Debian OCaml Maintainers / ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml/tree/upstream/4.07.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml][upstream/experimental] 5 commits: New upstream version 4.06.0

2019-07-10 Thread Stéphane Glondu
Stéphane Glondu pushed to branch upstream/experimental at Debian OCaml Maintainers / ocaml Commits: 484a8dc3 by Stephane Glondu at 2019-07-10T12:49:34Z New upstream version 4.06.0 - - - - - 92730427 by Stephane Glondu at 2019-07-10T12:49:44Z New upstream version 4.06.1 - - - - - 27938ef6

[Git][ocaml-team/ocaml] Pushed new tag upstream/4.06.0

2019-07-10 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/4.06.0 at Debian OCaml Maintainers / ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml/tree/upstream/4.06.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml] Pushed new tag upstream/4.06.1

2019-07-10 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/4.06.1 at Debian OCaml Maintainers / ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml/tree/upstream/4.06.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml][debian/experimental] 17 commits: dropped recommends camlp4

2019-07-10 Thread Stéphane Glondu
Stéphane Glondu pushed to branch debian/experimental at Debian OCaml Maintainers / ocaml Commits: 8893103b by Ralf Treinen at 2018-04-18T20:41:30Z dropped recommends camlp4 - - - - - e88438ea by Stephane Glondu at 2019-01-25T12:51:28Z Refresh patches - - - - - 25dd36af by Stephane Glondu

[Git][ocaml-team/ocaml] Pushed new tag upstream/4.07.1

2019-07-10 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/4.07.1 at Debian OCaml Maintainers / ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml/tree/upstream/4.07.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml] Pushed new tag upstream/4.08.0

2019-07-10 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/4.08.0 at Debian OCaml Maintainers / ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml/tree/upstream/4.08.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml] Pushed new tag debian/4.08.0-1

2019-07-11 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/4.08.0-1 at Debian OCaml Maintainers / ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml/tree/debian/4.08.0-1 You're receiving this email because of your account on salsa.debian.org.

OCaml 4.08.0 and later...

2019-07-12 Thread Stéphane Glondu
Le 11/07/2019 à 22:24, Ralf Treinen a écrit : > I see that you have uploaded ocaml 4.08 to experimental, so that is great > news. I suppose that means that an ocaml transition is upcoming, once > ocaml has made it through the NEW queue (which currently has a 5 month > backlog)? It depends on when

Accepted calendar 2.04-2 (source) into unstable

2019-07-16 Thread Stéphane Glondu
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 16 Jul 2019 10:26:37 +0200 Source: calendar Architecture: source Version: 2.04-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: calendar (2.04-2) unstable

[Git][ocaml-team/calendar] Pushed new tag archive/debian/2.04-2

2019-07-16 Thread Stéphane Glondu
Stéphane Glondu pushed new tag archive/debian/2.04-2 at Debian OCaml Maintainers / calendar -- View it on GitLab: https://salsa.debian.org/ocaml-team/calendar/tree/archive/debian/2.04-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/calendar] Pushed new tag debian/2.04-2

2019-07-16 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/2.04-2 at Debian OCaml Maintainers / calendar -- View it on GitLab: https://salsa.debian.org/ocaml-team/calendar/tree/debian/2.04-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/cryptgps] Pushed new tag archive/debian/0.2.1-11

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag archive/debian/0.2.1-11 at Debian OCaml Maintainers / cryptgps -- View it on GitLab: https://salsa.debian.org/ocaml-team/cryptgps/tree/archive/debian/0.2.1-11 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlnet] Pushed new tag upstream/4.1.5

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/4.1.5 at Debian OCaml Maintainers / ocamlnet -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlnet/tree/upstream/4.1.5 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/cryptgps] Pushed new tag debian/0.2.1-11

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/0.2.1-11 at Debian OCaml Maintainers / cryptgps -- View it on GitLab: https://salsa.debian.org/ocaml-team/cryptgps/tree/debian/0.2.1-11 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlnet][master] 15 commits: Remove libcryptgps-ocaml-dev from Build-Depends

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocamlnet Commits: 28babdd5 by Stephane Glondu at 2019-08-12T12:30:45Z Remove libcryptgps-ocaml-dev from Build-Depends - - - - - 44256c32 by Stephane Glondu at 2019-08-12T13:00:18Z Bump Standards-Version to 4.4.0

[Git][ocaml-team/ocamlnet] Pushed new tag upstream/4.1.4

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/4.1.4 at Debian OCaml Maintainers / ocamlnet -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlnet/tree/upstream/4.1.4 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlnet][upstream] 4 commits: New upstream version 4.1.3

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / ocamlnet Commits: 13aad9ad by Stephane Glondu at 2019-08-12T13:02:14Z New upstream version 4.1.3 - - - - - 4d9c137d by Stephane Glondu at 2019-08-12T13:03:01Z New upstream version 4.1.4 - - - - - 2a05ae99 by Stephane

[Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.6-1

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag archive/debian/4.1.6-1 at Debian OCaml Maintainers / ocamlnet -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlnet/tree/archive/debian/4.1.6-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlnet] Pushed new tag upstream/4.1.3

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/4.1.3 at Debian OCaml Maintainers / ocamlnet -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlnet/tree/upstream/4.1.3 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.6-1

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/4.1.6-1 at Debian OCaml Maintainers / ocamlnet -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlnet/tree/debian/4.1.6-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlnet] Pushed new tag upstream/4.1.6

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/4.1.6 at Debian OCaml Maintainers / ocamlnet -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlnet/tree/upstream/4.1.6 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/yojson] Pushed new tag debian/1.7.0-1

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/1.7.0-1 at Debian OCaml Maintainers / yojson -- View it on GitLab: https://salsa.debian.org/ocaml-team/yojson/tree/debian/1.7.0-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/yojson] Pushed new tag archive/debian/1.7.0-1

2019-08-12 Thread Stéphane Glondu
Stéphane Glondu pushed new tag archive/debian/1.7.0-1 at Debian OCaml Maintainers / yojson -- View it on GitLab: https://salsa.debian.org/ocaml-team/yojson/tree/archive/debian/1.7.0-1 You're receiving this email because of your account on salsa.debian.org.

Re: OCaml 4.08.0 and later...

2019-08-13 Thread Stéphane Glondu
Le 02/08/2019 à 14:30, Stéphane Glondu a écrit : >>> - a patch to change the behaviour of -custom, which has been rejected >>> upstream because they don't want people to use -custom (the error being >>> stripping such binaries would remove also the bytecode) &

Bug#934714: RFA: yojson -- JSON library for OCaml

2019-08-13 Thread Stéphane Glondu
Package: wnpp Severity: normal Hello, Currently, yojson 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

dune + opam

2019-08-14 Thread Stéphane Glondu
Hello Ralf, In ocaml-cairo2/debian/control, you wrote: > dune behaves differently when opam is installed so you put opam in Build-Conflicts. Could you elaborate? Cheers, -- Stéphane

[Git][ocaml-team/ocamlmod] Pushed new tag archive/debian/0.0.9-2

2019-07-31 Thread Stéphane Glondu
Stéphane Glondu pushed new tag archive/debian/0.0.9-2 at Debian OCaml Maintainers / ocamlmod -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlmod/tree/archive/debian/0.0.9-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlmod] Pushed new tag debian/0.0.9-2

2019-07-31 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/0.0.9-2 at Debian OCaml Maintainers / ocamlmod -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlmod/tree/debian/0.0.9-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-fileutils] Pushed new tag debian/0.5.3-2

2019-07-31 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/0.5.3-2 at Debian OCaml Maintainers / ocaml-fileutils -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-fileutils/tree/debian/0.5.3-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-fileutils] Pushed new tag archive/debian/0.5.3-2

2019-07-31 Thread Stéphane Glondu
Stéphane Glondu pushed new tag archive/debian/0.5.3-2 at Debian OCaml Maintainers / ocaml-fileutils -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-fileutils/tree/archive/debian/0.5.3-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/labltk] Pushed new tag upstream/8.06.6+dfsg

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/8.06.6+dfsg at Debian OCaml Maintainers / labltk -- View it on GitLab: https://salsa.debian.org/ocaml-team/labltk/tree/upstream/8.06.6+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/labltk] Pushed new tag upstream/8.06.3+dfsg

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/8.06.3+dfsg at Debian OCaml Maintainers / labltk -- View it on GitLab: https://salsa.debian.org/ocaml-team/labltk/tree/upstream/8.06.3+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/labltk] Pushed new tag upstream/8.06.5+dfsg

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/8.06.5+dfsg at Debian OCaml Maintainers / labltk -- View it on GitLab: https://salsa.debian.org/ocaml-team/labltk/tree/upstream/8.06.5+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/labltk] Pushed new tag upstream/8.06.4+dfsg

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/8.06.4+dfsg at Debian OCaml Maintainers / labltk -- View it on GitLab: https://salsa.debian.org/ocaml-team/labltk/tree/upstream/8.06.4+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-csv][master] 13 commits: New upstream version 1.6

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-csv Commits: e11a1df3 by Stephane Glondu at 2019-08-03T08:39:26Z New upstream version 1.6 - - - - - 0da85295 by Stephane Glondu at 2019-08-03T08:39:33Z New upstream version 1.7 - - - - - 1aecea75 by Stephane Glondu

[Git][ocaml-team/ocaml-csv] Pushed new tag upstream/1.6

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/1.6 at Debian OCaml Maintainers / ocaml-csv -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-csv/tree/upstream/1.6 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/labltk][master] 12 commits: New upstream version 8.06.3+dfsg

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / labltk Commits: 00a15de6 by Stephane Glondu at 2019-08-03T11:20:49Z New upstream version 8.06.3+dfsg - - - - - 096221b8 by Stephane Glondu at 2019-08-03T11:21:47Z New upstream version 8.06.4+dfsg - - - - - a0d93430

[Git][ocaml-team/labltk][upstream] 4 commits: New upstream version 8.06.3+dfsg

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / labltk Commits: 00a15de6 by Stephane Glondu at 2019-08-03T11:20:49Z New upstream version 8.06.3+dfsg - - - - - 096221b8 by Stephane Glondu at 2019-08-03T11:21:47Z New upstream version 8.06.4+dfsg - - - - - a0d93430

[Git][ocaml-team/cryptokit][master] 10 commits: Remove debian/source/local-options

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / cryptokit Commits: 7393ea7f by Stephane Glondu at 2019-08-03T08:14:18Z Remove debian/source/local-options - - - - - bbb9402d by Stephane Glondu at 2019-08-03T08:15:00Z New upstream version 1.12 - - - - - caf33291

[Git][ocaml-team/cryptokit] Pushed new tag upstream/1.12

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/1.12 at Debian OCaml Maintainers / cryptokit -- View it on GitLab: https://salsa.debian.org/ocaml-team/cryptokit/tree/upstream/1.12 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/cryptokit] Pushed new tag upstream/1.13

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/1.13 at Debian OCaml Maintainers / cryptokit -- View it on GitLab: https://salsa.debian.org/ocaml-team/cryptokit/tree/upstream/1.13 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-csv] Pushed new tag upstream/2.2

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/2.2 at Debian OCaml Maintainers / ocaml-csv -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-csv/tree/upstream/2.2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-csv] Pushed new tag upstream/2.0

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/2.0 at Debian OCaml Maintainers / ocaml-csv -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-csv/tree/upstream/2.0 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-csv][upstream] 5 commits: New upstream version 1.6

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / ocaml-csv Commits: e11a1df3 by Stephane Glondu at 2019-08-03T08:39:26Z New upstream version 1.6 - - - - - 0da85295 by Stephane Glondu at 2019-08-03T08:39:33Z New upstream version 1.7 - - - - - 1aecea75 by Stephane Glondu

[Git][ocaml-team/ocaml-csv] Pushed new tag upstream/2.1

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/2.1 at Debian OCaml Maintainers / ocaml-csv -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-csv/tree/upstream/2.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-csv] Pushed new tag upstream/1.7

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/1.7 at Debian OCaml Maintainers / ocaml-csv -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-csv/tree/upstream/1.7 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/findlib] Pushed new tag debian/1.8.1-1

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/1.8.1-1 at Debian OCaml Maintainers / findlib -- View it on GitLab: https://salsa.debian.org/ocaml-team/findlib/tree/debian/1.8.1-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.14.0-1

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/0.14.0-1 at Debian OCaml Maintainers / ocamlbuild -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocamlbuild/tree/debian/0.14.0-1 You're receiving this email because of your account on salsa.debian.org.

Bug#933792: ocaml-nox/ocaml-base-nox: missing Breaks+Replaces: ocaml-base-nox/ocaml-nox (<< 4.08)

2019-08-03 Thread Stéphane Glondu
Thanks for this report. Le 03/08/2019 à 16:42, Andreas Beckmann a écrit : > Preparing to unpack .../ocaml-base-nox_4.08.0-3_amd64.deb ... > Unpacking ocaml-base-nox (4.08.0-3) over (4.05.0-11) ... > dpkg: error processing archive > /var/cache/apt/archives/ocaml-base-nox_4.08.0-3_amd64.deb

[Git][ocaml-team/camlp5] Pushed new tag upstream/7.08

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/7.08 at Debian OCaml Maintainers / camlp5 -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlp5/tree/upstream/7.08 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/camlp5][upstream] New upstream version 7.08

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / camlp5 Commits: 6253fa53 by Stephane Glondu at 2019-08-04T04:11:27Z New upstream version 7.08 - - - - - 30 changed files: - CHANGES - README - camlp5.opam - etc/pr_o.ml - lib/grammar.ml - lib/plexer.ml - lib/versdep.ml

[Git][ocaml-team/ocaml-csv] Pushed new tag debian/2.2-1

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/2.2-1 at Debian OCaml Maintainers / ocaml-csv -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-csv/tree/debian/2.2-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-zarith] Pushed new tag debian/1.8-1

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/1.8-1 at Debian OCaml Maintainers / ocaml-zarith -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-zarith/tree/debian/1.8-1 You're receiving this email because of your account on salsa.debian.org.

Accepted ocurl 0.8.2-1 (source) into unstable

2019-08-03 Thread Stéphane Glondu
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2019 07:08:36 +0200 Source: ocurl Architecture: source Version: 0.8.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocurl (0.8.2-1) unstable

[Git][ocaml-team/ounit] Pushed new tag debian/2.0.8-2

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/2.0.8-2 at Debian OCaml Maintainers / ounit -- View it on GitLab: https://salsa.debian.org/ocaml-team/ounit/tree/debian/2.0.8-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/camlp5][master] 4 commits: New upstream version 7.08

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / camlp5 Commits: 6253fa53 by Stephane Glondu at 2019-08-04T04:11:27Z New upstream version 7.08 - - - - - ed19b054 by Stephane Glondu at 2019-08-04T04:11:41Z Update upstream source from tag upstream/7.08 Update to upstream

[Git][ocaml-team/camlp5] Pushed new tag debian/7.08-1

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag debian/7.08-1 at Debian OCaml Maintainers / camlp5 -- View it on GitLab: https://salsa.debian.org/ocaml-team/camlp5/tree/debian/7.08-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocurl] Pushed new tag upstream/0.8.2

2019-08-03 Thread Stéphane Glondu
Stéphane Glondu pushed new tag upstream/0.8.2 at Debian OCaml Maintainers / ocurl -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocurl/tree/upstream/0.8.2 You're receiving this email because of your account on salsa.debian.org.

<    6   7   8   9   10   11   12   13   14   15   >