acl2_8.3dfsg-1_all.buildinfo (view)

Source
acl2
Version
8.3dfsg-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 3 Mar 2022 15:36:26 +0000
Build-Path
/build/acl2-8.3dfsg

First submitted
Fri, 29 Jan 2021 09:43:51 +0000
SHA1 of .buildinfo
3f52febceab92d3e528794f39532d9816ab554cc

Binaries

acl2 (acl2_8.3dfsg-1_arm64.deb)
SHA1: 102740ca20243afef82a58728fa51b46ad91068b
SHA256: 860b3561d38c3bcf39d365ce6a12c0d9a5e9d0b2f949642ed3278dbec01f05f7

Size: 19,636,896 bytes
acl2-books (acl2-books_8.3dfsg-1_arm64.deb)
SHA1: f5cc0defb329c4ba6a9699bea2c0963c850f5964
SHA256: b892981da424689afcc917862429cf319215a933da751627143fdd7de2281805

Size: 12,956 bytes
acl2-books-certs (acl2-books-certs_8.3dfsg-1_all.deb)
SHA1: 5ec8b54c7082f365c9820bd6569530a17781d40b
SHA256: d5f0c267f7a01532cc12695c9b443020e2e657b9bbbb63b1b11e930346d4bbd0

Size: 13,664 bytes
acl2-books-source (acl2-books-source_8.3dfsg-1_all.deb)
SHA1: 8e88fcdae745ebab9285adc2f0c8c51942488f2c
SHA256: 7b6d58b55ac8113324a8853bd27048d5817150bec593aa5a5d0e3c9ee61e3cf2

Size: 19,520,532 bytes
acl2-doc (acl2-doc_8.3dfsg-1_all.deb)
SHA1: 58b04336d089f38dac6caa9a5d3e2a5fc454e8a7
SHA256: 3aa00bd71bd33ec8417fb10a92731173cc0fcc78c4163c85fd9648db29dfb326

Size: 447,472 bytes
acl2-emacs (acl2-emacs_8.3dfsg-1_all.deb)
SHA1: a9ee517ccb2b465cfb3a054805167ead5e51a56a
SHA256: b098dc617dc4453f08d6b3264a1bac6e9c0591c7423d4545d8cdfd57e5cb8f12

Size: 69,236 bytes
acl2-infix (acl2-infix_8.3dfsg-1_arm64.deb)
SHA1: 14ac94797c3ae7fb93c26b2002700d623a5caa64
SHA256: 00076f6aaf359e093278cfaf1d4aec2a917acb3b476fd8b61427a9b0bea0e926

Size: 480,528 bytes
acl2-infix-source (acl2-infix-source_8.3dfsg-1_all.deb)
SHA1: 39735e53555d18a381a2a65ec95342a4bb1e7b52
SHA256: 9df0dc6995b9873c26d8aabff6265172e55a614a44ed1d00ad4fcead9b6d5bae

Size: 79,720 bytes
acl2-source (acl2-source_8.3dfsg-1_all.deb)
SHA1: c1ff22c28c32f77bd32a55170e3949f096549b8a
SHA256: 57bc809f5a83509b742907e60e5147c7dce142abd6a22963f5283eef836e0ff3

Size: 3,339,488 bytes

Other checksums

Submissions

q7qwigpn
Submitted
Fri, 29 Jan 2021 09:43:51 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1598106562"