Browse Source
Update opam
Update opam
+ Remove build flag for Atdgen, to test if it causes CI failures. Will
bring it back later.
Leo
1 changed files with 1 additions and 1 deletions
+ 1
- 1
opam
|
|||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||