Checksum: d1fe80d14bd50a68b9f8c699e05f19ccd1d0ce23cd80ded08fd0109caaa7b709 (page 1)

• acl2/6.5-2/books/centaur/quicklisp/cert.acl2
• acl2/6.5-2~bpo70+1/books/centaur/quicklisp/cert.acl2
• acl2/7.2dfsg-3/books/centaur/quicklisp/cert.acl2
• acl2/8.0dfsg-1/books/centaur/quicklisp/cert.acl2
• acl2/8.3dfsg-2/books/centaur/quicklisp/cert.acl2
• acl2/8.3dfsg-2/books/quicklisp/cert.acl2
• acl2/8.5dfsg-5/books/centaur/quicklisp/cert.acl2
• acl2/8.5dfsg-5/books/quicklisp/cert.acl2
• acl2/8.6+dfsg-2/books/centaur/quicklisp/cert.acl2
• acl2/8.6+dfsg-2/books/quicklisp/cert.acl2
• acl2/8.6+dfsg-3/books/centaur/quicklisp/cert.acl2
• acl2/8.6+dfsg-3/books/quicklisp/cert.acl2