Debian Package Tracker
Register | Log in
Subscribe

belenios

verifiable voting system (command-line tool)

Choose email to subscribe with

general
  • source: belenios (main)
  • version: 3.2.0+dfsg-1
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Stéphane Glondu [DMD]
  • arch: any
  • std-ver: 4.7.4
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 1.14+dfsg-1
  • oldstable: 2.0+dfsg-1
  • stable: 3.0+dfsg-2
  • testing: 3.2.0+dfsg-1
  • unstable: 3.2.0+dfsg-1
versioned links
  • 1.14+dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 2.0+dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 3.0+dfsg-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 3.2.0+dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • belenios-tool
action needed
source package has 5 unsatisfiable build dependencies high
  • Build dependencies in unstable cannot be satisfied on ppc64el because: unsatisfied dependency on libcstruct-ocaml-dev-ixp26
  • Build dependencies in unstable cannot be satisfied on arm64 because: unsatisfied dependency on libcstruct-ocaml-dev-cee81
  • Build dependencies in unstable cannot be satisfied on amd64 because: unsatisfied dependency on libcstruct-ocaml-dev-to947
  • Build dependencies in unstable cannot be satisfied on s390x because: unsatisfied dependency on libcstruct-ocaml-dev-0mco8
  • Build dependencies in unstable cannot be satisfied on armhf and i386 because: unsatisfied dependency on libcstruct-ocaml-dev-v3si3
Created: 2026-05-08 Last update: 2026-05-09 03:17
Fails to build during reproducibility testing normal
A package building reproducibly enables third parties to verify that the source matches the distributed binaries. It has been identified that this source package produced different results, failed to build or had other issues in a test environment. Please read about how to improve the situation!
Created: 2025-11-14 Last update: 2026-05-08 23:01
lintian reports 1 warning normal
Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of them.
Created: 2026-04-28 Last update: 2026-04-28 21:30
Issues found with some translations low

Automatic checks made by the Debian l10n team found some issues with the translations contained in this package. You should check the l10n status report for more information.

Issues can be things such as missing translations, problematic translated strings, outdated PO files, unknown languages, etc.

Created: 2022-08-13 Last update: 2026-04-29 11:32
testing migrations
  • This package will soon be part of the auto-openssl transition. You might want to ensure that your package is ready for it. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
news
[rss feed]
  • [2026-05-03] belenios 3.2.0+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2026-04-28] Accepted belenios 3.2.0+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2025-02-25] belenios 3.0+dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2025-02-20] Accepted belenios 3.0+dfsg-2 (source) into unstable (Stéphane Glondu)
  • [2024-12-01] belenios 3.0+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2024-11-26] Accepted belenios 3.0+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2024-07-07] belenios 2.5.1+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2024-07-02] Accepted belenios 2.5.1+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2023-09-11] belenios 2.2+git10-gbb6b7ea8+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2023-09-06] Accepted belenios 2.2+git10-gbb6b7ea8+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2023-01-07] belenios 2.0+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2023-01-02] Accepted belenios 2.0+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2022-11-19] belenios 1.20+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2022-10-24] Accepted belenios 1.20+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2022-08-16] belenios 1.19+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2022-08-11] Accepted belenios 1.19+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2021-09-18] belenios 1.17+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2021-09-08] Accepted belenios 1.17+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2021-02-20] belenios 1.14+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2021-02-10] Accepted belenios 1.14+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2021-02-08] belenios 1.13+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2021-02-03] Accepted belenios 1.13+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2020-08-17] belenios 1.11~dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2020-08-11] Accepted belenios 1.11~dfsg-2 (source) into unstable (Stéphane Glondu)
  • [2020-06-13] belenios 1.11~dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2020-06-08] Accepted belenios 1.11~dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2019-12-15] belenios 1.10+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2019-12-10] Accepted belenios 1.10+dfsg-1 (source) into unstable (Stéphane Glondu)
  • [2019-07-29] belenios 1.9+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2019-07-24] Accepted belenios 1.9+dfsg-1 (source) into unstable (Stéphane Glondu)
  • 1
  • 2
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian (0, 1)
  • buildd: logs, reproducibility, debcheck, cross
  • popcon
  • browse source code
  • other distros
  • l10n (-, 51)
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 3.0+dfsg-2build1

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing