Source
acl2
Version
8.1dfsg-2
Architecture
all amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 30 Mar 2019 09:23:31 +0000
Build-Path

First submitted
Sat, 30 Mar 2019 18:17:43 +0000
SHA1 of .buildinfo
3e876fc988e8c1736bd370b25a45e14bde563c8e

Binaries

acl2 (acl2_8.1dfsg-2_amd64.deb)
SHA1: d0972785eb61c97343bc04e8d83a8a76601dd121
SHA256: 955a27d9520f2840b3141fd05bfbf29ed08dea611757720d95d700f73fdd13e3

Size: 20,387,996 bytes
acl2-books (acl2-books_8.1dfsg-2_amd64.deb)
SHA1: a4a9f2ab24d4c3e5260e4a946892200342a52007
SHA256: 28f2b843ec652a4f563c1ea96de8b36c8ec866780b5345ed5307590606d67ae3

Size: 163,428,160 bytes
acl2-books-certs (acl2-books-certs_8.1dfsg-2_all.deb)
SHA1: 9a5c2274d747359a77a1d2d990976ff19bc5cdc3
SHA256: 8cdcb4049375b59ff298a35870f9ecb0040f41f8db4a510d3c10b2443fdb3d17

Size: 80,875,872 bytes
acl2-books-source (acl2-books-source_8.1dfsg-2_all.deb)
SHA1: 877b9fb5fdbd652dd922344a64c338cacd0e62f1
SHA256: fe707627fdfae823c48353f1c4506eabf3e564bcd2e7fea31b92f5665c81a83e

Size: 13,586,400 bytes
acl2-doc (acl2-doc_8.1dfsg-2_all.deb)
SHA1: 64d51ea5e2b9c5bb6789b4fe24a3d71a2df70421
SHA256: 48a223a064f0e510b3732849c04ba3f5f5806b177f730e996c36435a344409c0

Size: 413,128 bytes
acl2-emacs (acl2-emacs_8.1dfsg-2_all.deb)
SHA1: 0475ac0aa762f12bca89ffb0cdffd32e1d6f42db
SHA256: 20489216e292cb5997647879dfa8c4032f8e8441192059ea916b4b6869d6dd4e

Size: 67,684 bytes
acl2-infix (acl2-infix_8.1dfsg-2_amd64.deb)
SHA1: 2c973512f783e33792b88b4e126c7f79eba714b8
SHA256: da0598817ae1f8f1c7d039e691aba882e5e5aae74e139ffd2b860334ce635dc9

Size: 495,764 bytes
acl2-infix-source (acl2-infix-source_8.1dfsg-2_all.deb)
SHA1: 1d484425d90376f5fe3069e86e65398f2f7f214a
SHA256: 01f116e4202d733ca1d40a9667954bbd3a45a3d00173c6c533e56f4711d1f50a

Size: 79,340 bytes
acl2-source (acl2-source_8.1dfsg-2_all.deb)
SHA1: c9df9c324e790a3b49d97710ce0d8fdddc45d090
SHA256: 68f7c655b184fd52605edabc6b88f43a467fe2ef911721f217f2931dc3b371df

Size: 3,132,704 bytes

Other checksums

acl2_8.1dfsg-2.dsc
SHA1: 08e1ba512011b969602a633afb1f410f9e2a2d1d
Size: 2,245 bytes

Submissions

Submitted
Sat, 30 Mar 2019 18:17:44 +0000
Signed by
0xB845CE510F9B714D Camm Maguire <camm@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
SOURCE_DATE_EPOCH="1553866750"