Your message dated Fri, 17 Apr 2009 10:15:50 +0200 with message-id <49E83AB6.3040701@glondu.net> and subject line Closing bug has caused the Debian Bug report #256900, regarding ocaml: Ocaml compiled programs cannot be stripped, hence either don't work or violate policy 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.) -- 256900: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=256900 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: ocaml: Ocaml compiled programs cannot be stripped, hence either don't work or violate policy
- From: Jeroen van Wolffelaar <jeroen@wolffelaar.nl>
- Date: Tue, 29 Jun 2004 21:34:10 +0200
- Message-id: <20040629193410.GA4082@wolffelaar.nl>
Package: ocaml Severity: important As also partly discussed in #69724, ocaml-compiled binaries cannot be stripped without becoming useless. I don't know how exactly this comes, but IMHO, stripping a binary should not render it useless, so I guess OCaml is wrongly using some optional, discardable section, like those intended for debugging information, to store essential data. Some ELF format wizard would probably be better at explaining this / nailing this down. --Jeroen -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Kernel: Linux 2.6.3 Locale: LANG=nl_NL.UTF-8@euro, LC_CTYPE=nl_NL.UTF-8@euro -- Jeroen van Wolffelaar jeroen@wolffelaar.nl http://jeroen.A-Eskwadraat.nl
--- End Message ---
--- Begin Message ---
- To: 256900-done@bugs.debian.org
- Subject: Closing bug
- From: Stéphane Glondu <steph@glondu.net>
- Date: Fri, 17 Apr 2009 10:15:50 +0200
- Message-id: <49E83AB6.3040701@glondu.net>
I think everything has been said on this topic now, therefore I'm closing this bug. -- Stéphane
--- End Message ---