Source
acl2
Version
8.1dfsg-6
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 9 Dec 2019 22:39:36 +0000
Build-Path
/build/acl2-m2cfxb/acl2-8.1dfsg

First submitted
Tue, 10 Dec 2019 00:40:56 +0000
SHA1 of .buildinfo
db431adec700e22416ad0a8e7d5cfb7b83269ff6

Binaries

acl2 ()
acl2-books-certs (acl2-books-certs_8.1dfsg-6_all.deb)
SHA1: e35a14d1dd3c9832a74f116648cdb19f56b0c9d4
SHA256: 67876f1f773e4aaeb9c84d3715498133bad7ed951f6ef2f3e71cc36b1b283773

Size: 80,461,048 bytes
acl2-books-source (acl2-books-source_8.1dfsg-6_all.deb)
SHA1: 6083c089815dd5c53c9906f09bdf76488d08c9e2
SHA256: caf29e88c2a3bd92856f6c1921772e2e65a408503a0f34d4704781a0c6143366

Size: 13,587,032 bytes
acl2-doc (acl2-doc_8.1dfsg-6_all.deb)
SHA1: ba8b701735f827165bfbd9cca32bead7541ee0b1
SHA256: b652ba52b8a1e870d9545f1948ac94690e691f7f763e28a357b0a1d95167153d

Size: 413,484 bytes
acl2-emacs (acl2-emacs_8.1dfsg-6_all.deb)
SHA1: 5d4f423387dc53ddac6b40c373a1f0f2f2c30405
SHA256: 59413e53e1439f098318d7af577a17591e32d753c408ea51cce61b4862eaebba

Size: 67,924 bytes
acl2-infix-source (acl2-infix-source_8.1dfsg-6_all.deb)
SHA1: 37c7a51fad6bea7feeaa2f078a33b710e806986d
SHA256: 785f7ef7495c671197cb94bb1356dd61cdeb7458b87d09ce2f8791c0361db1f3

Size: 79,568 bytes
acl2-source (acl2-source_8.1dfsg-6_all.deb)
SHA1: bfbad9ce98ce202abe85461d52f29d90ed69550b
SHA256: ccea5e97da47aa3b05e780c9bcf7bf963f221afde920ade0e776fb463c0be023

Size: 3,132,960 bytes

Other checksums

Submissions

Submitted
Tue, 10 Dec 2019 00:40:57 +0000
Signed by
0x425D5F0FF5BC86F7

Environment


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