2 Commits

Author	SHA1	Message	Date
Grégoire Henry	a7022b2ef0	Opam: use opam2, a local switch, and a fixed remote.	2018-06-28 13:45:05 +02:00
Grégoire Henry	e664179927	Refactor: CI: check opam packages	2018-01-30 10:13:40 +01:00