acl2_7.4dfsg-4_arm64.buildinfo (view)

Source
acl2
Version
7.4dfsg-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 3 Oct 2017 03:28:09 +0000
Build-Path
/build/acl2-OJ6GcE/acl2-7.4dfsg

First submitted
Fri, 26 Oct 2018 08:35:35 +0000
SHA1 of .buildinfo
ec10fd1c09c7ac8442d7c1d727bb72d8af9974f8

Binaries

acl2 (acl2_7.4dfsg-4_arm64.deb)
SHA1: c070a7cc11770425ddb486dfd46c7d5b77c6f974
SHA256: 03d54923301f2b42bed99a49fddfa1df1efa67c101bd893643e62cdf6ac3d468

Size: 17,595,972 bytes
acl2-books (acl2-books_7.4dfsg-4_arm64.deb)
SHA1: a9359f5f9bae316eb5e796f9a6afe1cfcfdcf1fa
SHA256: e2cfdf4d18e5039c891fc7afc7ae5330ce90b81b3afee2aa23526930fc2662a0

Size: 126,949,868 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-4_arm64.deb)
SHA1: ddb583f50ea06088d1ae8e6cfb701f1d4193fc54
SHA256: 0f7f095aa86850eda69e537bc5317213274182b5c3cd2c06775f7f963dc42a71

Size: 444,076 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

f3sby3o3
Submitted
Fri, 26 Oct 2018 08:35:35 +0000
Signed by
0xAE5F1194F1476982

Environment


DEB_BUILD_OPTIONS="parallel=6"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1504048276"