Find corrupted bytecodes on Ubuntu (was: Re: How to know the set of (source?) packages having bytecode executables?)

[David MENTRE <dmentre@linux-france.org>]

Hello Stefano,

Stefano Zacchiroli <zack@debian.org> writes:

> Nope, the file database AFAIK is not accessible via python-debian at the
> moment, nor it is from python-apt. For the sake of performances I
> suggest you to use apt-file instead of dpkg -S.

Thank you for the apt-file suggestion, I did not know about it.

In fact, identifying a corrupted OCaml bytecode is more complicated than
I thought as the program can be launched and give some error messages
vene if corrupted. So I basically installed all OCaml packages
available, find the binaries available in a /bin directory (with the
command attached) and launched them manually. Not very good engineering,
I know. :-)

I have made a first list of corrupted packages[1] and made a call on
caml-list is case somebody would see another error.

I have a question on the attached command: despite using 'apt-file -F',
the command reports some packages like pkglist that does not seem to be
OCaml related. Any idea why I observe such a behavior?

Yours,
d.

Footnotes: 
[1]  https://bugs.launchpad.net/ubuntu/+source/pkg-create-dbgsym/+bug/197293

-- 
GPG/PGP key: A3AD7A2A David MENTRE <dmentre@linux-france.org>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A

for i in list \
    advi \
    advi-examples \
    approx \
    ara-byte \
    xara-gtk-byte \
    bibtex2html \
    libcairo-ocaml \
    libcairo-ocaml-dev \
    libcalendar-ocaml-dev \
    cameleon \
    cameleon-doc \
    libcameleon-ocaml-dev \
    camlidl \
    libcamlimages-ocaml \
    libcamlimages-ocaml-dev \
    libcamlimages-ocaml-doc \
    camlp5 \
    libzip-ocaml \
    libzip-ocaml-dev \
    libcamomile-ocaml-data \
    libcamomile-ocaml-dev \
    cduce \
    cmigrep \
    confluence \
    coq \
    coq-libs \
    coqide \
    libcryptgps-ocaml-dev \
    libcryptokit-ocaml \
    libcryptokit-ocaml-dev \
    dag2html \
    edos-debcheck \
    edos-rpmcheck \
    libextlib-ocaml-dev \
    libfacile-ocaml-dev \
    felix \
    ocaml-findlib \
    freetennis \
    freetennis-common \
    libgdome2-xslt-dev \
    libgdome2-xslt-ocaml \
    libgdome2-xslt-ocaml-dev \
    libgdome2-xslt0c2a \
    geneweb \
    gwsetup \
    gwtp \
    libgdome2-cpp-smart-dev \
    libgdome2-cpp-smart0c2a \
    libgdome2-ocaml \
    libgdome2-ocaml-dev \
    haxe \
    headache \
    hevea \
    hlins \
    liblablgl-ocaml \
    liblablgl-ocaml-dev \
    liblablgtk2-gl-ocaml \
    liblablgtk2-gl-ocaml-dev \
    liblablgtk2-gnome-ocaml \
    liblablgtk2-gnome-ocaml-dev \
    liblablgtk2-ocaml \
    liblablgtk2-ocaml-dev \
    liblablgtksourceview-ocaml \
    liblablgtksourceview-ocaml-dev \
    liblablgtk2-ocaml-doc \
    liblablgtkmathview-ocaml \
    liblablgtkmathview-ocaml-dev \
    ledit \
    liguidsoap \
    liquidsoap \
    matita \
    matita-standard-library \
    mediawiki \
    mediawiki-math \
    menhir \
    mldonkey-gui \
    mldonkey-server \
    libgmp-ocaml \
    libgmp-ocaml-dev \
    libmlpcap-ocaml \
    libmlpcap-ocaml-dev \
    monotone-viz \
    mtasc \
    libmysql-ocaml \
    libmysql-ocaml-dev \
    libnumerix-ocaml \
    libnumerix-ocaml-dev \
    numerix-doc \
    camlp4 \
    camlp4-extra \
    ocaml \
    ocaml-base \
    ocaml-base-nox \
    ocaml-compiler-libs \
    ocaml-interp \
    ocaml-mode \
    ocaml-native-compilers \
    ocaml-nox \
    ocaml-source \
    libalsa-ocaml \
    libalsa-ocaml-dev \
    libao-ocaml \
    libao-ocaml-dev \
    libbenchmark-ocaml-dev \
    libcurses-ocaml \
    libcurses-ocaml-dev \
    libdtools-ocaml-dev \
    libexpat-ocaml \
    libexpat-ocaml-dev \
    libfileutils-ocaml-dev \
    libgetopt-ocaml-dev \
    libhttp-ocaml-dev \
    libladspa-ocaml \
    libladspa-ocaml-dev \
    liblastfm-ocaml-dev \
    libmad-ocaml \
    libmad-ocaml-dev \
    libogg-ocaml \
    libogg-ocaml-dev \
    libportaudio-ocaml \
    libportaudio-ocaml-dev \
    libreins-ocaml-dev \
    libsha-ocaml \
    libsha-ocaml-dev \
    libshout-ocaml \
    libshout-ocaml-dev \
    libsoundtouch-ocaml \
    libsoundtouch-ocaml-dev \
    libsqlite3-ocaml \
    libsqlite3-ocaml-dev \
    libssl-ocaml \
    libssl-ocaml-dev \
    libyaml-syck-ocaml \
    libyaml-syck-ocaml-dev \
    libvorbis-ocaml \
    libvorbis-ocaml-dev \
    libxmlplaylist-ocaml-dev \
    libagrep-ocaml \
    libagrep-ocaml-dev \
    libcreal-ocaml-dev \
    libldap-ocaml-dev \
    ocamldsort \
    libocamlgraph-ocaml-dev \
    libocamlgsl-ocaml \
    libocamlgsl-ocaml-dev \
    libequeue-gtk2-ocaml-dev \
    libequeue-ocaml \
    libequeue-ocaml-dev \
    libnetclient-ocaml-dev \
    libnethttpd-ocaml-dev \
    libocamlnet-gtk2-ocaml-dev \
    libocamlnet-ocaml \
    libocamlnet-ocaml-bin \
    libocamlnet-ocaml-dev \
    libocamlnet-ocaml-doc \
    libocamlnet-ssl-ocaml \
    libocamlnet-ssl-ocaml-dev \
    librpc-ocaml-dev \
    libocamlodbc-ocaml-dev \
    libsdl-ocaml \
    libsdl-ocaml-dev \
    ocamlwc \
    ocamlweb \
    ocsigen \
    ocsigen-doc \
    libcurl-ocaml \
    libcurl-ocaml-dev \
    omake \
    orpie \
    otags \
    libounit-ocaml-dev \
    libcf-ocaml \
    libcf-ocaml-dev \
    libpcre-ocaml \
    libpcre-ocaml-dev \
    libperl4caml-ocaml \
    libperl4caml-ocaml-dev \
    libperl4caml-ocaml-doc \
    planets \
    polygen \
    polygen-data \
    libpostgresql-ocaml \
    libpostgresql-ocaml-dev \
    libpxp-ocaml-dev \
    spamoracle-byte \
    libsyslog-ocaml \
    libsyslog-ocaml-dev \
    ocaml-ulex \
    ocaml-ulex08 \
    unison \
    unison-gtk \
    whitelister \
    why \
    libxml-light-ocaml-dev \
    libxstr-ocaml-dev; do apt-file list -F $i; done \
  | grep /bin