Source
acl2 (8.1dfsg-3)
Version
8.1dfsg-3+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Wed, 24 Jul 2019 11:21:33 +0000
Build-Path
/build/acl2-NttQuB/acl2-8.1dfsg

First submitted
Wed, 24 Jul 2019 12:50:02 +0000
SHA1 of .buildinfo
a57c64906bcc6d31179ec912f4d1608e8cded205

Binaries

acl2 (acl2_8.1dfsg-3+b1_mips64el.deb)
SHA1: f94f1f773c1d99e9ac2f00169a4cff140fe37a00
SHA256: ca8c8053751e04380c02e74e5b99d7653375259c35db52fb068dc6d2b1b93aae

Size: 18,206,296 bytes
acl2-books (acl2-books_8.1dfsg-3+b1_mips64el.deb)
SHA1: 80794980cab5adf28205dfa0e012135b6c69667b
SHA256: a2aebf9a9ac715ac70a0da4a5fecd38add68c5c75eebdcc59828c3930a23b3e5

Size: 172,809,460 bytes
acl2-infix (acl2-infix_8.1dfsg-3+b1_mips64el.deb)
SHA1: 2e45550755046e6555c4a4d8c79f3aaafecd840b
SHA256: c430cc030d4f92e6c0fae10c099b1420f16d60143086597927006bb53a211f78

Size: 509,244 bytes

Other checksums

Submissions

Submitted
Wed, 24 Jul 2019 12:50:03 +0000
Signed by
0x18D9A606FC5C4C87

Environment


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