Bug#1073289: OCaml 5.2.0

To: Stéphane Glondu <glondu@debian.org>, 1073289@bugs.debian.org
Subject: Bug#1073289: OCaml 5.2.0
From: julien.puydt@gmail.com
Date: Tue, 18 Jun 2024 17:01:39 +0200
Message-id: <[🔎] a443f113dfd1555a5f814c1e16c5b7b2fd6c9089.camel@gmail.com>
Reply-to: julien.puydt@gmail.com, 1073289@bugs.debian.org
In-reply-to: <[🔎] 21696d32-7934-4664-bed5-0c0b3090d9a0@debian.org>
References: <[🔎] 171851618725.2026115.6942809247332555452.reportbug@baronn.up7.fr> <[🔎] 171851618725.2026115.6942809247332555452.reportbug@baronn.up7.fr> <[🔎] e995e81c086d5469dc30eb05c35c275a2b2fba74.camel@gmail.com> <[🔎] 3095ca88-c9ba-4679-9525-6f89f753979c@debian.org> <[🔎] 171851618725.2026115.6942809247332555452.reportbug@baronn.up7.fr> <[🔎] 364e671408eaaf12a8a34bcdaa0cf833e6c05fab.camel@gmail.com> <[🔎] 21696d32-7934-4664-bed5-0c0b3090d9a0@debian.org> <[🔎] 171851618725.2026115.6942809247332555452.reportbug@baronn.up7.fr>

Hi,

Le mardi 18 juin 2024 à 11:12 +0200, Stéphane Glondu a écrit :
> Le 18/06/2024 à 09:58, julien.puydt@gmail.com a écrit :
> > - coq-unimath - host couldn't take it, I'll have to try myself

It's a green light!

JP

Reply to:

References:
- Bug#1073289: OCaml 5.2.0
  - From: Stéphane Glondu <glondu@debian.org>
- Bug#1073289: OCaml 5.2.0
  - From: julien.puydt@gmail.com
- Bug#1073289: OCaml 5.2.0
  - From: Stéphane Glondu <glondu@debian.org>
- Bug#1073289: OCaml 5.2.0
  - From: julien.puydt@gmail.com
- Bug#1073289: OCaml 5.2.0
  - From: Stéphane Glondu <glondu@debian.org>

Prev by Date: Processing of elpi_1.18.2-4_source.changes
Next by Date: yojson/botch blockage
Previous by thread: Bug#1073289: OCaml 5.2.0
Next by thread: Bug#1073289: OCaml 5.2.0
Index(es):
- Date
- Thread