pkgs.loginroot.com
Home
Packages
Binaries
Package: lhs2tex
"
lhs2tex
" package binaries on
Debian
:
/usr/bin/lhs2TeX
You may install this package on Debian with
apt-get install lhs2tex