Your message dated Wed, 22 Feb 2017 13:03:44 +0000 with message-id <[email protected]> and subject line Bug#854787: fixed in ocaml-zarith 1.4.1-2 has caused the Debian Bug report #854787, regarding unusable plugin 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 [email protected] immediately.) -- 854787: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=854787 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: libzarith-ocaml Version: 1.4.1-1 Severity: important Hello, $ cat plugin.ml print_endline Z.(to_string (one + of_string Sys.argv.(1))) $ cat loader.ml open Dynlink let () = try loadfile "/usr/lib/ocaml/zarith/zarith.cmxs"; loadfile "plugin.cmxs" with Error e -> prerr_endline (error_message e) $ ocamlfind ocamlopt -package zarith -shared -o plugin.cmxs plugin.ml $ ocamlfind ocamlopt -package dynlink -linkpkg -linkall -o loader loader.ml $ ./loader 42 error loading shared library: /tmp/glondu/plugin.cmxs: undefined symbol: camlZ My suspicion is that zarith.cmxs has been compiled without -linkall: $ ocamlopt -linkall -shared -I /usr/lib/ocaml/zarith -o zarith.cmxs zarith.cmxa $ sed -i 's@/usr/lib/ocaml/zarith/@@' loader.ml $ ocamlfind ocamlopt -package dynlink -linkpkg -linkall -o loader loader.ml $ ./loader 42 43 Cheers, -- Stéphane -- System Information: Debian Release: 9.0 APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.8.0-2-amd64 (SMP w/8 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages libzarith-ocaml depends on: ii libc6 2.24-8 ii libgmp10 2:6.1.2+dfsg-1 ii ocaml-base-nox [ocaml-base-nox-4.02.3] 4.02.3-9 libzarith-ocaml recommends no packages. libzarith-ocaml suggests no packages. -- no debconf information
--- End Message ---
--- Begin Message ---Source: ocaml-zarith Source-Version: 1.4.1-2 We believe that the bug you reported is fixed in the latest version of ocaml-zarith, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Stéphane Glondu <[email protected]> (supplier of updated ocaml-zarith package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 22 Feb 2017 11:17:47 +0100 Source: ocaml-zarith Binary: libzarith-ocaml-dev libzarith-ocaml libzarith-ocaml-doc Architecture: source amd64 all Version: 1.4.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Stéphane Glondu <[email protected]> Description: libzarith-ocaml - arithmetic and logical operations over arbitrary-precision intege libzarith-ocaml-dev - arithmetic and logical operations over arbitrary-precision intege libzarith-ocaml-doc - arithmetic and logical operations over arbitrary-precision intege Closes: 854787 Changes: ocaml-zarith (1.4.1-2) unstable; urgency=medium . * Team upload * Build plugin with -linkall (Closes: #854787) Checksums-Sha1: fb2c15a01c155902d551439ad9e8713d2c6f8654 2230 ocaml-zarith_1.4.1-2.dsc 18a3696d4a7e9e071fc041e82904269b36a07f10 3856 ocaml-zarith_1.4.1-2.debian.tar.xz 6ef22a97fb57f12d5c7dc05b7ab5047c76c6ef50 85310 libzarith-ocaml-dbgsym_1.4.1-2_amd64.deb 32cb5cf4ecb8921adbf3c791cab00afc3716129d 47206 libzarith-ocaml-dev_1.4.1-2_amd64.deb 60e41065a4011bdbd5999cddfee86c0262ed3fd2 20598 libzarith-ocaml-doc_1.4.1-2_all.deb 5476eb816304a3ee92835ac0dc4cf2fc5f11541e 43938 libzarith-ocaml_1.4.1-2_amd64.deb de1fc1c81da14edb9e2558f916099da3c3831e44 5822 ocaml-zarith_1.4.1-2_amd64.buildinfo Checksums-Sha256: ea3a8e0c4294cd8216ca73c97bf49322a1f88c1384d8c0f2f1e2f96e3ada6f58 2230 ocaml-zarith_1.4.1-2.dsc 52205865d963b3250e61a98fc72391773c36c264e2f301790207a06ec4a47707 3856 ocaml-zarith_1.4.1-2.debian.tar.xz 4f33a6358616b5467e5ecd5ada97a280f85c982124db597ab79496455ffbdad0 85310 libzarith-ocaml-dbgsym_1.4.1-2_amd64.deb 3f88af809c0e6c4b66379b7bb88f45d2688da72c17c246a27d7b47794694eb1c 47206 libzarith-ocaml-dev_1.4.1-2_amd64.deb 7cfc44493f0f947e86cf1eeb7efd64a9bceb5fcf921b1758776d1a8294d4b4d7 20598 libzarith-ocaml-doc_1.4.1-2_all.deb 5787659a48d256d8472b36418116befb17d16e9dea7e39150091e41fadade070 43938 libzarith-ocaml_1.4.1-2_amd64.deb a5f3de036239015410b25d5cd9eb01a1cbc60d715c2ff45202d2754a177a2464 5822 ocaml-zarith_1.4.1-2_amd64.buildinfo Files: a3c67dbf912ed8f66be964496bb1a9c0 2230 ocaml optional ocaml-zarith_1.4.1-2.dsc f4d0d6d7849545cc8797a1308f3d3540 3856 ocaml optional ocaml-zarith_1.4.1-2.debian.tar.xz 6491ce2d721f7373fb1bb4d16b8170ab 85310 debug extra libzarith-ocaml-dbgsym_1.4.1-2_amd64.deb 7e3b02f0fd7efc62525034ea9083253c 47206 ocaml optional libzarith-ocaml-dev_1.4.1-2_amd64.deb b55e86e5704bce5190ce685b945ee085 20598 doc optional libzarith-ocaml-doc_1.4.1-2_all.deb 307f6a0acf5cb991c6ee16b0fd15e20d 43938 ocaml optional libzarith-ocaml_1.4.1-2_amd64.deb 4efd2e7ba76cfcfbd5d0cd28235fae9f 5822 ocaml optional ocaml-zarith_1.4.1-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlithh0ACgkQeFPaTUmI GtPqOhAAs+q7fwqWuMqZV3Kn+W1IaN52LNfOOfkwB7jxX7VtOmVxDTuHWW1Xh4hm igKiVw+tLCb9/zfcmj3UMCHiCM78NRvj+IOgglw7vkDycAvjAMvGJFmBtT9+qi3b lTE3HJsg1KQrEboiE8E0uHVSHUKSloIIkX8CVuysbkHKLtlGaE1l12npTvuqDJgZ RynvS/LQwNiAoy+0ZyqMfsA1UAL4rOgTgNbCLKOdznCf+oD2IkBvucHV0XDICphd tkJNdcFiluwql2+T7VOZZTfSi6BSZfscItw2pOfqbnVOqmzEPe4mWqaV6lq78j+z B/uF+X92s62ObMpw0nvExKdge7hoYc7shHlIoZvFZhCdVdbBSQzUAr5F7ws2YOvy hpCvF3aN3QPBODqnD49ngLhevbOl7D0W7hcuS5SlD1thBfae/XZQohIa7BzlvOUh qhQlMYM9cyU5dFftF0975BUwOLEIcMyiUm9fL2PW7W3JBXk2wOgCs9mW5xjNUrUC FF2OsYMYnMfAbMfmLupUIzDM32hDcYMuW6xXfEQ9T3qihMnpMSthtQPE1DA/zrO6 nh93P0nJw5cjirsfKTodPJQN2TQT8ZjUaABY+MS0aEInvETDvhEVrEw3D/XLHqha Nz8GRHBPTthC/coPNZnYcZwK9+x9j3z9m7vcaWzv/P7Qd5Bz6ak= =TmZu -----END PGP SIGNATURE-----
--- End Message ---
