/plugins/tiny/dune - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec/plugins/tiny/dune @ 9c4cc944

#			Date	Author	Comment
9c4cc944			07/30/2020 04:35 PM	Corentin Lauverjat	Transition to dune build system Improvement of opam integration Dockerfile based on Alpine Dockerfile based on Ubuntu Update the README.md