Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / belenios
Commits:
-
1ca8f1eb
by Stéphane Glondu at 2023-01-02T10:19:08+01:00
30 changed files:
- .gitlab-ci.yml
- CHANGES.md
- Dockerfile_test_scenario_environment
- RELEASE_NOTES.md
- VERSION
- belenios-lib.opam
- belenios-platform-js.opam
- belenios-platform-native.opam
- belenios-platform.opam
- belenios-server.opam
- belenios-tool.opam
- belenios.opam
- contrib/list_live_elections.py
- contrib/monitor_elections.py
- contrib/reference_template.json
- demo/ocsigenserver.conf.in
- demo/run-server.sh
- + demo/sealing.txt
- doc/API.md
- doc/automated_tests.md
- + doc/components.dot
- doc/instructions-en.md
- doc/instructions-fr.md
- doc/spec_version.tex
- doc/specification.tex
- doc/tool.md
- doc/web.md
- dune-project
- frontend/booth/app.mjs
- frontend/booth/components/PageHeader.mjs