Norbert Preining <prein...@logic.at> writes: > apt-get source sbcl and build is enough to reproduce?
That's what I did in a clean sid chroot yesterday. You need to actually run the build as some input files to the manual get generated during build though. Christoph