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

Bug#956556: marked as done (coinst FTBFS: Error: The implementation ptset.ml does not match the interface ptset.cmi)

Your message dated Thu, 13 Aug 2020 14:33:31 +0000
with message-id <E1k6EIN-000J3X-9B@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 owner@bugs.debian.org
immediately.)


-- 
956556: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=956556
Debian Bug Tracking System
Contact owner@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?= <glondu@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 956556@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 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 ftpmaster@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-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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 ---
Reply to: