Source
acl2
Version
8.1dfsg-4
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 4 Nov 2019 04:40:31 +0000
Build-Path
/build/acl2-ZCe44w/acl2-8.1dfsg

First submitted
Mon, 4 Nov 2019 06:12:16 +0000
SHA1 of .buildinfo
11592f207163eb564c50fb0b4987b80f996f3930

Binaries

acl2 (acl2_8.1dfsg-4_mipsel.deb)
SHA1: d3072394ddda98270edc77ae413ade15f3e50327
SHA256: a8df93b52feca97924b1160dad48931988dcbd9ba2a67c5b55774d70f05144e4

Size: 18,707,020 bytes
acl2-books (acl2-books_8.1dfsg-4_mipsel.deb)
SHA1: 1654b4e5875d1fa4e17d2a512091cccbed10c830
SHA256: 4178350e69b30ffd891173d056d07d3f02f1aa3bad2f42bffd8cc5f71b9b71af

Size: 158,233,600 bytes
acl2-infix (acl2-infix_8.1dfsg-4_mipsel.deb)
SHA1: 0126908c0eb314145443f316771545b087ed1f96
SHA256: aa1fae87172cb05a88a145644261f36246371b8c333e1fda7dd124cbc9e73a01

Size: 512,912 bytes

Other checksums

Submissions

Submitted
Mon, 4 Nov 2019 06:12:16 +0000
Signed by
0xB075D1D099E610D9

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1572542269"