Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
Makefile
Find file
Blame
History
Permalink
Try to use the opam $NAME.install file to install the lutin package properly.
· 32b4267a
erwan
authored
Dec 11, 2017
32b4267a