../ acl2_8.3dfsg-1.buildlog 09-Sep-2020 22:15 2867418 acl2_8.3dfsg-1.datestamp 09-Sep-2020 22:15 127 acl2_8.3dfsg-1.json 09-Sep-2020 22:15 628 acl2_8.3dfsg-1_amd64-2020-09-09T21:21:40Z.build 09-Sep-2020 22:15 2867418 acl2_8.3dfsg-1_amd64.build 09-Sep-2020 22:15 2867418 acl2_8.3dfsg-1_amd64.buildinfo 09-Sep-2020 22:15 13248