acl2 (8.1dfsg-3)_8.1dfsg-3+b1_amd64.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 22 Jul 2019 03:24:33 +0000
Build-Path
/build/acl2-Kiwhia/acl2-8.1dfsg

First submitted
Mon, 22 Jul 2019 07:59:06 +0000
SHA1 of .buildinfo
11ce5e05d76b826a039a491d50be86e9367cac15

Binaries

acl2 (acl2_8.1dfsg-3+b1_amd64.deb)
SHA1: dedfdc40b547a5723187cfb6f4c585094c4c7d7d
SHA256: 82d435307b3e99ff5dbd1a84951e6b9e28916e96b9ca0a0d8aa175fd9daf8821

Size: 20,420,448 bytes
acl2-books (acl2-books_8.1dfsg-3+b1_amd64.deb)
SHA1: c43c0177c1b224fcc825df0c9958cfaed2fc4b62
SHA256: 0c6c61ec0568e982d22f9533fdf1c4cb015f84f1c6b49130d43312d3ff390158

Size: 163,374,848 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-3+b1_amd64.deb)
SHA1: 4086141643e974654bb66e11ab8bbb5c81239351
SHA256: 0bb9c8da65cbf2e32ff2c7d126764dbb59f700c1f2ea690a85fe361fe40e0530

Size: 492,464 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

fiimakgb
Submitted
Mon, 22 Jul 2019 07:59:07 +0000
Signed by
0x65606BA14EC30053

Environment


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