Source
acl2
Version
8.1dfsg-6
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Fri, 13 Dec 2019 05:13:38 +0000
Build-Path
/build/acl2-kAPcrS/acl2-8.1dfsg

First submitted
Fri, 13 Dec 2019 06:52:52 +0000
SHA1 of .buildinfo
802932341797052cd56d71e923175b817f4e316f

Binaries

acl2 (acl2_8.1dfsg-6_mips64el.deb)
SHA1: cd8b3cae5d80daaf73a6ab09b2fcb8c9311d8b14
SHA256: bb8cc9b45f84ac58bb4b82cbc19a40d1997fe2d06756bb22b3584ef3277ab5dd

Size: 18,308,296 bytes
acl2-books (acl2-books_8.1dfsg-6_mips64el.deb)
SHA1: 5d4be979f83a5229d8211a0eede25d03569bde44
SHA256: 6fbfabb275c28d46669cdd8fdad80993ce43b9649de4a04cb07f9b3df6b3e026

Size: 175,522,048 bytes
acl2-infix (acl2-infix_8.1dfsg-6_mips64el.deb)
SHA1: 54a4e60db171e890e292c38f3698bb157d65bc0f
SHA256: 8cd551654089696c53a2cfdfb9712fd6e7394e69edbedce45bd484d7df1ef002

Size: 508,868 bytes

Other checksums

Submissions

Submitted
Fri, 13 Dec 2019 06:52:53 +0000
Signed by
0x9728BDFC2CE50980

Environment


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