manned.org
Ubuntu 15.10 / universe/math / alt-ergo
Versions
0.99.1+dfsg1-4build1
2015-09-08
Manuals for version 0.99.1+dfsg1-4build1
alt-ergo(1)
/usr/share/man/man1/alt-ergo.1.gz