set-debian-version.patch
dont-split-doc.patch
fix-manpage.patch
debian-changes-1:1.0.45.0-1
sbcl-kfreebsd.patch
