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

Source
acl2
Version
8.2dfsg-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 1 Jan 2020 18:45:50 +0000
Build-Path
/build/acl2-l2ZWCI/acl2-8.2dfsg

First submitted
Thu, 2 Jan 2020 00:17:27 +0000
SHA1 of .buildinfo
af6d1410851091b2a95d7dc0511490609fde2527

Binaries

acl2 (acl2_8.2dfsg-3_arm64.deb)
SHA1: b2baa1312a837d8c804409c0a8222f5e3c395239
SHA256: 0363fef9e76c8d6b7831d175957ab39681ff86719ec5bfb394c7ad3a994b4492

Size: 20,412,424 bytes
acl2-books (acl2-books_8.2dfsg-3_arm64.deb)
SHA1: 58b015a661afe6d641137a5f19c8fe7c4a003ef7
SHA256: dfe8abe95a8d63e87645a9084a7976ac576f100a965bf34e650e487c5fd637d5

Size: 169,331,088 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-3_arm64.deb)
SHA1: ce2b5de3764a24b65fabac6c47b1c3f27d547368
SHA256: 92b72719bb18fc7806098db2b3088f4d650cd19a45cd23c6d5c5da771fd4e069

Size: 479,252 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

aq3tu7vb
Submitted
Thu, 2 Jan 2020 00:17:28 +0000
Signed by
0x57B817F3D2848950

Environment


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