Bug#880062: nmu: ppx-tools_5.0+4.05.0-1
Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: binnmu
nmu ppx-tools_5.0+4.05.0-1 . hurd-i386 kfreebsd-amd64 kfreebsd-i386 . unstable . -m "Recompile to fix import of Location implementation."
gb ppx-deriving_4.1-1.1 . hurd-i386 kfreebsd-amd64 kfreebsd-i386 . unstable
dw ppx-deriving_4.1-1.1 . hurd-i386 kfreebsd-amd64 kfreebsd-i386 . unstable . -m "libppx-tools-ocaml-dev (>= 5.0+4.05.0-1+b1)"
There has been a similar binNMU for amd64 (and perhaps some related ones
for other architectures as well), so maybe this could fix #877857 for the
non-linux architectures.
Andreas
Reply to: