Le 12/10/2020 à 09:57, Sebastian Ramacher a écrit :
I tried to install all corresponding opam packages in a 4.11.1 switch,
and the breakage is minimal.
>>>
>>> Have bugs been filed for the these issues or are you taking care of
>>> that?
>>
>> I will take care of filing bugs and/or
Package: src:llvm-toolchain-9
Version: 1:9.0.1-14
Severity: serious
Tags: ftbfs
Dear Maintainer,
Your package FTBFS on ppc64el:
https://buildd.debian.org/status/package.php?p=llvm-toolchain-9
The rebuild was triggered by the update of OCaml from 4.08.1 to
4.11.1, but the error looks
Package: src:llvm-toolchain-10
Version: 1:10.0.1-6
Severity: serious
Tags: ftbfs
Dear Maintainer,
Your package FTBFS on ppc64el:
https://buildd.debian.org/status/package.php?p=llvm-toolchain-10
The rebuild was triggered by the update of OCaml from 4.08.1 to
4.11.1, but the error looks
Package: src:ocaml-melt
Version: 1.4.0-3
Severity: serious
Tags: ftbfs
Dear Maintainer,
Your package ocaml-melt FTBFS with OCaml 4.11.1 because -unsafe-string
is no longer available.
Cheers,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy:
Package: src:ocamlviz
Version: 1.01-4
Severity: serious
Tags: ftbfs
Dear Maintainer,
Your package ocamlviz FTBFS with OCaml 4.11.1 because -unsafe-string
is no longer available.
Cheers,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy: (990,
Package: src:galax
Version: 1.1-16
Severity: serious
Tags: ftbfs
Dear Maintainer,
Your package galax FTBFS with OCaml 4.11.1 because -unsafe-string
is no longer available.
Cheers,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy: (990,
Package: src:botch
Version: 0.22-4
Severity: serious
Tags: ftbfs
Dear Maintainer,
Your package botch currently FTBFS in sid:
https://buildd.debian.org/status/package.php?p=botch
The rebuild was triggered by the update of OCaml from 4.08.1 to
4.11.1, but the error looks independent (I might
Package: src:libguestfs
Version: 1:1.42.0-9
Severity: serious
Tags: ftbfs
Dear Maintainer,
Your package FTBFS on amd64 and i386:
https://buildd.debian.org/status/package.php?p=libguestfs=sid
The rebuild was triggered by the update of OCaml from 4.08.1 to
4.11.1, but the error looks
Package: src:mldonkey
Version: 3.1.7-2
Severity: serious
Tags: ftbfs
Dear Maintainer,
Your package mldonkey FTBFS with OCaml 4.11.1 because -unsafe-string
is no longer available.
Cheers,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy:
Le 10/10/2020 à 17:58, Sebastian Ramacher a écrit :
>> I tried to install all corresponding opam packages in a 4.11.1 switch,
>> and the breakage is minimal.
>
> Have bugs been filed for the these issues or are you taking care of
> that?
I will take care of filing bugs and/or fixing issues. And
severity 971439 important
thanks
Le 30/09/2020 à 18:12, Emilio Jesús Gallego Arias a écrit :
> Package: lablgtk3
> Version: 3.1.1-1
>
> Dear OCaml maintainers,
>
> as far as I could see this is a general bug on quite a few Debian OCaml
> packages; in particular submitting for lablgtk3 but this
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Dear Release Team,
I've updated ocaml to 4.11.1 and uploaded to experimental. It builds on
all release architectures, and most of ports
Package: src:orpie
Version: 1.6.0-3
Severity: normal
Dear Maintainer,
Your package build-depends on dune, which is a transitional
package. Please build-depend on ocaml-dune instead.
Cheers,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy:
clone 970744 -1
retitle 970744 ben traker: please support multiple outputs
retitle -1 ben: please provide richer JSON output
tags -1 + moreinfo
thanks
Le 26/09/2020 à 10:37, Stéphane Glondu a écrit :
> Yes. There are two tasks here, which I think are independent:
>
> 1. extend `be
Le 25/09/2020 à 22:55, Sebastian Ramacher a écrit :
>> I just realized there is already a JSON output, made by Mehdi in 2015...
>> maybe it could suit your needs?
>
> If I'm not missing a switch somewhere, the JSON output can only be used
> with `ben monitor`, right?
Indeed, HTML output seems
Le 23/09/2020 à 20:52, Sebastian Ramacher a écrit :
>>> thanks for maintaining ben. In additiona to the HTML output, it would be
>>> great to have the same information as machine-parseable file. With such
>>> a file one could feed other tools to further process the info produced
>>> by ben, e.g.,
Le 22/09/2020 à 22:12, Sebastian Ramacher a écrit :
> thanks for maintaining ben. In additiona to the HTML output, it would be
> great to have the same information as machine-parseable file. With such
> a file one could feed other tools to further process the info produced
> by ben, e.g., to
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-mew-vi
Version : 0.5.0
Upstream Author : ZAN DoYe
* URL : https://github.com/kandu/mew_vi
* License
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-mew
Version : 0.1.0
Upstream Author : ZAN DoYe
* URL : https://github.com/kandu/mew
* License : MIT
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-graphics
Version : 5.1.0
Upstream Author : Xavier Leroy et al.
* URL : https://github.com/ocaml/graphics
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-csexp
Version : 1.3.1
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/ocaml-dune/csexp
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-bigarray-compat
Version : 1.0.0
Upstream Author : Lucas Pluvinage
* URL : https://github.com/mirage/bigarray
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-trie
Version : 1.0.0
Upstream Author : ZAN DoYe
* URL : https://github.com/kandu/trie
* License : MIT
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-hex
Version : 1.4.0
Upstream Author : Thomas Gazagnaire et al.
* URL : https://github.com/mirage/ocaml-hex
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-rresult
Version : 0.6.0
Upstream Author : Daniel Bünzli
* URL : http://erratique.ch/software/rresult
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org
* Package name: ocaml-cstruct
Version : 5.2.0
Upstream Author : Anil Madhavapeddy et al.
* URL : https://github.com/mirage/ocaml
Package: orpie
Version: 1.6.0-3
Severity: wishlist
Tags: upstream
Dear Maintainer,
There is a newer upstream version of orpie available in opam, 1.6.1:
https://opam.ocaml.org/packages/orpie/
Please consider packaging it in Debian.
More over, orpie's debian/watch seems to be broken. Please
Hello,
I've contacted upstream and they told me that the branch:
https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/tree/cduce-next
works with OCaml 4.10.0 and that a new release may be made soon.
Cheers,
--
Stéphane
tags 968560 + confirmed
reassign 968560 unison
thanks
Le 17/08/2020 à 15:04, frydo bugdeb a écrit :
> I don't have unison installed.
> Only unison-gtk, unison-2.48 and unison-2.48-gtk
>
> version for unison-gtk is 2.48.4+3
> and for both unison-2.48 and unison-2.48-gtk is 2.48.4-7
Right. I will
Le 17/08/2020 à 14:53, frydo bugdeb a écrit :
> I guess I had it at some time, but now it's 2.48.4-7, for which the bug
> appeared to me.
There is no version 2.48.4-7 for package *unison* (there is for package
*unison-2.48*. I am asking the version of package *unison* which is
installed on your
Le 17/08/2020 à 14:21, frydo bugdeb a écrit :
> Using unison though network with ssh, since last update I could not have it
> work.
> Connection was lost right after I give my password.
>
> Launching unison from a shell, I could see that it was looking for a file,
> unison, that could not be
Le 16/08/2020 à 18:03, Stéphane Glondu a écrit :
>>> These bugs are still on topic and prevent ocaml-{integers,ctypes} from
>>> migrating to testing. Could you please fix them? Or have the faulty
>>> packages removed from testing.
>>
>> At the momen
Le 16/08/2020 à 17:59, Stéphane Glondu a écrit :
>> These bugs are still on topic and prevent ocaml-{integers,ctypes} from
>> migrating to testing. Could you please fix them? Or have the faulty
>> packages removed from testing.
>
> At the moment, llvm-toolchain-8 is a key
Le 16/08/2020 à 08:01, Stéphane Glondu a écrit :
> These bugs are still on topic and prevent ocaml-{integers,ctypes} from
> migrating to testing. Could you please fix them? Or have the faulty
> packages removed from testing.
At the moment, llvm-toolchain-8 is a key package [1], preve
Package: src:rust-xml-rs
Version: 0.8.0-1+b1
Severity: normal
Dear Maintainer,
Currently, xml-rs in testing has "Built-Using: rustc (=
1.36.0+dfsg1-2)", keeping this old version in the archive, which
build-depends on libllvm8, which I want out of testing because it
FTBFS.
Please rebuild it with
Package: src:rust-rusty-tags
Version: 3.5.1-2
Severity: normal
Dear Maintainer,
Currently, rusty-tags in testing has "Built-Using: rustc (=
1.38.0+dfsg1-2)", keeping this old version in the archive, which
build-depends on libllvm8, which I want out of testing because it
FTBFS.
Please rebuild it
Le 16/08/2020 à 10:33, Andreas Tille a écrit :
> I've fixed this in Git. However, when trying to build I get:
>
> + ocamlfind ocamlc -c -annot -w Z -package batteries -package csv -package
> xmlm -package gsl -package sqlite3 -package zip -package mcl -thread -I
> pplacer_src -I json_src -I
tags 968497 + patch
thanks
Le 16/08/2020 à 14:04, Stéphane Glondu a écrit :
> astra-toolbox is one of the 3 packages (along with qtcreator and
> oclgrind) that still depend on llvm-toolchain-8 (which FTBFS on all
> architectures, see #957496), and that prevents removing it from
tags 968496 + patch
thanks
Le 16/08/2020 à 13:57, Stéphane Glondu a écrit :
> oclgrind is one of the 3 packages (along with qtcreator and
> astra-toolbox) that still depend on llvm-toolchain-8 (which FTBFS on
> all architectures, see #957496), and that prevents removing it from
Package: src:astra-toolbox
Version: 1.8.3-1
Severity: wishlist
Dear Maintainer,
astra-toolbox is one of the 3 packages (along with qtcreator and
oclgrind) that still depend on llvm-toolchain-8 (which FTBFS on all
architectures, see #957496), and that prevents removing it from
testing.
Cheers,
Package: src:oclgrind
Version: 19.10-1
Severity: wishlist
Dear Maintainer,
oclgrind is one of the 3 packages (along with qtcreator and
astra-toolbox) that still depend on llvm-toolchain-8 (which FTBFS on
all architectures, see #957496), and that prevents removing it from
testing.
Cheers,
--
log
index d7f0b2fc..0f41c77f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+qtcreator (4.12.3-3.1) unstable; urgency=medium
+
+ * Non-maintainer upload.
+ * Build with llvm-9 (Closes: #966007)
+
+ -- Stéphane Glondu Sun, 16 Aug 2020 10:59:33 +0200
+
qtcreator (4.12.3-3)
reassign 962762 ftp.debian.org
retitle 962762 RM: monotone-viz -- RoQA; obsolete, unmaintained
thanks
Adrian Bunk wrote:
> Neither monotone-viz nor monotone are in the current stable,
> and monotone was already removed from unstable.
>
> Should monotone-viz also be removed from unstable?
Yes,
Hello,
These bugs are still on topic and prevent ocaml-{integers,ctypes} from
migrating to testing. Could you please fix them? Or have the faulty
packages removed from testing.
Cheers,
--
Stéphane
Package: src:supermin
Version: 5.2.0-1
Severity: serious
Tags: ftbfs
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Dear Maintainer,
Your package FTBFS at the moment, because of a failure in dh_dwz. This
failure is common to many packages written in OCaml (see for example
[1] and [2]).
As a
Package: src:kalzium
Version: 20.04.0-1
Severity: serious
Tags: ftbfs
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Dear Maintainer,
Your package FTBFS at the moment, because of a failure in dh_dwz. This
failure is common to many packages written in OCaml (see for example
[1] and [2]).
As a
Package: src:pplacer
Version: 1.1~alpha19-2
Severity: serious
Tags: ftbfs
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Dear Maintainer,
Your package FTBFS at the moment, because of a failure in dh_dwz. This
failure is common to many packages written in OCaml (see for example
[1] and [2]).
Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Control: block -1 by 968351
Dear FTP team,
Please remove type-conv from unstable. Its only reverse dependency is
ocaml-deriving-ocsigen, see #968351.
Cheers,
--
Stéphane
Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Control: block -1 by 968351
Dear FTP team,
Please remove optcomp from unstable. Its only reverse dependency is
ocaml-deriving-ocsigen, see #968351.
Cheers,
--
Stéphane
Source: libcairo2-ocaml-dev
Severity: serious
Tags: ftbfs
Control: affects -1 why3 lablgtk3
Dear Maintainer,
/usr/lib/ocaml/cairo2/cairo_ocaml.h declares variables without extern,
causing multiple definitions if this file is included in multiple .c
files, which is an error with gcc-10. This
For me, slirp:amd64 does not crash, but does not work either (with User
Mode Linux). Installing slirp:i386 on an amd64 system works.
Cheers,
--
Stéphane
Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Dear FTP team,
Please remove ocaml-deriving-ocsigen from unstable. Its only
reverse-dependency was eliom which has just been updated to a version
that does not use it.
Cheers,
--
Stéphane
Source: llvm-toolchain-9
Version: 1:9.0.1-13
Severity: serious
Tags: ftbfs
Dear Maintainer,
llvm-toolchain-9 FTBFS on ppc64el:
> [...]
> cd /<>/build-llvm/lib/Target/X86 && /usr/bin/g++-10
> -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS
> -D__STDC_LIMIT_MACROS
Le 08/08/2020 à 02:41, Vincent Lefevre a écrit :
> unison-2.48 should have never been created: buster has a unison
> package with version number 2.48.4-1, thus one has the impression
> that this is compatible with unison-2.48, while this is not the
> case. The package should have been named
Le 08/08/2020 à 03:25, Vincent Lefevre a écrit :
> The wontfix does not make any sense. The unison-all package is
> described as follows:
>
> Description: file synchronization tool (all console versions)
> This is a metapackage that depends on all supported console versions
> of Unison, a file
severity 946046 wishlist
tags 946046 + wontfix
thanks
Le 07/08/2020 à 22:24, Vincent Lefevre a écrit :
> This is not sufficient to synchronize with Debian 10 (buster).
> It depends only on unison, which depends on unison-2.48, and
> with the latest version of unison-2.48, I get lots of errors:
>
Le 05/08/2020 à 14:36, Raphael Hertzog a écrit :
>> tracker.debian.org does not seem to respond or responds always empty
>> pages (no error) when I use a client certificate.
>
> I don't have the issue with my own certificate.
>
> I see this in the error log:
> [Wed Aug 05 11:17:05.798925 2020]
Package: tracker.debian.org
Severity: important
Dear Maintainer,
tracker.debian.org does not seem to respond or responds always empty
pages (no error) when I use a client certificate.
Cheers,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy:
Le 03/08/2020 à 11:49, Lucas Nussbaum a écrit :
> During an archive rebuild in unstable/amd64, I ran into many similar
> failures, affecting only ocaml packages (see the list in Affects). An
> example is yojson:
>
>> make[1]: Leaving directory '/tmp/yojson-1.7.0'
>>dh_dwz
>> dwz --
Package: src:lablgtk-extras
Version: 1.6-1
Severity: serious
Tags: upstream
Dear Maintainer,
Please port lablgtk-extras to lablgtk3.
See also https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911166 .
Cheers,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT prefers
Le 23/07/2020 à 17:35, Vincent Lefevre a écrit :
>> I am planning to change the packaging structure of Unison in Debian.
>>
>> My current roadmap is:
>> - create a new source package unison-2.48
>> - make meta-unison provide unison and unison-gtk with symlinks to the
>> binaries provided by
Le 22/07/2020 à 21:20, Anton Avramov a écrit :
> Can you give an update when should we expect this in debian?
> Either as a standolne package or part of the main one
I am planning to change the packaging structure of Unison in Debian.
My current roadmap is:
- create a new source package
Package: terminator
Version: 1.92-2
Severity: normal
Dear Maintainer,
When I select something in a terminal, then press the middle button of
the mouse, the selection is pasted at the current cursor position. At
least, it is the case with gnome-terminal and it used to be the case
with terminator.
Control: tags -1 + patch
Le 29/04/2020 à 16:57, Stéphane Glondu a écrit :
> On my system, mounting a filesystem with mount.s3ql fails with:
>> fusermount: unknown option 'nonempty'
>> ERROR: fuse_mount failed
>
> This seems related to fuse3, where this option has been rem
Package: s3ql
Version: 3.3.2+dfsg-2+b1
Severity: grave
Dear Maintainer,
On my system, mounting a filesystem with mount.s3ql fails with:
> fusermount: unknown option 'nonempty'
> ERROR: fuse_mount failed
This seems related to fuse3, where this option has been removed. As
gnome-gvfs requires
Le 04/04/2020 à 20:21, Moritz Mühlenhoff a écrit :
>>> pycaml is deprecated in favour of pyml (in NEW). The only reverse
>>> dependency, coccinelle, is supposed to switch to pyml. Once it's done,
>>> we can remove pycaml.
>>
>> pyml is now in testing.
>>
>> Emmanuel Arias (in CC) has shown
Le 02/04/2020 à 22:23, Thomas Leonard a écrit :
> My package (https://tracker.debian.org/pkg/zeroinstall-injector)
> depends on lablgtk2 and the tracker says it will be removed on 4th Apr
> due to this issue.
>
> I can't upgrade to lablgtk3 because Debian/unstable only has an old
> beta release
Dear Ralf,
Le 02/04/2020 à 09:04, Ralf Treinen a écrit :
>> Severity: important
>
>> `menhir --suggest-menhirLib` returns `/usr/lib/menhirLib` which does
>> not exist. It think it should return `/usr/lib/ocaml/menhirLib`.
>
> why severity=important ? I wasn't even aware of this option.
Package: menhir
Version: 20200123-2
Severity: important
Dear Maintainer,
`menhir --suggest-menhirLib` returns `/usr/lib/menhirLib` which does
not exist. It think it should return `/usr/lib/ocaml/menhirLib`.
Cheers,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT
Package: ledger-wallets-udev
Version: 0.2
Severity: important
Dear Maintainer,
It seems that the following lines:
KERNEL=="hidraw*", SUBSYSTEM=="hidraw", MODE="0660", GROUP="plugdev",
ATTRS{idVendor}=="2c97"
KERNEL=="hidraw*", SUBSYSTEM=="hidraw", MODE="0660", GROUP="plugdev",
-2.0.3/debian/changelog 2019-02-01 12:05:09.0 +0100
+++ opam-2.0.3/debian/changelog 2020-02-18 07:42:31.0 +0100
@@ -1,3 +1,10 @@
+opam (2.0.3-1+deb10u1) buster; urgency=medium
+
+ * Team upload
+ * Prefer mccs over aspcud (Closes: #908203)
+
+ -- Stéphane Glondu Tue, 18 Feb 2020 07
Le 19/02/2020 à 09:06, Ralf Treinen a écrit :
> - coq does not build on all architectures, and the situation for building
> coq has become worse starting with 8.11. Menhir however is a parser
> generator, like bison, and should be available on all architectures.
Could you elaborate? What
00 +0100
@@ -1,3 +1,10 @@
+opam (2.0.3-1+deb10u1) buster; urgency=medium
+
+ * Team upload
+ * Prefer mccs over aspcud (Closes: #908203)
+
+ -- Stéphane Glondu Tue, 18 Feb 2020 07:42:31 +0100
+
opam (2.0.3-1) unstable; urgency=medium
* New (bugfix) upstream release
diff -Nru opam-2.0.3
Le 17/02/2020 à 16:34, Gianfranco Costamagna a écrit :
> After 12 years or so, I think its time to NMU this change :)
A change in upstream sources? Of a default for something that can be
configured? Really?
Did you discuss with upstream about that change? Is the current
behaviour violating some
Le 12/02/2020 à 21:34, Boyuan Yang a écrit :
> I noticed that the latest upload of package babeld was not a source-only
> upload. As a result, this upload will not migrate to testing. Please consider
> making another source-only upload. You may find more information about source-
> only upload at
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppx-here
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ppx_here
* License : MIT
Programming Lang: OCaml
Description : extension
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppx-bin-prot
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ppx_bin_prot
* License : MIT
Programming Lang: OCaml
Description
Le 09/01/2020 à 21:37, Melik Yuksel a écrit :
> Package: unison
> Version: 2.48.4-1+b1
>
> The unison package on the repository should be updated to the latest version,
> which as of January 2020 is 2.51.2. Clients using version above 2.48 are not
> backwards compatible with 2.48, so this is
Package: src:why3
Version: 1.2.1-2
Severity: grave
Tags: ftbfs
Dear Maintainer,
why3 FTBFS with menhir 20200123:
https://buildd.debian.org/status/package.php?p=why3=sid
Log:
> [...]
> Linking bin/why3.opt
> x86_64-linux-gnu-gcc: error: /usr/lib/ocaml/menhirLib/menhirLib.o: No such
> file
Package: ftp.debian.org
Severity: normal
Dear FTP Masters,
Please remove js-build-tools from unstable. It is deprecated upstream
[1] (in favour of ocaml-dune) and no longer has reverse-dependencies.
[1] https://github.com/janestreet-deprecated/js-build-tools
Cheers,
--
Stéphane
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppx-variants-conv
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ppx_variants_conv
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppx-custom-printf
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ppx_custom_printf
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppx-fields-conv
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ppx_fields_conv
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppx-compare
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ppx_compare
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-parsexp
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/parsexp
* License : MIT
Programming Lang: OCaml
Description : S
Package: src:mlpost
Version: 0.8.2-1
Severity: serious
Tags: ftbfs
Dear Maintainer,
mlpost FTBFS with latest ocaml-bitstring (3.1.1):
https://buildd.debian.org/status/package.php?p=mlpost=unstable
Cheers,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT prefers
Le 21/01/2020 à 09:11, Ondřej Surý a écrit :
>> A domain name is a sequence of labels separated by dots, such as
>> foo.example. Each label may contain any bytes. The length of each
>> label may not exceed 63 charactes. The total length of a domain name
>> is limited to 253 (byte representation is
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-domain-name
Version : 0.3.0
Upstream Author : Hannes Mehnert
* URL : https://github.com/hannesm/domain-name
* License : ISC
Programming Lang: OCaml
Description : RFC 1035
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: lwt-ssl
Version : 1.1.3
Upstream Author : Jérôme Vouillon and Jérémie Dimino
* URL : https://github.com/ocsigen/lwt_ssl
* License : LGPL with OpenSSL linking exception
Programming Lang
Le 20/01/2020 à 09:08, Juhani Numminen a écrit :
> I'm not with the FTP Masters but maybe I can still help :)
>
> There are still packages that build-depend on liblwt-ssl-ocaml-dev, and
> additionally src:lwt still suggests it. The Build-Deps are probably
> preventing automatic cruft removal of
Package: ftp.debian.org
Severity: normal
Dear FTP Masters,
Please remove ppx-core from unstable. It is deprecated upstream [1]
(in favour of ppxlib) and no longer has reverse-dependencies.
[1] https://github.com/janestreet-deprecated/ppx_core
Cheers,
--
Stéphane
Package: ftp.debian.org
Severity: normal
Dear FTP Masters,
Please remove ppx-driver from unstable. It is deprecated upstream [1]
(in favour of ppxlib) and no longer has reverse-dependencies.
[1] https://github.com/janestreet-deprecated/ppx_driver
Cheers,
--
Stéphane
Le 14/01/2020 à 02:26, Benjamin Poirier a écrit :
> The coccinelle package has been uninstallable for many weeks in unstable:
>
> root@f3:~# apt install coccinelle
> [...]
> The following packages have unmet dependencies:
> coccinelle : Depends: libpcre-ocaml-2h5n2 but it is not installable
>
Package: ftp.debian.org
Severity: normal
Dear FTP Masters,
Please remove ppx-type-conv from unstable. It is deprecated upstream
[1] (in favour of ppxlib) and no longer has reverse-dependencies.
[1] https://github.com/janestreet-deprecated/ppx_type_conv
Cheers,
--
Stéphane
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-fmt
Version : 0.8.8
Upstream Author : Daniel Bünzli
* URL : https://erratique.ch/software/fmt
* License : ISC
Programming Lang: OCaml
Description : OCaml Format pretty
Le 21/11/2019 à 15:26, Stéphane Glondu a écrit :
> pycaml is deprecated in favour of pyml (in NEW). The only reverse
> dependency, coccinelle, is supposed to switch to pyml. Once it's done,
> we can remove pycaml.
pyml is now in testing.
Emmanuel Arias (in CC) has shown interest in
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-astring
Version : 0.8.3
Upstream Author : Daniel Bünzli
* URL : http://erratique.ch/software/astring
* License : ISC
Programming Lang: OCaml
Description : alternative String
Package: gnome-shell
Version: 3.34.2-1
Severity: important
Dear Maintainer,
After a long time using Xorg on this computer, I tried to switch back
again to Wayland.
Now, with Wayland, my keyboard layout (French (Dvorak)) is messed up:
for example, when I input "&" (Shift+keycode 35), I get "Z"
Le 29/12/2019 à 13:05, Stéphane Glondu a écrit :
>> This is probably caused by a bug in camlp5, caught by a stricter dynamic
>> linker in OCaml 4.08. It is fixed in camlp5 7.10.
>>
>> See https://github.com/camlp5/camlp5/pull/46
>
> I've updated camlp5 to 7.10, and
Le 19/12/2019 à 23:39, Christopher Cramer a écrit :
> This is probably caused by a bug in camlp5, caught by a stricter dynamic
> linker in OCaml 4.08. It is fixed in camlp5 7.10.
>
> See https://github.com/camlp5/camlp5/pull/46
I've updated camlp5 to 7.10, and given back hol-light on amd64. It
201 - 300 of 1260 matches
Mail list logo