The text d3a77bb65c6c, as Debian 2.2 (Potato) shipped it.
convert LP file to MPS format
lp2mps(1) on Linux now
