Bug#859723: marked as done (ITP: belenios -- verifiable voting system)
Your message dated Thu, 06 Apr 2017 19:00:10 +0000
with message-id <E1cwCde-0004Ob-Rn@fasolo.debian.org>
and subject line Bug#859723: fixed in belenios 1.4+dfsg-1
has caused the Debian Bug report #859723,
regarding ITP: belenios -- verifiable voting system
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.)
--
859723: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=859723
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: =?utf-8?q?St=C3=A9phane_Glondu?= <glondu@debian.org>
* Package name : belenios
Version : 1.4
Upstream Author : Stéphane Glondu <Stephane.Glondu@inria.fr>
* URL : http://www.belenios.org/
* License : AGPL-3+
Programming Lang: OCaml
Description : verifiable voting system
Belenios aims at providing an easy to use voting system, guaranteeing
state-of-the-art security, namely vote privacy and verifiability. It
can be used in many types of elections, ranging from scientific
councils to sport associations.
.
It consists of a command-line tool and a web server. Both use the
same backend and can be used to organize elections and perform
verifications.
.
Security properties of the system are:
* Vote privacy: No one can learn the vote of a voter. Vote privacy
relies on the encryption of the votes.
* End-to-end verifiablity: Every voter can check that her vote has
been counted and only eligible voters may vote. End-to-end
verifiablity relies on the fact that the ballot box is public
(voters can check that their ballots have been received) and on
the fact that the tally is publicly verifiable (anyone can recount
the votes). Moreover, ballots are signed by the voter credential
(only eligible voters are able to vote).
This package will be maintained inside the Debian OCaml team. To avoid
interaction with the next OCaml transition (esp. the Eliom stack),
only the command-line tool will be packaged until that transition.
--- End Message ---
--- Begin Message ---
Source: belenios
Source-Version: 1.4+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 859723@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: Thu, 06 Apr 2017 14:06:07 +0200
Source: belenios
Binary: belenios-tool
Architecture: source amd64
Version: 1.4+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: 859723
Changes:
belenios (1.4+dfsg-1) unstable; urgency=medium
.
* Initial release (Closes: #859723)
Checksums-Sha1:
abb3b540806e2d5034834112e1979549be2632f0 2260 belenios_1.4+dfsg-1.dsc
a0cd66d6e98484c6c073fbbdd9ada4b5af1045bf 152473 belenios_1.4+dfsg.orig.tar.gz
fd90c3145f281be37e083b1127753b634a3aa495 12288 belenios_1.4+dfsg-1.debian.tar.xz
62558d3141c5f004892dcbe5656e1b9587eee8a7 125562 belenios-tool-dbgsym_1.4+dfsg-1_amd64.deb
99c298b78a27cc0fc3a514452943089a337b346c 917466 belenios-tool_1.4+dfsg-1_amd64.deb
de3e6e826d2ac4df7b0fa22ee9f777366cdf189f 10981 belenios_1.4+dfsg-1_amd64.buildinfo
Checksums-Sha256:
90a4f1cf53eb3a8b76e25a4f166f86930d17c1cb79920ef8ee465f74257c576a 2260 belenios_1.4+dfsg-1.dsc
e8018b7965bdd64277d0796d8c0452da0ea3eedf3f129f6a155583baf5535511 152473 belenios_1.4+dfsg.orig.tar.gz
aacd52a35fd0d8d6127da6f83fe724c37a98604991a0161aee963d172c32700e 12288 belenios_1.4+dfsg-1.debian.tar.xz
9db2b500428514a663d36bc116af2f819e4947d0292916b88c68f1b676c4c9a8 125562 belenios-tool-dbgsym_1.4+dfsg-1_amd64.deb
74577777614ecd06ebdcd7cf2804595d76a2a8c789829966e8fca341b3ea5506 917466 belenios-tool_1.4+dfsg-1_amd64.deb
a86cd411cad31f89b7d58a24416d08a9ea13374589d990f694f335c10fcfdd8d 10981 belenios_1.4+dfsg-1_amd64.buildinfo
Files:
f7e1b226efabd550442dd332f8c01985 2260 misc optional belenios_1.4+dfsg-1.dsc
b5cbc828051f3190d014ba7b9c849a09 152473 misc optional belenios_1.4+dfsg.orig.tar.gz
dde8517f61a6f6eb92321f5217669793 12288 misc optional belenios_1.4+dfsg-1.debian.tar.xz
affc3d988dd0c27567d6dddd011ab343 125562 debug extra belenios-tool-dbgsym_1.4+dfsg-1_amd64.deb
1b30b9f5cf2e0f40f61d18d6dc6c8d80 917466 misc optional belenios-tool_1.4+dfsg-1_amd64.deb
38a29c2b75c008829384aa1b32852a60 10981 misc optional belenios_1.4+dfsg-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAljmMgkACgkQeFPaTUmI
GtPPJhAArrfoCWphI1cgvETNoaXK1qN61Fj6oI9ugZ3Tk/dTfPOK4BwxdVeAsoEu
Es7Rjb46Xg7l2rTIbrt6VwWeDet/smOeaFrOxXUh0sebeUG3BU4XKA3cwpc1LtB4
gzSg3W+2oROUpleLPmRi2t4Pj0bZJeXYCEM90b6AwsY3O8QFzatq5yuBsOx3ZB7a
oPOOPOw2wtU7994XktsFWZJFn8MKn8hAih1mTd+eBv+xaS8fGuCNtZohj9uQrdPm
TAQ3Qhvf8HB1CG14NZWilSB8QGmoTaHBM7lFgFlbm3V6Bp8q+Iyb96FBH4CfTb2Y
UC8sL8Il/KTeyF58jyt3eNjCw2Z5TRDs9UyniG9XFKwPCmFITiZ0+vD/zto7bD27
wBCFjFzrski/YMK5Q0ygDQcgUMxApo/XcuzlKtJdEtZI9H4zfj4dmovXHSdzEAih
kBVRq4ymxMM6L/0wPTa2xKVOnjp0MVw3fnSKWXdZ8rpNG6cCh+EZ8devFj9PbsMh
xRDF7l8NbHU0AdfiwSF893D2Ym9PZxiiK0wzBxurT3ytPGbCSneQHGJIrxOdl2tk
/p3PbZ3Fu4KUHDLUq+/hcSj2pNfz9B0OJbk1SITTqWu0mYG8YsKIS3LCE4uSwc1V
/JizFPJEcFWr0V1gr7kWGAvnml+8307X2ayGz0Z9dIfeHz57yO0=
=YNuw
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: