Commit 23f823e8 authored by Stephane Glondu's avatar Stephane Glondu

Revert "Trying a fix against unavailability of"

This reverts commit 0dcf3c8b.
parent 3a944c47
......@@ -30,9 +30,6 @@ build_and_test_with_debian_image:
# Install required packages
- sudo apt-get update -qq && sudo apt-get install -y -qq build-essential libgmp-dev libpcre3-dev pkg-config m4 libssl-dev libsqlite3-dev wget ca-certificates unzip aspcud libncurses-dev uuid-runtime zlib1g-dev
# Trying a fix against unavailability of, using instead
- opam pin add calendar
- opam pin add ocamlify
# Install the same Opam packages that installs
- eval `grep "opam install" ./`
# Compile belenios
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment