khanhckn issues

Repositories
Issues
Comments

Results 1 issues of


                                            khanhckn

Failure to build

boolector> configure boolector> Configuring boolector-0.0.0.11... boolector> Cabal-simple_mPHDZzAJ_2.4.0.1_ghc-8.6.5: Missing dependency on a foreign boolector> library: boolector> * Missing (or bad) header file: boolector.h boolector> * Missing (or bad) C library: boolector...