Just a note. I am not using the bknr repository. Just straight up asdf-install
Here is a directory listing of all the asdf packages,
Stix:site wade$ pwd /Users/wade/.asdf-install-dir/site Stix:site wade$ ls -l total 0 drwxr-xr-x 41 wade wade 1394 5 Jun 14:23 alexandria drwxr-xr-x 12 wade wade 408 5 Jun 14:24 anaphora-0.9.3 drwxr-xr-x 13 wade wade 442 28 Jul 2008 babel_0.3.0 drwxr-xr-x 10 wade wade 340 24 Dec 2009 bordeaux-threads-0.7.0 drwxr-xr-x 19 wade wade 646 16 Jun 2009 cffi_0.10.5 drwxr-xr-x 23 wade wade 782 5 Jun 14:23 chunga-1.1.0 drwxr-xr-x 27 wade wade 918 5 Jun 14:23 cl+ssl-2008-11-04 drwxr-xr-x 11 wade wade 374 5 Jun 14:23 cl-base64-3.3.3 drwxr-xr-x 16 wade wade 544 5 Jun 14:23 cl-fad-0.6.3 drwxr-xr-x 11 wade wade 374 5 Jun 14:23 cl-interpol-0.2.1 drwxr-xr-x 52 wade wade 1768 5 Jun 14:26 cl-pdf drwxr-xr-x 42 wade wade 1428 5 Jun 14:23 cl-ppcre-2.0.3 drwxr-xr-x 8 wade wade 272 29 Mar 2007 cl-prevalence drwxr-xr-x 48 wade wade 1632 5 Jun 14:26 cl-typesetting drwxr-xr-x 19 wade wade 646 5 Jun 14:23 cl-unicode-0.1.1 drwxr-xr-x 23 wade wade 782 5 Jun 14:24 cl-vectors-0.1.3 drwxr-xr-x 11 wade wade 374 5 Jun 14:23 cl-who-0.11.1 drwxr-xr-x 20 wade wade 680 5 Jun 14:23 closer-mop_0.61 drwxr-xr-x 44 wade wade 1496 20 Apr 12:37 clsql-5.1.0 drwxr-xr-x 19 wade wade 646 5 Jun 14:23 drakma-1.1.0 drwxr-xr-x 18 wade wade 612 22 May 13:18 elephant drwxr-xr-x 45 wade wade 1530 5 Jun 14:23 flexi-streams-1.0.7 drwxr-xr-x 46 wade wade 1564 5 Jun 14:23 hunchentoot-1.1.0 drwxr-xr-x 10 wade wade 340 29 Apr 21:24 ironclad_0.28 drwx------ 5 wade wade 170 5 Jun 14:23 md5-1.8.5 drwxr-xr-x 11 wade wade 374 26 Feb 22:25 parenscript-2.1 drwxr-xr-x 9 wade wade 306 5 Jun 14:23 puri-1.5.4 drwxr-xr-x 8 wade wade 272 5 Jun 14:23 rfc2388 drwxr-xr-x 7 wade wade 238 5 Jun 14:25 rt-20040621 drwxr-xr-x@ 41 wade wade 1394 5 Jun 14:23 rucksack drwxr-xr-x 8 wade wade 272 26 Jun 2008 s-sysdeps drwxr-xr-x 8 wade wade 272 18 Jan 2006 s-xml drwxr-xr-x 40 wade wade 1360 5 Jun 14:24 salza2-2.0.7 drwxr-xr-x 6 wade wade 204 5 Jun 14:23 split-sequence drwxr-xr-x 10 wade wade 340 16 May 2009 trivial-backtrace drwxr-xr-x 10 wade wade 340 19 Oct 2009 trivial-features_0.6 drwxr-xr-x 11 wade wade 374 5 Jun 14:23 trivial-gray-streams-2008-11-02 drwxr-xr-x 7 wade wade 238 5 Jun 14:23 trivial-utf-8 drwxr-xr-x 18 wade wade 612 20 Apr 12:32 uffi-2.0.0 drwxr-xr-x 3 wade wade 102 21 Jan 2006 unit-test drwxr-xr-x 18 wade wade 612 5 Jun 14:23 usocket-0.4.1 drwxr-xr-x 34 wade wade 1156 5 Jun 14:24 vecto-1.4.3 drwxr-xr-x 12 wade wade 408 5 Jun 14:26 yason-0.1 drwxr-xr-x 40 wade wade 1360 5 Jun 14:24 zpb-ttf-1.0 drwxr-xr-x 16 wade wade 544 5 Jun 14:24 zpng-1.2 Stix:site wade$