debian/2%1.3.3-1

Christoph Egger

@christoph

0f799c8c · Patch texinfo manual for new texinfo (Closes: #815205). Thanks to Norbert Preining for the patch · Mar 17, 2016

sbcl Debian release 2:1.3.3-1