Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / belenios
Commits:
-
5d593103
by Stephane Glondu at 2019-01-10T10:16:41Z
-
874c740d
by Stephane Glondu at 2019-02-04T10:38:46Z
30 changed files:
- .gitignore
- + .gitlab-ci.yml
- + .opamrc-nosandbox
- CHANGES.md
- + Dockerfile_base_environment
- + Dockerfile_test_scenario_environment
- INSTALL.md
- RELEASE_NOTES.md
- VERSION
- _tags
- demo/demo-threshold.sh
- demo/demo.sh
- demo/ocsigenserver.conf.in
- demo/run-server.sh
- + demo/warning.html
- + doc/Continuous_Integration.md
- + doc/automated_tests.md
- + doc/election_test_scenario_1_specification.md
- + doc/election_test_scenario_2_specification.md
- doc/specification.tex
- doc/tool.md
- doc/web.md
- genversion.sh
- myocamlbuild.ml
- opam-bootstrap.sh
- + requirements.txt
- src/lib/common.ml
- src/lib/common.mli
- src/lib/credential.ml
- src/lib/election.ml