aaa_libraries|gmp,ghc,haskell-logict,haskell-nats