Mirrors for md5sums (107.38 KB):

2007-05-13  acl2-books-source_3.3-1.1_all.deb/md5sums
2006-12-03  acl2-books-source_3.4-1_all.deb/md5sums