Mirrors for md5sums (87.95 KB):

2005-12-05  acl2-books_3.1-1_amd64.deb/md5sums
2005-12-06  acl2-books_3.1-1_i386.deb/md5sums
2005-12-05  acl2-books_3.1-1_m68k.deb/md5sums
2005-12-12  acl2-books_3.1-1_mipsel.deb/md5sums
2006-01-07  acl2-books_3.1-1_powerpc.deb/md5sums