Bug#933830: marked as done (ITP: ocaml-num -- legacy Num library for arbitrary-precision integer and rational arithmetic)
Your message dated Sun, 11 Aug 2019 21:00:12 +0000
with message-id <E1hwuwm-0007cW-1L@fasolo.debian.org>
and subject line Bug#933830: fixed in ocaml-num 1.2-1
has caused the Debian Bug report #933830,
regarding ITP: ocaml-num -- legacy Num library for arbitrary-precision integer and rational arithmetic
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.)
--
933830: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=933830
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu <glondu@debian.org>
* Package name : ocaml-num
Version : 1.2
Upstream Author : Xavier Leroy <xavier.leroy@inria.fr>
* URL : https://github.com/ocaml/num/
* License : LGPL 2.1 with OCaml linking exception
Programming Lang: OCaml, C
Description : legacy Num library for arbitrary-precision integer and rational arithmetic
This library implements arbitrary-precision arithmetic on big integers
and on rationals.
This is a legacy library. It used to be part of the core OCaml
distribution (in otherlibs/num) but is now distributed separately. New
applications that need arbitrary-precision arithmetic should use the
Zarith library (https://github.com/ocaml/Zarith) instead of the Num
library, and older applications that already use Num are encouraged to
switch to Zarith. Zarith delivers much better performance than Num and
has a nicer API.
Several packages depends on this in Debian, including: scilab, z3,
coccinelle, ocaml-batteries.
The package will be maintained by the ocaml-team.
--- End Message ---
--- Begin Message ---
Source: ocaml-num
Source-Version: 1.2-1
We believe that the bug you reported is fixed in the latest version of
ocaml-num, 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 933830@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated ocaml-num 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: SHA512
Format: 1.8
Date: Sun, 04 Aug 2019 19:12:00 +0200
Source: ocaml-num
Binary: libnum-ocaml libnum-ocaml-dbgsym libnum-ocaml-dev
Architecture: source amd64
Version: 1.2-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
libnum-ocaml - library for arbitrary-precision and rational arithmetic (runtime)
libnum-ocaml-dev - library for arbitrary-precision and rational arithmetic (developm
Closes: 933830
Changes:
ocaml-num (1.2-1) experimental; urgency=medium
.
* Initial release (Closes: #933830)
Checksums-Sha1:
994c9cb48ea5e5bb0badd6b7fac91a2c543fd11f 1661 ocaml-num_1.2-1.dsc
35e202ff921cb38299d0df0f800034432e35bc25 65310 ocaml-num_1.2.orig.tar.gz
13a13d2a15f1d22b121007eaaf34ba2fe90efe0d 2968 ocaml-num_1.2-1.debian.tar.xz
91399a75654482a71fb27fdd6b5aaced9d12f116 17060 libnum-ocaml-dbgsym_1.2-1_amd64.deb
38e706a244acb1179a002e3f7dcdfa341d52e06e 105200 libnum-ocaml-dev_1.2-1_amd64.deb
7385a1f1a4bfc91586253611bcb2e1588b22fa85 155716 libnum-ocaml_1.2-1_amd64.deb
e06049d8d4cf25389d60349d2586f542d38b3ec6 5792 ocaml-num_1.2-1_amd64.buildinfo
Checksums-Sha256:
a4ebd35fed7e4471be0808e7a59f05bd2469c3e7737adf22affdd201acd6f1d7 1661 ocaml-num_1.2-1.dsc
c5023104925ff4a79746509d4d85294d8aafa98da6733e768ae53da0355453de 65310 ocaml-num_1.2.orig.tar.gz
10a43b83dc64dae886a46251a03aea4a17b8461bd8a70fbea55f9f57cc6ee636 2968 ocaml-num_1.2-1.debian.tar.xz
8dee42d150868ae1b80f77d100ae441a7e746398d1bb4195caeb9a2ba6850e0e 17060 libnum-ocaml-dbgsym_1.2-1_amd64.deb
2b06384e2cecb5e0118fb8181dded8d6ce9faa5d592cea8e081f7ff0b207c2ec 105200 libnum-ocaml-dev_1.2-1_amd64.deb
1bc3f4f7453b5c993c3c39c16fd3eccba8ad6ae5ea16d9d9adcbabe7737b1795 155716 libnum-ocaml_1.2-1_amd64.deb
7ff638fd90ca1a81aa680427945ba0fc331c72ef5ef346538216feae35dd77fe 5792 ocaml-num_1.2-1_amd64.buildinfo
Files:
3166fb5a61aacb253e8a06c2f1551654 1661 ocaml optional ocaml-num_1.2-1.dsc
4f43ce8e44db68692bee50f2f8ef911c 65310 ocaml optional ocaml-num_1.2.orig.tar.gz
caaa991d8d10418f2c7bf8f6a993a7df 2968 ocaml optional ocaml-num_1.2-1.debian.tar.xz
6034bd8f4a8b4f00718b64309cf812d3 17060 debug optional libnum-ocaml-dbgsym_1.2-1_amd64.deb
b834908752ae87bb76f9449eed265796 105200 ocaml optional libnum-ocaml-dev_1.2-1_amd64.deb
e28593bda90f3226607c3904db155724 155716 ocaml optional libnum-ocaml_1.2-1_amd64.deb
a5b0b81971b06d7cf29b692267044700 5792 ocaml optional ocaml-num_1.2-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl1QOZQACgkQIbju8bGJ
MIE4/wf/VqXso5xSXCrpdXA9uOls8Ndv3sUn0RgiuXwvGd1KO/IqiIZaZxbMHwaI
0+zXYuPngTY/at6bgaxhBMrINJmqiAMi62RII/Wie44tl6yHOJUvBooStfKyjhao
DETz8lRYYDfeDGjr2bfs13HhZlBAPfVq+f3jA0eeVjGF3lAhW13IiDnmJ2VTqy4C
jvlKcgnZ0Qvb6pzGzop9cE9z0LBUEFbvHOCkv9OZNqGv7twSBoH1sv62ckKKiAgj
1tMWUKz2zArfLJ713dt2D0K0fzm2QDBeqiyT5HuqdtqyDnVxTUxNE3lqVLI8ZWhT
qIEsgepzTwXnY3f4YPrfTkB3ooL6Rw==
=TOtl
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: