This repository has been archived by the owner on Oct 3, 2024. It is now read-only.

Add missing license field in opam file #7

Job	Run time
Deploy odoc to GitHub Pages	2m 18s
	2m 18s

Provide feedback