belenios 1.8+dfsg-1 source package in Ubuntu


belenios (1.8+dfsg-1) unstable; urgency=medium

  * New upstream release

 -- St├ęphane Glondu <email address hidden>  Mon, 04 Feb 2019 11:43:56 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers on 2019-02-04
Uploaded to:
Original maintainer:
Debian OCaml Maintainers
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Eoan release on 2019-04-18 universe misc
Disco release on 2019-02-04 universe misc


File Size SHA-256 Checksum
belenios_1.8+dfsg-1.dsc 1.8 KiB 537e0b8c7aa323da9f10fd9cfc976e24bb8df0ab816d288e4d0c830f9e73ce4c
belenios_1.8+dfsg.orig.tar.xz 174.1 KiB ce15134c214f3259a99c633dff598c31956c68d1ec306556a3fe93da72965fb0
belenios_1.8+dfsg-1.debian.tar.xz 25.1 KiB 15c825119f187e27bfaf77dbd16944db99782cea15f99ea7c7dcfe029e88dba3

Available diffs

No changes file available.

Binary packages built by this source

belenios-tool: verifiable voting system (command-line tool)

 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
 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 provides the command-line tool, which is the most
 convenient way to exercise the verifiability capabilities of the
 system. It can be used to run an election without using the web
 server, and to monitor an election running on a web server.

belenios-tool-dbgsym: debug symbols for belenios-tool