Name	Name	Last commit message	Last commit date
Latest commit tyabu12 Be more verbose on opam. Feb 12, 2019 d7ff9ed · Feb 12, 2019 History 89 Commits
coq	coq	Be more verbose on opam.	Feb 12, 2019
coqide	coqide	Minor change.	Dec 25, 2018
debian	debian	Add readmes.	Nov 7, 2018
eliom	eliom	Remove opam config set jobs.	Dec 25, 2018
ocaml	ocaml	Minor change.	Dec 25, 2018
opam	opam	Fix opam 2.0.	Jan 21, 2019
.travis.yml	.travis.yml	Add Coq 8.6.1 .	Nov 7, 2018
README.md	README.md	Add README.	Apr 11, 2018
trigger.sh	trigger.sh	Update trvavis config.	Nov 2, 2018