[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1090727: transition: elpi



Control: tags -1 confirmed

On 18/12/2024 12:07, Julien Puydt wrote:
Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-ocaml-maint@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


Reply to: