Ralf Treinen pushed new tag debian/2.3-2 at Debian OCaml Maintainers / camlpdf
--
View it on GitLab: https://salsa.debian.org/ocaml-team/camlpdf/tree/debian/2.3-2
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag upstream/2.3 at Debian OCaml Maintainers / camlpdf
--
View it on GitLab: https://salsa.debian.org/ocaml-team/camlpdf/tree/upstream/2.3
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/2.3-1 at Debian OCaml Maintainers / camlpdf
--
View it on GitLab: https://salsa.debian.org/ocaml-team/camlpdf/tree/debian/2.3-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / camlpdf
Commits:
b0b5dc30 by Ralf Treinen at 2019-11-12T19:57:11Z
New upstream version 2.3
- - - - -
30 changed files:
- Changes
- LICENSE
- Makefile
- README.md
- miniz.c
- + miniz.h
- pdf.ml
- pdfannot.ml
- pdfannot.mli
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / camlpdf
Commits:
151f2e6d by Ralf Treinen at 2019-11-12T19:57:13Z
pristine-tar data for camlpdf_2.3.orig.tar.gz
- - - - -
2 changed files:
- + camlpdf_2.3.orig.tar.gz.delta
- + camlpdf_2.3.orig.tar.gz.id
Changes
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / camlpdf
Commits:
b0b5dc30 by Ralf Treinen at 2019-11-12T19:57:11Z
New upstream version 2.3
- - - - -
0d569549 by Ralf Treinen at 2019-11-12T19:57:13Z
Update upstream source from tag upstream/2.3
Update to upstream version 2.3
Ralf Treinen pushed new tag upstream/1.6 at Debian OCaml Maintainers /
spamoracle
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/spamoracle/tree/upstream/1.6
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/1.6-1 at Debian OCaml Maintainers /
spamoracle
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/spamoracle/tree/debian/1.6-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / spamoracle
Commits:
fc87205d by Ralf Treinen at 2019-11-11T14:44:16Z
New upstream version 1.6
- - - - -
557eb3a9 by Ralf Treinen at 2019-11-11T14:44:16Z
Update upstream source from tag upstream/1.6
Update to upstream version
Ralf Treinen pushed new tag debian/0.10.4-1 at Debian OCaml Maintainers / morbig
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/morbig/tree/debian/0.10.4-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag upstream/0.10.4 at Debian OCaml Maintainers / morbig
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/morbig/tree/upstream/0.10.4
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/0.10.4-2 at Debian OCaml Maintainers / morbig
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/morbig/tree/debian/0.10.4-2
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / morbig
Commits:
0c51348c by Ralf Treinen at 2019-11-08T22:44:23Z
pristine-tar data for morbig_0.10.4.orig.tar.xz
- - - - -
2 changed files:
- + morbig_0.10.4.orig.tar.xz.delta
- + morbig_0.10.4.orig.tar.xz.id
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / morbig
Commits:
6a692f74 by Ralf Treinen at 2019-11-08T22:44:23Z
New upstream version 0.10.4
- - - - -
71c55190 by Ralf Treinen at 2019-11-08T22:44:24Z
Update upstream source from tag upstream/0.10.4
Update to upstream version
Ralf Treinen pushed new tag debian/1.09-2 at Debian OCaml Maintainers / camlzip
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/camlzip/tree/debian/1.09-2
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/2.32-3 at Debian OCaml Maintainers / hevea
--
View it on GitLab: https://salsa.debian.org/ocaml-team/hevea/tree/debian/2.32-3
You're receiving this email because of your account on salsa.debian.org.
Package: libzip-ocaml-dev
Version: 1.09-1+b1
Tags: pending
The package test fails when executed using ocaml 4.08:
File "testzlib.ml", line 4, characters 58-61:
4 | Zlib.compress (fun buf -> input ic buf 0 (String.length buf))
^^^
Hi,
just looking at the state of the ongoing ocaml transition:
building camlzip fails on bc architectures, and the failure occurs
here in upstream's Makefile:
include $(shell ocamlfind ocamlc -where)/Makefile.config
with message
Makefile:26: /Makefile.config: No such file or directory
This
Ralf Treinen pushed new tag debian/1.2.1-2 at Debian OCaml Maintainers / why3
--
View it on GitLab: https://salsa.debian.org/ocaml-team/why3/tree/debian/1.2.1-2
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/20190924-1 at Debian OCaml Maintainers /
menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/debian/20190924-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag upstream/20190924 at Debian OCaml Maintainers /
menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/upstream/20190924
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / menhir
Commits:
cbccfc45 by Ralf Treinen at 2019-10-31T07:22:01Z
pristine-tar data for menhir_20190924.orig.tar.gz
- - - - -
2 changed files:
- + menhir_20190924.orig.tar.gz.delta
- + menhir_20190924.orig.tar.gz.id
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / menhir
Commits:
93f9dc21 by Ralf Treinen at 2019-11-02T10:49:21Z
New upstream version 20190924
- - - - -
2b068fb3 by Ralf Treinen at 2019-11-02T10:49:35Z
menhir-doc: set MA:foreign
- - - - -
7a53be15 by Ralf Treinen at 2019
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / menhir
Commits:
b74de13f by Ralf Treinen at 2019-10-31T07:21:53Z
New upstream version 20190924
- - - - -
30 changed files:
- CHANGES.md
- Makefile
- check-tarball.sh
- coq-menhirlib/CHANGES.md
- coq-menhirlib/src
Ralf Treinen pushed new tag upstream/1.09 at Debian OCaml Maintainers / camlzip
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/camlzip/tree/upstream/1.09
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/1.09-1 at Debian OCaml Maintainers / camlzip
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/camlzip/tree/debian/1.09-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / camlzip
Commits:
4554170b by Ralf Treinen at 2019-10-30T21:05:50Z
pristine-tar data for camlzip_1.09.orig.tar.gz
- - - - -
2 changed files:
- + camlzip_1.09.orig.tar.gz.delta
- + camlzip_1.09.orig.tar.gz.id
Changes
Ralf Treinen pushed new tag upstream/1.2.1 at Debian OCaml Maintainers / why3
--
View it on GitLab: https://salsa.debian.org/ocaml-team/why3/tree/upstream/1.2.1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/1.2.1-1 at Debian OCaml Maintainers / why3
--
View it on GitLab: https://salsa.debian.org/ocaml-team/why3/tree/debian/1.2.1-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / why3
Commits:
ffd772c6 by Ralf Treinen at 2019-10-28T17:42:21Z
pristine-tar data for why3_1.2.1.orig.tar.gz
- - - - -
2 changed files:
- + why3_1.2.1.orig.tar.gz.delta
- + why3_1.2.1.orig.tar.gz.id
Changes
Ralf Treinen pushed new tag debian/1.2.0-3 at Debian OCaml Maintainers / why3
--
View it on GitLab: https://salsa.debian.org/ocaml-team/why3/tree/debian/1.2.0-3
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/1.99-3 at Debian OCaml Maintainers /
bibtex2html
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/bibtex2html/tree/debian/1.99-3
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers /
tuareg-mode
Commits:
45caad6e by Ralf Treinen at 2015-05-05T16:21:20Z
fix url in Vcs fields
- - - - -
d6462ddc by Ralf Treinen at 2016-07-16T08:42:11Z
Imported Upstream version 2.0.10
- - - - -
9d8bf36e by Ralf
Ralf Treinen pushed to branch experimental/upstream at Debian OCaml Maintainers
/ tuareg-mode
Commits:
d6462ddc by Ralf Treinen at 2016-07-16T08:42:11Z
Imported Upstream version 2.0.10
- - - - -
1238c731 by Ralf Treinen at 2017-11-22T20:06:40Z
New upstream version 2.1.0
- - - - -
19 changed
t also upload the version 0.10.3-2 to unstable but then one has
to upload at the same time morsmall, otherwise we will get test failures
there.
The plan was to do a new release upstream but that was delayed by a
issue on ppc64el. Any advise on this would be welcome :
https://github.com/colis-anr/morbig/i
Ralf Treinen pushed new tag debian/1.2.0-2 at Debian OCaml Maintainers / why3
--
View it on GitLab: https://salsa.debian.org/ocaml-team/why3/tree/debian/1.2.0-2
You're receiving this email because of your account on salsa.debian.org.
Source: lablgtk3
Version: 3.0~beta6-2
The dynamic libraries (*.cmxs files) and the META files should be
installed in the runtime packages instead of the -dev packages.
On Tue, Aug 27, 2019 at 04:44:01AM +0200, Stéphane Glondu wrote:
> >* Package liblablgtk3-ocaml-dev: add breaks/replaces with
> > liblablgtk3-ocaml (<< 3.0~beta6-1) since the META file was
> > moved from the latter to the first (closes: Bug#935611)
>
> Why was the META file moved to
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits:
70580b4e by Ralf Treinen at 2019-08-21T20:30:03Z
add a gitlab-ci.yml
- - - - -
1 changed file:
- + debian/gitlab-ci.yml
Changes:
=
debian/gitlab-ci.yml
Ralf Treinen pushed new tag debian/20190626-5 at Debian OCaml Maintainers /
menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/debian/20190626-5
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/20190626-4 at Debian OCaml Maintainers /
menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/debian/20190626-4
You're receiving this email because of your account on salsa.debian.org.
Hello,
when compiling menhir I now get a lintian warning:
W: libmenhir-ocaml-dev: shared-lib-without-dependency-information
usr/lib/ocaml/menhirLib/menhirLib.cmxs
N:
N:The listed shared library doesn't include information about which other
N:libraries the library was linked against.
Ralf Treinen pushed new tag upstream/1.9.0+dfsg at Debian OCaml Maintainers /
ssreflect
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/ssreflect/tree/upstream/1.9.0+dfsg
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/1.9.0+dfsg-1 at Debian OCaml Maintainers /
ssreflect
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/ssreflect/tree/debian/1.9.0+dfsg-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
687951eb by Ralf Treinen at 2019-08-20T07:22:08Z
New upstream version 1.9.0+dfsg
- - - - -
7b8e848a by Ralf Treinen at 2019-08-20T07:22:22Z
Update upstream source from tag upstream/1.9.0+dfsg
Update
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers /
ssreflect
Commits:
1137e762 by Ralf Treinen at 2019-08-20T07:22:22Z
pristine-tar data for ssreflect_1.9.0+dfsg.orig.tar.gz
- - - - -
2 changed files:
- + ssreflect_1.9.0+dfsg.orig.tar.gz.delta
- + ssreflect_1.9.0
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits:
687951eb by Ralf Treinen at 2019-08-20T07:22:08Z
New upstream version 1.9.0+dfsg
- - - - -
24 changed files:
- + .dockerignore
- .travis.yml
- + CHANGELOG.md
- CONTRIBUTING.md
- − ChangeLog
Since ocaml 4.08, ocaml-mode is no longer part of the ocaml upstream
distribution but is now an independent project "caml-mode". A debian
package of caml-mode, providing binary packages elpa-caml and
ocaml-mode (the latter being the transitional package) has just
been uploaded experimental and
Hi Nicholas,
On Sun, Aug 11, 2019 at 06:41:25PM -0400, Nicholas D Steeves wrote:
> Gentle ping, any progress on that MR review.
sorry for the long non-reply. In fact I will first (hopefully tomorrow)
upload an elpa-fied version of caml-mode, which is the new name upstream
has chosen for the old
On Sat, Aug 10, 2019 at 07:07:33AM +0200, Stéphane Glondu wrote:
> Source: dose3
> Version: 5.0.1-12
> Severity: important
>
> Dear Maintainer,
>
> Your package dose3 FTBFS with OCaml 4.08.0 because -safe-string is now
> the default.
>
> Please provide a version of dose3 that works with
On Fri, Aug 02, 2019 at 02:30:45PM +0200, Stéphane Glondu wrote:
> >> - 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)
> >
> > Are we
Hello Stéphane,
On Wed, Aug 14, 2019 at 09:50:34AM +0200, Stéphane Glondu wrote:
> 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?
If I remember correctly, the
Hi Kyle,
On Sun, Aug 11, 2019 at 08:44:19PM +0200, Kyle Robbertze wrote:
> Package: ocaml-ffmpeg
> Severity: serious
> Justification: FTBFS
> Control: forwarded -1 https://github.com/savonet/ocaml-ffmpeg/issues/27
>
> ocaml-ffmpeg FTBFS on byte-code architectures, as the Makefile expects
>
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen
* Package name: caml-mode
Version : recent (*)
Upstream Author : Damien Doligez, Jacques Garrigue, Xavier Leroy, Didier
Remy, Ian T Zimmerman
* URL : https://github.com/ocaml/caml-mode
* License : GPL2
Ralf Treinen pushed new tag debian/0.7-5 at Debian OCaml Maintainers / cudf
--
View it on GitLab: https://salsa.debian.org/ocaml-team/cudf/tree/debian/0.7-5
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/0.7-4 at Debian OCaml Maintainers / cudf
--
View it on GitLab: https://salsa.debian.org/ocaml-team/cudf/tree/debian/0.7-4
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/20190626-3 at Debian OCaml Maintainers /
menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/debian/20190626-3
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new branch experimental/upstream at Debian OCaml
Maintainers / cudf
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/cudf/tree/experimental/upstream
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new branch experimental/upsteam at Debian OCaml Maintainers
/ cudf
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/cudf/tree/experimental/upsteam
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen deleted branch experimental/upsteam at Debian OCaml Maintainers /
cudf
--
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/20190626-2 at Debian OCaml Maintainers /
menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/debian/20190626-2
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / menhir
Commits:
52ca2b2f by Ralf Treinen at 2019-06-21T18:29:28Z
New upstream version 20190620
- - - - -
1a51d4c6 by Ralf Treinen at 2019-07-03T15:10:17Z
New upstream version 20190626
- - - - -
20 changed files:
- .gitlab
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / menhir
Commits:
52ca2b2f by Ralf Treinen at 2019-06-21T18:29:28Z
New upstream version 20190620
- - - - -
1558eee0 by Ralf Treinen at 2019-06-21T18:29:33Z
Update upstream source from tag upstream/20190620
Update to upstream
Ralf Treinen pushed new tag debian/20190626-1 at Debian OCaml Maintainers /
menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/debian/20190626-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/0.16.0-6 at Debian OCaml Maintainers /
ocamldsort
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/ocamldsort/tree/debian/0.16.0-6
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/1.03-28 at Debian OCaml Maintainers /
headache
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/headache/tree/debian/1.03-28
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/20190711-1 at Debian OCaml Maintainers /
ocaml-visitors
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/ocaml-visitors/tree/debian/20190711-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag upstream/20190711 at Debian OCaml Maintainers /
ocaml-visitors
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/ocaml-visitors/tree/upstream/20190711
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers /
ocaml-visitors
Commits:
0851f5cf by Ralf Treinen at 2019-07-17T20:34:08Z
pristine-tar data for ocaml-visitors_20190711.orig.tar.xz
- - - - -
2 changed files:
- + ocaml-visitors_20190711.orig.tar.xz.delta
- + ocaml
Ralf Treinen pushed new tag debian/1.08-1 at Debian OCaml Maintainers / camlzip
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/camlzip/tree/debian/1.08-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag upstream/1.08 at Debian OCaml Maintainers / camlzip
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/camlzip/tree/upstream/1.08
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / camlzip
Commits:
6434bdea by Ralf Treinen at 2019-07-15T01:30:35Z
pristine-tar data for camlzip_1.08.orig.tar.gz
- - - - -
2 changed files:
- + camlzip_1.08.orig.tar.gz.delta
- + camlzip_1.08.orig.tar.gz.id
Changes
Hello,
First: thanks a lot, Stéphane !
On Fri, Jul 12, 2019 at 10:26:35AM +0200, Stéphane Glondu wrote:
> 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 o
Salut Stéphane,
On Wed, Jul 10, 2019 at 10:17:47AM +0200, Stéphane Glondu wrote:
> Le 06/07/2019 à 11:17, Ralf Treinen a écrit :
> > I was wondering who from the debian ocaml team is coming to Debconf
> > in Curitiba. That would be a good occassion to have a face-to-face
>
Hi Kyle,
On Tue, Jul 09, 2019 at 09:10:03AM +0200, Kyle Robbertze wrote:
> Hi Ralf,
>
> On 2019/07/06 11:17, Ralf Treinen wrote:
> > Hello,
> >
> > I was wondering who from the debian ocaml team is coming to Debconf
> > in Curitiba. That would be a good
Hello,
I was wondering who from the debian ocaml team is coming to Debconf
in Curitiba. That would be a good occassion to have a face-to-face
discussion about the future of ocaml in debian, maybe organise
a BOF session.
I'll arrive Saturday 20/7 and will stay until the end of the week.
-Ralf.
Ralf Treinen pushed new tag upstream/20190626 at Debian OCaml Maintainers /
menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/upstream/20190626
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / menhir
Commits:
313d071e by Ralf Treinen at 2019-07-03T15:10:23Z
pristine-tar data for menhir_20190626.orig.tar.gz
- - - - -
2 changed files:
- + menhir_20190626.orig.tar.gz.delta
- + menhir_20190626.orig.tar.gz.id
Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers /
menhir
Commits:
1a51d4c6 by Ralf Treinen at 2019-07-03T15:10:17Z
New upstream version 20190626
- - - - -
21da35d7 by Ralf Treinen at 2019-07-03T15:10:23Z
Update upstream source from tag upstream/20190626
Update
Ralf Treinen pushed new tag upstream/20190620 at Debian OCaml Maintainers /
menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/upstream/20190620
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new branch experimental/upstream at Debian OCaml
Maintainers / menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/experimental/upstream
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / menhir
Commits:
65568e3b by Ralf Treinen at 2019-06-21T18:29:33Z
pristine-tar data for menhir_20190620.orig.tar.gz
- - - - -
2 changed files:
- + menhir_20190620.orig.tar.gz.delta
- + menhir_20190620.orig.tar.gz.id
Ralf Treinen pushed new branch experimental/master at Debian OCaml Maintainers
/ menhir
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/menhir/tree/experimental/master
You're receiving this email because of your account on salsa.debian.org.
Package: ftp.debian.org
Severity: normal
Hi,
please remove the package "why" (not to be confused with why3!)
from unstable. Reasons:
- this software would need porting to recent version of why3. In the
current state it is useless [1]
- Upstream declares that they do not want to continue
Hi,
On Sat, Mar 23, 2019 at 05:19:53PM +, Joerg Jaspert wrote:
> Sorry for the processing delay, but do you still want this in
> unstable, given the hard freeze?
since there is already ocaml-qcheck 0.8-1 in testing, 0.9-1 should
probably go to experimental now. Andy, what do you think?
This bug seems to be triggered by the update of libcamomile-ocaml-dev
in sid to version 1.0.1-3. Buster, however, still has camomile 0.8.5-1.
I just checked that galax 1.1-15 compiles fine on buster.
Hence this bug does not concern the buster release.
-Ralf.
--
Ralf Treinen
Institut de
Ralf Treinen pushed new tag debian/0.10.3-2 at Debian OCaml Maintainers / morbig
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/morbig/tree/debian/0.10.3-2
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag debian/0.10.3-1 at Debian OCaml Maintainers / morbig
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/morbig/tree/debian/0.10.3-1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new tag upstream/0.10.3 at Debian OCaml Maintainers / morbig
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/morbig/tree/upstream/0.10.3
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / morbig
Commits:
84dd744b by Ralf Treinen at 2019-03-08T17:01:57Z
pristine-tar data for morbig_0.10.3.orig.tar.xz
- - - - -
2 changed files:
- + morbig_0.10.3.orig.tar.xz.delta
- + morbig_0.10.3.orig.tar.xz.id
Changes
Ralf Treinen pushed new tag upstream/0.10.2 at Debian OCaml Maintainers / morbig
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/morbig/tree/upstream/0.10.2
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new branch experimental/master at Debian OCaml Maintainers
/ morbig
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/morbig/tree/experimental/master
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed new branch experimental/upstream at Debian OCaml
Maintainers / morbig
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/morbig/tree/experimental/upstream
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / morbig
Commits:
26f008e1 by Ralf Treinen at 2019-02-28T10:41:50Z
pristine-tar data for morbig_0.10.2.orig.tar.xz
- - - - -
2 changed files:
- + morbig_0.10.2.orig.tar.xz.delta
- + morbig_0.10.2.orig.tar.xz.id
Changes
Ralf Treinen pushed new tag upstream/0.10.1 at Debian OCaml Maintainers / morbig
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/morbig/tree/upstream/0.10.1
You're receiving this email because of your account on salsa.debian.org.
Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / morbig
Commits:
512f943a by Ralf Treinen at 2019-02-27T22:06:06Z
New upstream version 0.10.1
- - - - -
30 changed files:
- .gitignore
- .travis.yml
- Makefile
- README.md
- − VERSION
- − doc/.gitignore
- − doc/style.css
Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / morbig
Commits:
5bdd5678 by Ralf Treinen at 2019-02-27T22:06:07Z
pristine-tar data for morbig_0.10.1.orig.tar.xz
- - - - -
2 changed files:
- + morbig_0.10.1.orig.tar.xz.delta
- + morbig_0.10.1.orig.tar.xz.id
Changes
Ralf Treinen pushed to branch master at Debian OCaml Maintainers / morbig
Commits:
d62a9d8b by Ralf Treinen at 2019-02-27T22:11:35Z
d/watch: initial v of the tag optional
- - - - -
c46b9309 by Ralf Treinen at 2019-02-27T22:11:42Z
New upstream version 0.10.1
- - - - -
ad4f2680 by Ralf Treinen
Source: ssreflect
Version: 1.7.0+dfsg-1
Severity: wishlist
This is a big package, it should be split into several binary packages
along the the line of the opam packaging of mathcomp.
On Sat, Feb 23, 2019 at 07:58:26PM -0500, Benjamin Barenblat wrote:
> On Saturday, February 23, 2019, at 3:30 PM EST, Ralf Treinen wrote:
> > Unfortunately, however, why is only usable with why3 <= 0.88.3. I
> > therefore have asked the release team to remove why from testing.
&
201 - 300 of 1299 matches
Mail list logo
