Discussion:
Bug#1094177: transition: luametatex
Add Reply
Hilmar Preusse
2025-01-25 15:20:01 UTC
Reply
Permalink
Package: release.debian.org
Severity: normal
User: ***@packages.debian.org
Usertags: transition

The mimalloc package recently performed an API change and recently
uploaded a package having the correct name. Please trigger a binNMU
for luametatex to fix the dependency.

Ben file:

title = "luametatex";
is_affected = .depends ~ /libmimalloc/;
is_good = .depends ~ "libmimalloc3";
is_bad = .depends ~ "libmimalloc2.0";


Thanks!
Debian Bug Tracking System
2025-01-25 17:20:01 UTC
Reply
Permalink
retitle -1 transition: mimalloc
Bug #1094177 [release.debian.org] transition: luametatex
Changed Bug title to 'transition: mimalloc' from 'transition: luametatex'.
--
1094177: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1094177
Debian Bug Tracking System
Contact ***@bugs.debian.org with problems
Sebastian Ramacher
2025-01-25 17:20:01 UTC
Reply
Permalink
Control: retitle -1 transition: mimalloc
Post by Hilmar Preusse
Package: release.debian.org
Severity: normal
Usertags: transition
The mimalloc package recently performed an API change and recently
uploaded a package having the correct name. Please trigger a binNMU
for luametatex to fix the dependency.
This is transition for mimalloc. Retiteling accordingly.

Cheers
--
Sebastian Ramacher
Debian Bug Tracking System
2025-03-01 12:10:04 UTC
Reply
Permalink
Your message dated Sat, 1 Mar 2025 12:56:30 +0100
with message-id <***@ramacher.at>
and subject line Re: Bug#1094177: transition: luametatex
has caused the Debian Bug report #1094177,
regarding transition: mimalloc
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ***@bugs.debian.org
immediately.)
--
1094177: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1094177
Debian Bug Tracking System
Contact ***@bugs.debian.org with problems
Loading...