Le mardi 14 janvier 2025 à 08:12 +0100, Stéphane Glondu a écrit :
>
> I'm now asking for help from other maintainers to improve the
> situation!
I found the time to work on the coq-doc problem ; I made a few
modifications which improve matters, but it's still not compiling and
I'm a bit stuck be
Hi,
On 15/01/2025 06:48, Stéphane Glondu wrote:
Hi,
Le 14/01/2025 à 15:31, Julien Puydt a écrit :
I've rebuilt all (relevant) packages with this new version; the
results are available at the following address:
http://ocaml.debian.net/transitions/ocaml-5.3.0/
For some of them I have clu
Hi,
On Wed, Jan 15, 2025 at 07:48:11AM +0100, Stéphane Glondu wrote:
> I've reduced the number of missing packages down to 22. Here are the
> remaining ones:
>
> > coccinelle: # make[2]: *** [Makefile:39: manual.pdf] Error 1
> > (lightblue)
this certainly is
https://bugs.debian.
Hi,
Le 14/01/2025 à 15:31, Julien Puydt a écrit :
I've rebuilt all (relevant) packages with this new version; the
results are available at the following address:
http://ocaml.debian.net/transitions/ocaml-5.3.0/
For some of them I have clues :
- coq-unimath is a beast ; since it's coq c
Hi,
Le mardi 14 janvier 2025 à 08:12 +0100, Stéphane Glondu a écrit :
>
> I've rebuilt all (relevant) packages with this new version; the
> results are available at the following address:
>
> http://ocaml.debian.net/transitions/ocaml-5.3.0/
For some of them I have clues :
- coq-unimath is
Source: ocaml
Severity: normal
User: debian-ocaml-ma...@lists.debian.org
Usertags: ocaml-5.3.0-transition
Hi all,
As you may have seen from my recent commits, I've started to prepare the
transition of OCaml from the version currently in unstable, 5.2.0, to 5.3.0.
I've just uploaded 5.3.0-1~ex
6 matches
Mail list logo
