Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
Makefile
Find file
Blame
History
Permalink
Split the opam package into 3 packages and let opam do the installation instead of dune.
· 423432d2
POTTIER Francois
authored
Jan 23, 2020
423432d2