I run to an [issue](https://github.com/GaloisInc/semmc/issues/88) when build `semmc` library. The better option to fix it is to depricate 1.3.1 version on Hackage as [@RyanGlScott offered](https://github.com/GaloisInc/semmc/pull/89#issuecomment-2864023360).
I run to an issue when build
semmclibrary. The better option to fix it is to depricate 1.3.1 version on Hackage as @RyanGlScott offered.