Skip to content
Snippets Groups Projects
Normal view Permalink
dune-project 75 B
Newer Older
Shachar Itzhaky's avatar
[port] Bumped required Dune dep to 3.2.  
Shachar Itzhaky committed
1 
(lang dune 3.2)
Emilio Jesus Gallego Arias's avatar
[build] Port build to Dune
Emilio Jesus Gallego Arias committed
2 
(name jscoq)
Shachar Itzhaky's avatar
[port] Bumped required Dune dep to 3.2.  
Shachar Itzhaky committed
3 
(using coq 0.2)
Shachar Itzhaky's avatar
[build] Use directory target for `node_modules`.  
Shachar Itzhaky committed
4 
(using directory-targets 0.1)