FYI, if you're interested, I've just stepped on this: https://jitpack.io/ -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mailman.common-lisp.net/pipermail/armedbear-devel/attachments/20170329/65af45b1/attachment.html>