Browse Source
Forgot some dependencies
+ We now need Textutils and re2 libraries, since core_extended has been removed
Leo
1 changed files with 2 additions and 1 deletions
+ 2
- 1
opam
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||