search

glondu / belenios

Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios
https://www.belenios.org
GNU Affero General Public License v3.0
133 stars 21 forks source link

./opam_bootstrap.sh failure #28

Closed hwellmann closed 3 years ago

hwellmann commented 3 years ago

The script ./opam_bootstrap.sh terminates with the following error message:

[...lots of output...]
[yojson.1.7.0] downloaded from https://github.com/ocaml-community/yojson/releases/download/1.7.0/yojson-1.7.0.tbz
[zarith.1.12] downloaded from https://github.com/ocaml/Zarith/archive/release-1.12.tar.gz
[ERROR] The sources of the following couldn't be obtained, aborting:
          - menhir.20210419: Bad checksum
          - menhirLib.20210419: Bad checksum
          - menhirSdk.20210419: Bad checksum
glondu commented 3 years ago

This is fixed in the latest master and stable branches.

hwellmann commented 3 years ago

I don't think so... I had the error yesterday, on a fresh clone of master.

The latest commit on master was 4 days ago.

glondu commented 3 years ago

I had the error yesterday, on a fresh clone of master.

I pushed just before replying to you.

The latest commit on master was 4 days ago.

The commit was done last week indeed. I simply forgot to push it at that time.

hwellmann commented 3 years ago

Oh, I see. Pulled master and tried again - now it works. Thank you!