[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#714088: marked as done (missing dependency to libgmp-dev)



Your message dated Tue, 25 Jun 2013 21:21:12 +0000
with message-id <E1Urafo-0004Vm-6f@franck.debian.org>
and subject line Bug#714088: fixed in ocaml-zarith 1.2.1-1
has caused the Debian Bug report #714088,
regarding missing dependency to libgmp-dev
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.)


-- 
714088: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714088
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libzarith-ocaml-dev
Version: 1.1-2
Severity: serious

steph@wencory:~$ cat bug.ml
print_endline Z.(to_string one);;
steph@wencory:~$ ocamlfind ocamlc -package zarith -linkpkg bug.ml
steph@wencory:~$ ./a.out
1
steph@wencory:~$ ocamlfind ocamlopt -package zarith -linkpkg bug.ml
/usr/bin/ld: cannot find -lgmp
collect2: error: ld returned 1 exit status
File "caml_startup", line 1, characters 0-1:
Error: Error during linking

-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.9-1-amd64 (SMP w/8 CPU cores)
Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages libzarith-ocaml-dev depends on:
ii  libzarith-ocaml [libzarith-ocaml-3wfy7]  1.1-2
ii  ocaml-nox [ocaml-nox-3.12.1]             3.12.1-4

libzarith-ocaml-dev recommends no packages.

Versions of packages libzarith-ocaml-dev suggests:
ii  ocaml-findlib  1.3.1-1

-- no debconf information

--- End Message ---
--- Begin Message ---
Source: ocaml-zarith
Source-Version: 1.2.1-1

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 714088@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@debian.org> (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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 25 Jun 2013 21:43:08 +0200
Source: ocaml-zarith
Binary: libzarith-ocaml-dev libzarith-ocaml libzarith-ocaml-doc
Architecture: source amd64 all
Version: 1.2.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
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: 714088
Changes: 
 ocaml-zarith (1.2.1-1) unstable; urgency=low
 .
   * New upstream release
   * Make libzarith-ocaml-dev depend on libgmp3-dev. (Closes: #714088)
   * Fix outdated-autotools-helper-file config.guess
     * Add autotools-dev in Build-Depends
   * Bump Standards-Version to 3.9.4
Checksums-Sha1: 
 e5d06220395761ec5a414addb3ef74f3e85b14bc 1845 ocaml-zarith_1.2.1-1.dsc
 4ffeddb18e56653c85cde68a5755a3a024282330 68654 ocaml-zarith_1.2.1.orig.tar.gz
 e5ad6262bbbe4e99a74ef9088c9da010be8e4b51 3411 ocaml-zarith_1.2.1-1.debian.tar.gz
 7017772e4b868f9eb63d5ac8bbb2e3c23871ae65 60850 libzarith-ocaml-dev_1.2.1-1_amd64.deb
 78bd89d7036dd532223b7388cf5c68ac591621db 36954 libzarith-ocaml_1.2.1-1_amd64.deb
 a0087a70799055ede89346e544f798d2cfaf923c 23426 libzarith-ocaml-doc_1.2.1-1_all.deb
Checksums-Sha256: 
 35b421add17a6fc786541c8b46660ba78b7b5bbc93e189965a2264156abd04c7 1845 ocaml-zarith_1.2.1-1.dsc
 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144 68654 ocaml-zarith_1.2.1.orig.tar.gz
 6d7d64c771ee3325a5cc4c8aa04639d1bd1ec86b1ac02a93fa721c84f72baa12 3411 ocaml-zarith_1.2.1-1.debian.tar.gz
 37735a8f1ac4ccacb3c3595b072c1e6add3f299cfac9deea7dbd94f9fcec55b0 60850 libzarith-ocaml-dev_1.2.1-1_amd64.deb
 7593b140fa7fe67829f7130b35c511a0bf2752f8fcadcc413c0add3d49a0f831 36954 libzarith-ocaml_1.2.1-1_amd64.deb
 6b709eee99ab07282f7105967fab3bbe25564e399b979ddb5356261abe63d699 23426 libzarith-ocaml-doc_1.2.1-1_all.deb
Files: 
 b1d8bcfec44b81c9b9cad8d5623cdbb7 1845 ocaml optional ocaml-zarith_1.2.1-1.dsc
 b507aaf2469103bb9e54291ff8def5c7 68654 ocaml optional ocaml-zarith_1.2.1.orig.tar.gz
 bccb76a0d98cb26eea7244ef2c6dbed3 3411 ocaml optional ocaml-zarith_1.2.1-1.debian.tar.gz
 c57de3f8d208c717a8e289e075e7b1af 60850 ocaml optional libzarith-ocaml-dev_1.2.1-1_amd64.deb
 41d9f5017e9220d871527cfbf928feb4 36954 ocaml optional libzarith-ocaml_1.2.1-1_amd64.deb
 b19c39da0a3a0c49dbfe3fd0f9316710 23426 doc optional libzarith-ocaml-doc_1.2.1-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQEcBAEBAgAGBQJRygKIAAoJEDe1GR0FRlJoIUwH/2saEsgl0vGDjqELSXe0cUCa
ByeabmI6kCgeOJaH0ZX7s16N2j2NRSr9soSFkygaHbcaJrwT9uVkxbwZK7WcmmL0
jM0j95xO0qV8JsmgGTaE3WgsBTi8kHLQ+X5a7/nCaNB4RDN6kLtlwaaw6+UVuJN8
bCmWrxaVt2u1ph4z/QXM3W4aXsftXJra9RVWdAMX6W0BWdQ7BaezBzseepzYXovb
fL9D0URpMYaKbcur0N2N+oLTHTL7sSc/bg+NJBKoYfUl7jCyBbQr1JYc6WYPath/
bkyeYOckciVZOgyYD19vaC2zNRNbKpoWHclXeY48QXE5ZaPIs99LV0BbXqXeMZ0=
=EAU5
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: