GitHub - Mbodin/dune-bug: This repository is temporary, just here to provide a context for a bug report.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
esy.lock		esy.lock
src		src
theories		theories
.gitignore		.gitignore
.travis.yml		.travis.yml
Bug_Coq.install		Bug_Coq.install
Bug_Coq.opam		Bug_Coq.opam
Bug_OCaml.opam		Bug_OCaml.opam
Makefile		Makefile
_CoqProject		_CoqProject
dune-project		dune-project
package.json		package.json