Your message dated Thu, 13 Aug 2020 14:33:31 +0000
with message-id <e1k6ein-000j3x...@fasolo.debian.org>
and subject line Bug#956556: fixed in coinst 1.9.3-2
has caused the Debian Bug report #956556,
regarding coinst FTBFS: Error: The implementation ptset.ml does not match the
interface ptset.cmi
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 ow...@bugs.debian.org
immediately.)
--
956556: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=956556
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: coinst
Version: 1.9.3-1
Severity: serious
Tags: ftbfs bullseye sid
https://buildd.debian.org/status/package.php?p=coinst
...
usr/bin/make opt
make[2]: Entering directory '/<<PKGBUILDDIR>>'
ocamlfind ocamlc -package unix,str,bigarray,cudf -g -I viewer -annot -bin-annot
-safe-string -c ptset.mli
ocamlfind ocamlopt -package unix,str,bigarray,cudf -g -I viewer -annot
-bin-annot -safe-string -c ptset.ml
File "ptset.ml", line 305, characters 12-30:
305 | List.sort Pervasives.compare (elements_aux [] s)
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "ptset.ml", line 567, characters 14-32:
567 | List.sort Pervasives.compare (elements_aux [] s)
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "ptset.ml", line 1:
Error: The implementation ptset.ml does not match the interface ptset.cmi:
...
In module Big:
The value `of_seq' is required but not provided
File "set.mli", line 282, characters 4-31: Expected declaration
In module Big:
The value `add_seq' is required but not provided
File "set.mli", line 278, characters 4-37: Expected declaration
In module Big:
The value `to_seq' is required but not provided
File "set.mli", line 274, characters 4-31: Expected declaration
In module Big:
The value `to_seq_from' is required but not provided
File "set.mli", line 269, characters 4-43: Expected declaration
In module Big:
The value `find_last_opt' is required but not provided
File "set.mli", line 254, characters 4-55: Expected declaration
In module Big:
The value `find_last' is required but not provided
File "set.mli", line 247, characters 4-44: Expected declaration
In module Big:
The value `find_first_opt' is required but not provided
File "set.mli", line 240, characters 4-56: Expected declaration
In module Big:
The value `find_first' is required but not provided
File "set.mli", line 227, characters 4-45: Expected declaration
In module Big:
The value `find_opt' is required but not provided
File "set.mli", line 221, characters 4-40: Expected declaration
In module Big:
The value `choose_opt' is required but not provided
File "set.mli", line 199, characters 4-35: Expected declaration
In module Big:
The value `max_elt_opt' is required but not provided
File "set.mli", line 188, characters 4-36: Expected declaration
In module Big:
The value `min_elt_opt' is required but not provided
File "set.mli", line 177, characters 4-36: Expected declaration
In module Big:
The value `map' is required but not provided
File "set.mli", line 126, characters 4-35: Expected declaration
In module Big:
The value `disjoint' is required but not provided
File "set.mli", line 101, characters 4-32: Expected declaration
make[2]: *** [Makefile:69: ptset.cmx] Error 2
--- End Message ---
--- Begin Message ---
Source: coinst
Source-Version: 1.9.3-2
Done: =?utf-8?q?St=C3=A9phane_Glondu?= <glo...@debian.org>
We believe that the bug you reported is fixed in the latest version of
coinst, 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 956...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glo...@debian.org> (supplier of updated coinst 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 13 Aug 2020 15:46:28 +0200
Source: coinst
Architecture: source
Version: 1.9.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Closes: 956556
Changes:
coinst (1.9.3-2) unstable; urgency=medium
.
* Team upload
* Fix FTBFS with OCaml 4.08.1 (Closes: #956556)
* Update Vcs-* to point to salsa
* Update debian/watch
* Bump debhelper compat level to 13
* Bump Standards-Version to 4.5.0
* Add Rules-Requires-Root: no
Checksums-Sha1:
e3cef231853d6aeb88c686835d39fad2005a194d 1817 coinst_1.9.3-2.dsc
128cf5be857cd319dd912c2315e59bfb8ea3f84c 7788 coinst_1.9.3-2.debian.tar.xz
Checksums-Sha256:
061ef449da8fac26fc0329980bd1b7cde1646678bbb2597f605da06249e63669 1817
coinst_1.9.3-2.dsc
56f3bde84e2121635a67528a932bcab7c12a705a29b4a8c32309dd8ba7719e6e 7788
coinst_1.9.3-2.debian.tar.xz
Files:
221e2552bb6acd73beca72364c458344 1817 devel optional coinst_1.9.3-2.dsc
0c8514287e1d7f82b1824db6e5ea8c4d 7788 devel optional
coinst_1.9.3-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl81RGMACgkQIbju8bGJ
MIFFgQgAgcYCAwTfkQz1lU+avextw1Ur2n/lK2tmqCisr6x/ztaSK70UnUlNJXN1
w9KU2tzmVJoHT0WTK2isHTidm5hf9zSIxN4HwjpIVjql1ZhG40G6DFC0OJf3GcOU
m2LunEE3fivwONLy+3xQwEZTGyFagswVDHC5qa2LkBPDe7d4DzZaw6JojhPrkEtI
dzPCgwpz+6zw7NivmSeMgTHoJ8BACb1wbHC/t3W3vTrBj3whN46MK+NwiIneP5Y3
xJtK7YZruy2ijyTn48M+08latPSYLbCyXyE9gNgRc+XxTY8OUkdCV3X2eOFkPnD3
52vKPiQ6VK5IzDJpg3IdxT6k1zUeHQ==
=p20U
-----END PGP SIGNATURE-----
--- End Message ---
