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

Bug#878980: marked as done (belenios FTBFS with OCaml 4.05.0)

Your message dated Wed, 13 Jun 2018 14:39:30 +0000
with message-id <E1fT6vq-0000S0-Nu@fasolo.debian.org>
and subject line Bug#878980: fixed in belenios 1.6+dfsg-1
has caused the Debian Bug report #878980,
regarding belenios FTBFS with OCaml 4.05.0
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.)


-- 
878980: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=878980
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: belenios
Version: 1.4+dfsg-2
Severity: serious

https://buildd.debian.org/status/package.php?p=belenios&suite=sid

...
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/election.cmx src/lib/election.ml
+ ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/election.cmx src/lib/election.ml
File "src/lib/election.ml", line 1:
Error: The implementation src/lib/election.ml
       does not match the interface src/lib/election.cmi:
       ...
       At position module MakeSimpleMonad(G) : <here>
       Values do not match:
         val fold : (unit -> '_a -> 'b -> unit -> 'b) -> 'b -> unit -> 'b
       is not included in
         val fold : (unit -> elt -> 'a -> 'a t) -> 'a -> 'a t
       File "src/lib/election.ml", line 55, characters 6-10:
         Actual declaration
Command exited with code 2.
Makefile:2: recipe for target 'minimal' failed
make[2]: *** [minimal] Error 10

--- End Message ---
--- Begin Message --- 
Source: belenios
Source-Version: 1.6+dfsg-1

We believe that the bug you reported is fixed in the latest version of
belenios, 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 878980@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 belenios 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: Wed, 13 Jun 2018 15:36:06 +0200
Source: belenios
Binary: belenios-tool
Architecture: source amd64
Version: 1.6+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 belenios-tool - verifiable voting system (command-line tool)
Closes: 878980
Changes:
 belenios (1.6+dfsg-1) unstable; urgency=medium
 .
   * New upstream release
     - Fix compilation with OCaml 4.05.0 (Closes: #878980)
   * Update Vcs-* to point to salsa
   * Set pristine-tar filter in debian/gbp.conf
   * Bump Standards-Version to 4.1.4
   * Fix Homepage URL
Checksums-Sha1:
 f2859ce4677cf1216ca750b7c5dbb436ec92daba 1882 belenios_1.6+dfsg-1.dsc
 a4b9fc421a47ff88a9fc933680e1eca38116c584 172381 belenios_1.6+dfsg.orig.tar.gz
 54d1bd02a9dee0ef1582cb088fc5957ed60136c5 25620 belenios_1.6+dfsg-1.debian.tar.xz
 bd984359334f3fd7e9f0a8eed334d08e2bf87fed 163452 belenios-tool-dbgsym_1.6+dfsg-1_amd64.deb
 aafdd30c41dc30dd8e84f7c8a9bceec23ab329dd 1045688 belenios-tool_1.6+dfsg-1_amd64.deb
 ba050fc8d1e56c401660d98f8a02988d32e356a5 9898 belenios_1.6+dfsg-1_amd64.buildinfo
Checksums-Sha256:
 401005f834d6e9573eae7c221190c0af74f53c5d047a8c39ae6b66bb916c3c8e 1882 belenios_1.6+dfsg-1.dsc
 257b6f82f2ca667f99b03a0a78ca8d90eaedf50af86297ae06caaaf2cf3c41c5 172381 belenios_1.6+dfsg.orig.tar.gz
 a042d5a9d71c92eb1e16bc87a3135f043342415b80fb6959273d1444aec5c249 25620 belenios_1.6+dfsg-1.debian.tar.xz
 dea0b672c92e90a137c8c93f994405b6ae0410defc1091d02780a9c6b9419bfb 163452 belenios-tool-dbgsym_1.6+dfsg-1_amd64.deb
 08bfc276721e7d17d097cc1f1c1f5128dbec24df18f81b4abe88dccf10c0e6ab 1045688 belenios-tool_1.6+dfsg-1_amd64.deb
 6ab118fe1d2b3693c9e5dbc5e556b10643e388f0d35317ff7e82c73f9d294819 9898 belenios_1.6+dfsg-1_amd64.buildinfo
Files:
 5d9d96bf422ac4f7b56a4a4b8052d98b 1882 misc optional belenios_1.6+dfsg-1.dsc
 7042dc8f03fce9a40f02204e1dd3bcdf 172381 misc optional belenios_1.6+dfsg.orig.tar.gz
 9ba54746dc122a3a90a1433908cb742c 25620 misc optional belenios_1.6+dfsg-1.debian.tar.xz
 41191ecb27caa4c18a3c9ca79984ca47 163452 debug optional belenios-tool-dbgsym_1.6+dfsg-1_amd64.deb
 8fae7e1f198b674267a2764056fa264b 1045688 misc optional belenios-tool_1.6+dfsg-1_amd64.deb
 52728b8d43226a9f90c7869ff8653e93 9898 misc optional belenios_1.6+dfsg-1_amd64.buildinfo

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

iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAlshIp8ACgkQIbju8bGJ
MIFkEQf/XtIL16U638pv5OAz1U1X0wOOu5Cl8/kX65FYns+/PrthhaJkwE7h07GB
ao8vXmdJhJkvBuTt0wyDR3AUCdjqlzgKnW6AlBmERV+Iues3b39m/l21SHSGmAL8
DK+RIHQLn5ZxU7o3PebcGRB96KJZygX1+FNjeawkIoxNCAIUNPOxG/bRlL72fqlS
Xr1fjVkL3fR4/hLt+I14M3b8NIh4yhrwWqZoa4cWHpbKvSLioVUBLHRUHmlk0Ron
OyqHj3glZpDtj5RNchUuEDQTfIsjvBLaBGsrhoIC7gbwu43NdDecLAENQF/p+24r
FuxAZpJKphw1TtYqnSP8J486a0c2zg==
=lvsO
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: