Skip to content
GitLab
Explore
Sign in
sasa
sasa.opam
Find file
Blame
Permalink
Apr 16, 2024
59377480
build: put kind2 in depopts
· 59377480
erwan
authored
Apr 16, 2024
59377480
build: put kind2 in depopts
erwan
authored
Apr 16, 2024
Loading
