Version of cl-global-vars: 0~20141013.gitc749f32-2
Architecture of cl-global-vars: all
Version of acl2-books-source: 8.6+dfsg-3
Architecture of acl2-books-source: all
| cl-global-vars | acl2-books-source | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 6.4 KB | ./usr/share/common-lisp/source/global-vars/global-vars.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/global-vars-20141106-git/global-vars.lisp |
| 2.7 KB | ./usr/share/common-lisp/source/global-vars/global-vars-test.lisp | sha512 | ./usr/share/acl2-8.6+dfsg/books/quicklisp/bundle/software/global-vars-20141106-git/global-vars-test.lisp |