Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / belenios
Commits:
-
874c740d
by Stephane Glondu at 2019-02-04T10:38:46Z
-
02688d67
by Stephane Glondu at 2019-02-04T10:38:47Z
-
8c45b803
by Stephane Glondu at 2019-02-04T10:39:06Z
-
7d361f1e
by Stephane Glondu at 2019-02-04T10:43:59Z
30 changed files:
- .gitignore
- .gitlab-ci.yml
- + .opamrc-nosandbox
- CHANGES.md
- + Dockerfile_base_environment
- + Dockerfile_test_scenario_environment
- INSTALL.md
- VERSION
- _tags
- debian/changelog
- demo/ocsigenserver.conf.in
- demo/run-server.sh
- + doc/automated_tests.md
- + doc/election_test_scenario_1_specification.md
- + doc/election_test_scenario_2_specification.md
- doc/specification.tex
- genversion.sh
- myocamlbuild.ml
- opam-bootstrap.sh
- + requirements.txt
- src/lib/common.ml
- src/lib/credential.ml
- src/lib/election.ml
- src/lib/serializable.atd
- src/lib/serializable_builtin_t.ml
- src/lib/signatures.mli
- src/platform/js/platform.ml
- src/platform/native/platform.ml
- src/static/vote.html.itarget
- src/tool/tool_election.ml