Bug#1090727: transition: elpi

[Emilio Pozuelo Monfort]

Control: tags -1 confirmed

On 18/12/2024 12:07, Julien Puydt wrote:

Package: release.debian.org
Severity: normal
User: release.debian....@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org

A new elpi version is out and a few other packages need to be updated.
I checked the whole set of depending packages to update or recompile so
this transition to happen smoothly.

I need a transition slot before I upload anything.

Go ahead.

Emilio