CircleCI: Install texinfo
[ghc.git] / .circleci / config.yml
2017-10-02  Joachim BreitnerCircleCI: Install texinfo
2017-09-21  Mathieu BoespflugInitial CircleCI support.