acl2_8.2dfsg-1_arm64.buildinfo (view)

Source
acl2
Version
8.2dfsg-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 21 Dec 2019 11:58:36 +0000
Build-Path
/build/acl2-JP6Xjt/acl2-8.2dfsg

First submitted
Sat, 21 Dec 2019 18:12:30 +0000
SHA1 of .buildinfo
3c40efd9696cf35243cfa5ed8c0f849f0018a8c2

Binaries

acl2 (acl2_8.2dfsg-1_arm64.deb)
SHA1: d717e120142fd5753b91a193719e340a6a81c2b5
SHA256: 09d1bcc080f9b1a081f1542fc25b88cee9616f7e7c9d2183f676c677517169f7

Size: 20,303,264 bytes
acl2-books (acl2-books_8.2dfsg-1_arm64.deb)
SHA1: 88d8102f6917a3f254c7bf96afc3a96fbba37f0c
SHA256: 425f84ce47324b712319e5a5390d42995edcdd46d08074ba441320e16f903d75

Size: 169,335,296 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-1_arm64.deb)
SHA1: 9b9b39f809ac2e4b87ce6379c0d1949f991a79a4
SHA256: 6c60a8f95a11b4b79d77791d7dbaf4b9f858d6432772fda20a408882316409b3

Size: 478,392 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

dgjsgoaw
Submitted
Sat, 21 Dec 2019 18:12:30 +0000
Signed by
0x471BF63F613D0497

Environment


DEB_BUILD_OPTIONS="parallel=16"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1576769407"