Andrés Sicard-Ramírez

The same issue occurs with ```bash lhs2TeX --version lhs2TeX 1.24, Copyright (C) 1997-2020 Ralf Hinze, Andres Loeh ```

I got the following error when installing upstream ``` $ cabal install ... ! Class scrartcl Error: undefined old font command `\bf'. See the scrartcl class documentation for explanation. Type...

:+1:, needed for testing [Agda](https://github.com/agda/agda) documentation.

Blocking https://github.com/agda/agda/issues/1966.

FYI, by using [The Trusty beta Build Environment](https://docs.travis-ci.com/user/trusty-ci-environment) you get the following versions: ``` $ latex --version pdfTeX 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) $ xelatex --version XeTeX 3.1415926-2.5-0.9999.3-2014012222 (TeX Live 2013/Debian)...