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

Bug#913456: marked as done (ITP: ocaml-ptmap -- Maps over integers implemented as Patricia trees)



Your message dated Thu, 06 Dec 2018 14:04:08 +0000
with message-id <E1gUuG8-000Etc-QV@fasolo.debian.org>
and subject line Bug#913456: fixed in ocaml-ptmap 2.0.4-1
has caused the Debian Bug report #913456,
regarding ITP: ocaml-ptmap -- Maps over integers implemented as Patricia trees
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.)


-- 
913456: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=913456
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Andy Li <andy@onthewings.net>

* Package name    : ocaml-ptmap
  Version         : 2.0.4
  Upstream Author : Jean-Christophe Filliâtre <Jean-
Christophe.Filliatre@lri.fr>
* URL             : https://github.com/backtracking/ptmap
* License         : LGPL
  Programming Lang: OCaml
  Description     : Maps over integers implemented as Patricia trees

OCaml implementation of an efficient maps over integers,
from a paper by Chris Okasaki.

This is one of the dependencies of the next version of Haxe (4.0.0).

I'm going to maintain it with the Debian OCaml Task Force.

--- End Message ---
--- Begin Message ---
Source: ocaml-ptmap
Source-Version: 2.0.4-1

We believe that the bug you reported is fixed in the latest version of
ocaml-ptmap, 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 913456@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Andy Li <andy@onthewings.net> (supplier of updated ocaml-ptmap 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: SHA256

Format: 1.8
Date: Sun, 02 Dec 2018 22:09:15 +0800
Source: ocaml-ptmap
Binary: libptmap-ocaml libptmap-ocaml-dev libptmap-ocaml-doc
Architecture: source amd64 all
Version: 2.0.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Andy Li <andy@onthewings.net>
Description:
 libptmap-ocaml - Maps over integers implemented as Patricia trees (Runtime library
 libptmap-ocaml-dev - Maps over integers implemented as Patricia trees (Development pac
 libptmap-ocaml-doc - Documentation for ocaml-ptmap
Closes: 913456
Changes:
 ocaml-ptmap (2.0.4-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #913456)
   * Add ocaml-4.05.patch that removes refs to things in OCaml 4.06+.
Checksums-Sha1:
 514c85d42ac0a958748fb72c7f1c4a8b2a52dad4 2244 ocaml-ptmap_2.0.4-1.dsc
 bf5a527ef8ccb2dcd8ad3a833bb6e56371221e10 14410 ocaml-ptmap_2.0.4.orig.tar.gz
 cd4349b1811d7c7088faf5ab35f15688a9ea81e2 3612 ocaml-ptmap_2.0.4-1.debian.tar.xz
 a512c0622bb91e12ede289fed45bb9502df464e3 3316 libptmap-ocaml-dbgsym_2.0.4-1_amd64.deb
 818feba91040aeb7358c11b23f4c161fa6693eeb 49224 libptmap-ocaml-dev_2.0.4-1_amd64.deb
 709e21ccfc52eb00a0203d50ce1ced284d8db33b 3900 libptmap-ocaml-doc_2.0.4-1_all.deb
 2ff667b097b1ddae9cae09f4b0de527c6ffa9ac2 12580 libptmap-ocaml_2.0.4-1_amd64.deb
 59bf30d9bc0433a01f390305ca21adf8b6d2e2fd 7165 ocaml-ptmap_2.0.4-1_amd64.buildinfo
Checksums-Sha256:
 11cc247f9f7fb0020ae113e5e4dc6224cc2be56d9785afd9f83fe7b12d96d42b 2244 ocaml-ptmap_2.0.4-1.dsc
 5c0f32d96f90fee6bd86e02a78f3e5b2092caade1a88effc434c185ea20cc6a7 14410 ocaml-ptmap_2.0.4.orig.tar.gz
 aa7d666838c555a5627c161cf24130cdd293754c2ded4f342ff2c7bdc43a446d 3612 ocaml-ptmap_2.0.4-1.debian.tar.xz
 bcb0b00f40521676a380be8f447370de93b5bcc068feeeb0882f49f9e2ff99a8 3316 libptmap-ocaml-dbgsym_2.0.4-1_amd64.deb
 5bb7292e864d031d47a99023d9da16d61648569b10c27be28cd7aeeb4f73cdb3 49224 libptmap-ocaml-dev_2.0.4-1_amd64.deb
 9580f1e5e975cfdfdc0a17930b7f8c06e890631187c4630196a20aa3c831ba32 3900 libptmap-ocaml-doc_2.0.4-1_all.deb
 db0e68ee65b7582994b9db890c396fa21adae5aef5a62171a751cf21508fde7d 12580 libptmap-ocaml_2.0.4-1_amd64.deb
 ebe7d9be59a33629243329ec45d1ccc69fa57591618197b2aa8eb98a4078fee3 7165 ocaml-ptmap_2.0.4-1_amd64.buildinfo
Files:
 d7b4b7841a1d75e771975603e6836897 2244 ocaml optional ocaml-ptmap_2.0.4-1.dsc
 0402cdfebb221e39237c616bfdb99afc 14410 ocaml optional ocaml-ptmap_2.0.4.orig.tar.gz
 cd1412d2a6af9f853bf5e53a71485093 3612 ocaml optional ocaml-ptmap_2.0.4-1.debian.tar.xz
 09abf63992bef909a23d368bb35d9ed8 3316 debug optional libptmap-ocaml-dbgsym_2.0.4-1_amd64.deb
 efaf3c98ceb4c60a5586dbc2fd98a86a 49224 ocaml optional libptmap-ocaml-dev_2.0.4-1_amd64.deb
 d47edb815e4c71ff2876d822e6bff083 3900 doc optional libptmap-ocaml-doc_2.0.4-1_all.deb
 b5dcda50b66c5a530ea5f4a53d4cf26d 12580 ocaml optional libptmap-ocaml_2.0.4-1_amd64.deb
 f0e1b81d2ac2ab0422ec802f0d722f69 7165 ocaml optional ocaml-ptmap_2.0.4-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlwEN7YACgkQdFxHZtTK
zf8zgg/8C0GaM6XcO0ivoVprBxJK7f5umhbl2zRT6PyVwsMjSCw0fKxDJHi6Td3M
zj8hcrOBzdZfGY0Z4Y5gEZRfjLdfgr3/zdW6zZ/k47vn/5ioCDWWQhcZvriCGDUr
K5uCTcP4aJ6H1IGKM3wFANEkCiwAo1t2tyUD16XkuPETcZUgTa8Sff87yReNWr6k
zvyykfYA9ekqN6Z7Z2gHKMHMgx7r0DAHyt7csma67tqLu+kQI5f23oFD3kvax4Fx
EmaEpsVAu74FSrEqTFrr6Cuq2Tv+7h6JwY8fGsZ6ndorGVj82hcsa7hk0dNAcmc5
r3/5muE601dDinCz9wwk7qS3R140Ir7EbEi1ab2WIlt6wMHfU8ZB3lNpo0sPDqfe
rr0UePUiay0+0NPMhuMeBpOwnp/SNIzT3AbIuWkGcyrWOaIfLTYxe8HbQlTO07re
fH9GyKmaLJBEo3rtftaj+3SgVHaTdzhZp9ca0QVeoUfEuLVQayxNQtzo04BuvUf/
k0/82ANzGfo6vr7HRv2HBMwoi1EDYVJd/yMSvJjZxsQk/dHpg05t9oqYGvCQmq+d
QU0SSbg5RlrbLs+SzPeXgDIfwyPMAi+Rv8Pya6W9K3p9qigD7vqzwUzL8+Vh432w
fMqLE9UjX80cr+PTB/TY71HkaX/WMlcySwTDzuqpttQT72GFZOk=
=P1Sn
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: