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

Source
acl2
Version
8.3dfsg-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 1 Dec 2021 05:36:08 +0000
Build-Path
/build/2/acl2-8.3dfsg/2nd

First submitted
Thu, 29 Oct 2020 00:32:24 +0000
SHA1 of .buildinfo
02b4712f8c5e7fb4d79c8536671a7e22775d50b9

Binaries

acl2 (acl2_8.3dfsg-1_amd64.deb)
SHA1: 59ffab5d437ae24e5ffa314d7a85ba680571b06d
SHA256: 5e5999bb8d3cc13a32389114924dc88c53610325083439a44593e0035fd4bfaa

Size: 21,257,260 bytes
acl2-books (acl2-books_8.3dfsg-1_amd64.deb)
SHA1: 66cb53d7f8fb75be2b96ce08f35bea7bd757a9d8
SHA256: 235366a7c79fd2a7bcf41004a1724180314e37c592585628189811d75fe70abd

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: 56d66d64c192236f1989279b871dd5f0b2b8833b
SHA256: 358973b60f0285c44d906941b74c4d68a0607b3308464bced5951ee4f1dd6fc4

Size: 447,540 bytes
acl2-emacs (acl2-emacs_8.3dfsg-1_all.deb)
SHA1: 45b39b61c797402e57c25cfda73371ed076d6893
SHA256: 7c68fefb59dee1add508a51b47a175d3f17701bce2c598762f3051a4bd31a3b8

Size: 69,236 bytes
acl2-infix (acl2-infix_8.3dfsg-1_amd64.deb)
SHA1: 6fba2db2e3914991df769ce3677641dc67715535
SHA256: fe7bac8814e6cd3f98c90981e8b72b802888cb1292f3eba17f59b4cff54d4d05

Size: 491,212 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: a83843603f70a37f6ee4afd8f79a6782a12d4e33
SHA256: c072f4f21e7f2e596f38542e4cd068d36061b1c7fa4a9fe1ccd82a69caf3d419

Size: 3,340,056 bytes

Other checksums

Submissions

irxmffnk
Submitted
Thu, 29 Oct 2020 00:32:25 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1598106562"