Skip to content
Snippets Groups Projects
Normal view Permalink
dune-project 95 B
Newer Older
Virgile Prevosto's avatar
dune 3.3 for **all** dune projects in the repo  
Virgile Prevosto committed
1 
(lang dune 3.3)
Andre Maroneze's avatar
[Doc] update examples in devman to use dune
Andre Maroneze committed
2 3 4 5 
(using dune_site 0.1)

(name frama-c-example)
(package (name frama-c-example))