belenios 2.2+git10-gbb6b7ea8+dfsg-1 source package in Ubuntu

Changelog

belenios (2.2+git10-gbb6b7ea8+dfsg-1) unstable; urgency=medium

  * New upstream release
  * Depend on ocaml instead of transitional ocaml-nox
  * Update debian/watch
  * Bump Standards-Version to 4.6.2

 -- Stéphane Glondu <email address hidden>  Wed, 06 Sep 2023 13:31:33 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc
Noble release universe misc
Mantic release universe misc

Downloads

File Size SHA-256 Checksum
belenios_2.2+git10-gbb6b7ea8+dfsg-1.dsc 2.2 KiB 884d049931bae59999f60ed7d89a02f549c48f247d88b91d187902dff73ba0a1
belenios_2.2+git10-gbb6b7ea8+dfsg.orig.tar.gz 917.6 KiB ca3867b5fcb83ae4e849a84407a3d08c960ccf8a48ba05f5adc16464ca1aae85
belenios_2.2+git10-gbb6b7ea8+dfsg-1.debian.tar.xz 25.6 KiB 2769b73a0067951df9ed552ce7d593c571af14264c4068c71d760df8f9ce6693

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
 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 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