Bug#690114: marked as done (camlp4{-extra} should ship cmxs files where available)
Your message dated Wed, 8 Feb 2023 08:07:27 +0100
with message-id <0982305e-5e03-30c3-68d7-64edbbb7c8e0@debian.org>
and subject line camlp4 should ship cmxs files where available
has caused the Debian Bug report #690114,
regarding camlp4{-extra} should ship cmxs files where available
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 owner@bugs.debian.org
immediately.)
--
690114: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=690114
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: camlp4{-extra} should ship cmxs files where available
- From: Ralf Treinen <treinen@free.fr>
- Date: Wed, 10 Oct 2012 08:20:36 +0200
- Message-id: <20121010062036.GA3966@free.fr>
Package: camlp4,camlp4-extra
Version: camlp4/3.12.1-4
Version: camlp4-extra/3.12.1-4
Severity: wishlist
camlp4 should ships cmxs files on architectures where available, possibly
in the camlp4-extra package. See
https://mancoosi.org/~abate/two-simple-tips-speed-ocaml-compilation
-Ralf.
--- End Message ---
--- Begin Message ---
- To: 690114-done@bugs.debian.org
- Subject: camlp4 should ship cmxs files where available
- From: Stéphane Glondu <glondu@debian.org>
- Date: Wed, 8 Feb 2023 08:07:27 +0100
- Message-id: <0982305e-5e03-30c3-68d7-64edbbb7c8e0@debian.org>
On Wed, 10 Oct 2012 08:20:36 +0200, Ralf Treinen wrote:
camlp4 should ships cmxs files on architectures where available
It seems to be the case, since the split of camlp4 to its own package in
2015. Hence, closing.
Cheers,
--
Stéphane
--- End Message ---
Reply to: