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

Source
acl2
Version
8.3dfsg-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 30 Jan 2022 15:53:04 +0000
Build-Path
/build/acl2-8.3dfsg

First submitted
Mon, 28 Dec 2020 13:16:59 +0000
SHA1 of .buildinfo
f6b49449a43a7a283a5d40e9c154b643d48e4976

Binaries

acl2 (acl2_8.3dfsg-1_amd64.deb)
SHA1: 2b62f0f706865c3b7177c59b8e19c0301a60638f
SHA256: 37c9954f41e3f2291537518914fee8d3ad112f5d480c5dc18bd1c17a7b50ed55

Size: 21,186,764 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: 883ef1f49d5814d7a14f9384299a3a54cf2c9b5a
SHA256: 67fb1b9cb3c87583c4c7cab49d86e8cae47d543cf4e44e6351fccda83f838ec0

Size: 447,520 bytes
acl2-emacs (acl2-emacs_8.3dfsg-1_all.deb)
SHA1: 679df1a5a979fe6a4a25c8f9a4e825903a5bef1d
SHA256: 9be9898a380fca2d68b0dba9830e584b9b7f460b4f348ea021f9b0639baa4302

Size: 69,232 bytes
acl2-infix (acl2-infix_8.3dfsg-1_amd64.deb)
SHA1: 16d3fe3879b8cb19cea071e39299112087a58bc9
SHA256: b445b1577c29a3f326b669a49c4769b63686e43fec68c80fb8b9d5e3e1be75ac

Size: 493,220 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: 4ba1c77ec19c50779b42d8dcd8d0c7908252250f
SHA256: 9b3e65827116300366c35a5bb28984f66a22b4b383134c2fae38eb08031142c3

Size: 3,339,972 bytes

Other checksums

Submissions

rhu9gzta
Submitted
Mon, 28 Dec 2020 13:17:00 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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