3 Commits

Author	SHA1	Message	Date
Grégoire Henry	e85bdaeb14	Opam: update dependencies	2018-07-24 21:16:18 +02:00
Grégoire Henry	6d59a497e7	CI: add script for importing packages	2018-07-06 18:18:41 +02:00
Grégoire Henry	c0222e53ee	CI: use the new opam images from tezos/opam-repository	2018-07-06 18:18:41 +02:00