Your message dated Wed, 25 Sep 2024 18:00:16 +0000 with message-id <E1stWJE-005K3T-5E@fasolo.debian.org> and subject line Bug#1082654: fixed in ocaml-optint 0.3.0-1 has caused the Debian Bug report #1082654, regarding ITP: ocaml-optint -- efficient integer types on 64-bit architectures 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.) -- 1082654: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1082654 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: ITP: ocaml-optint -- efficient integer types on 64-bit architectures
- From: Stéphane Glondu <glondu@debian.org>
- Date: Tue, 24 Sep 2024 08:36:02 +0200
- Message-id: <[🔎] 172715976276.1357546.16891992509899107990.reportbug@baronn.up7.fr>
Package: wnpp Severity: wishlist Owner: Stéphane Glondu <glondu@debian.org> X-Debbugs-Cc: debian-devel@lists.debian.org, debian-ocaml-maint@lists.debian.org * Package name : ocaml-optint Version : 0.3.0 Upstream Contact: Romain Calascibetta * URL : https://github.com/mirage/optint * License : MIT Programming Lang: OCaml Description : efficient integer types on 64-bit architectures This library provides two new integer types, Optint.t and Int63.t, which guarantee efficient representation on 64-bit architectures and provide a best-effort boxed representation on 32-bit architectures. . Implementation depends on target architecture. This package is an indirect test dependency of ocaml-crunch. It will be maintained in the OCaml team.
--- End Message ---
--- Begin Message ---
- To: 1082654-close@bugs.debian.org
- Subject: Bug#1082654: fixed in ocaml-optint 0.3.0-1
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Sep 2024 18:00:16 +0000
- Message-id: <E1stWJE-005K3T-5E@fasolo.debian.org>
- Reply-to: Stéphane Glondu <glondu@debian.org>
Source: ocaml-optint Source-Version: 0.3.0-1 Done: Stéphane Glondu <glondu@debian.org> We believe that the bug you reported is fixed in the latest version of ocaml-optint, 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 1082654@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-optint 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: Tue, 24 Sep 2024 08:41:47 +0200 Source: ocaml-optint Binary: liboptint-ocaml liboptint-ocaml-dbgsym liboptint-ocaml-dev Architecture: source amd64 Version: 0.3.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Description: liboptint-ocaml - efficient integer types on 64-bit architectures (runtime) liboptint-ocaml-dev - efficient integer types on 64-bit architectures (dev) Closes: 1082654 Changes: ocaml-optint (0.3.0-1) unstable; urgency=medium . * Initial release (Closes: #1082654) Checksums-Sha1: 87f6f081240506fb04e74d4312fb21f96d23e657 1741 ocaml-optint_0.3.0-1.dsc 09b1b8794d23a1d1740b357ffb0498434ef0b91f 11309 ocaml-optint_0.3.0.orig.tar.bz2 06c1bdad56ba2e95a32ba590b4fd172864789f94 2100 ocaml-optint_0.3.0-1.debian.tar.xz 9f855b97d31f877cf3c7a4c04bd4606b9f68dc81 10992 liboptint-ocaml-dbgsym_0.3.0-1_amd64.deb 74d663b4b0c4e9e6233f1903132d04b08d60cda2 241260 liboptint-ocaml-dev_0.3.0-1_amd64.deb 76ce31a82f5787cd766cb61035869b80375f91cc 80584 liboptint-ocaml_0.3.0-1_amd64.deb ad57f307f9c126c352752af949ad4e5c33a51a9d 6347 ocaml-optint_0.3.0-1_amd64.buildinfo Checksums-Sha256: 3355265ecba5a3f259ee6fb08fb4c757530a6c80d7b8c8de9741f6ec026f2c75 1741 ocaml-optint_0.3.0-1.dsc 295cff2c134b0385b13ba81d5005d9f841ba40d4a502aed10c997f239ef1147b 11309 ocaml-optint_0.3.0.orig.tar.bz2 3daac274d931ba064fdc02084a2a3cccb14e1425ec4f510fa9d6799b834636c4 2100 ocaml-optint_0.3.0-1.debian.tar.xz df4c862ceecbf527896f41d94bb63861a4589af2cc9eb622a308f7019c98ddd9 10992 liboptint-ocaml-dbgsym_0.3.0-1_amd64.deb b7338dd33f7d8d2bedc9becf85942741b6887eb82663fc7964539a927a4a9202 241260 liboptint-ocaml-dev_0.3.0-1_amd64.deb b037cd28aa90d4d8e3b836ee08b182be0629b9522c75d13810987bbaddfdaac2 80584 liboptint-ocaml_0.3.0-1_amd64.deb 9f7297918f605594ecee37b0cccd8a20488a22e4079b33fe3d43b6db0f028d73 6347 ocaml-optint_0.3.0-1_amd64.buildinfo Files: 0be1457ea17c814afd894b7f3a62478f 1741 ocaml optional ocaml-optint_0.3.0-1.dsc 46cc1b8bd00872529ac01407f908d389 11309 ocaml optional ocaml-optint_0.3.0.orig.tar.bz2 4ef98a301448fd21f32dbb36e6c7f258 2100 ocaml optional ocaml-optint_0.3.0-1.debian.tar.xz 7dffd8f23cc16b27c7695daeff262165 10992 debug optional liboptint-ocaml-dbgsym_0.3.0-1_amd64.deb 929a84fb9895241328efb67c2f9abd7b 241260 ocaml optional liboptint-ocaml-dev_0.3.0-1_amd64.deb cb2ddb2f2f1f75b3f87312bc58c8bfec 80584 ocaml optional liboptint-ocaml_0.3.0-1_amd64.deb eb05f30dee61c2effc59617e508f57a6 6347 ocaml optional ocaml-optint_0.3.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmbyX20SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBQ6QIAIP6Seu2xJrL8ByCPTQY4xx1HYUInvf8 /kD95wdvpc+fi7Ldgn0UMT4/57wC+g1lnnuY4sJSeOdysq05xDjCBw7pVruUKW6F U278KKZj1QfrAGKXVbNSlmFr9AcWCajamXkoPO3pSeVdH9YowuR6M+PM6rXEy9fA icGK6JFMpPbJ0w7Z+dr/cGsujBujzuv0FeHBadLgS/6TtaEFbPNtPJ3mQS2mMurN IBLQ6ueizUxbRVWx/J9qw92YUzyK+qmiGRjShs0cGkC7e1WaWqk7+w2iazTZtM6M 27E+5w4IDAAgMMoDn/EntizO7NQzfHDkSlgwW57lTlTpoNc1R61gWDc= =wCMi -----END PGP SIGNATURE-----Attachment: pgpD0JItn7PPl.pgp
Description: PGP signature
--- End Message ---