I changed the package name from "sbcl-cl-ixf" to "sbcl-ixf" given that the ASDF definition file is named "ixf.asd", and pushed as 1fc9baeebb24a36431736f1a187e501943918444. Thanks.