`vabal-lib` is the library powering vabal, it provides the tools to analyze a '.cabal' file and check which versions of ghc can comply with the constraints imposed on the following dependencies: base Cabal (only constraints in the setup-depends stanza are important).