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

Source
acl2
Version
8.4dfsg-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 29 Oct 2021 04:01:28 +0000
Build-Path
/build/acl2-ph2NPk/acl2-8.4dfsg

First submitted
Fri, 29 Oct 2021 06:15:38 +0000
SHA1 of .buildinfo
0fe2009a732ac7433c77fcf92656af2a0b4a20ee

Binaries

acl2-books-certs (acl2-books-certs_8.4dfsg-1_all.deb)
SHA1: 2076321c9148ce84fa667c9c04909e03ec049e97
SHA256: f7e20fbe42ace69a247b079b6041cd4f320d0871c88df5a96429bc6be5b6fb97

Size: 175,537,236 bytes
acl2-books-source (acl2-books-source_8.4dfsg-1_all.deb)
SHA1: 45aaf60f24cdd9b0c1c9dfae10ceeb8347e964e7
SHA256: 2192d874e49acd10a62a942da3250196f436a1bff8db677bb5cbb636f593dff7

Size: 22,958,880 bytes
acl2-doc (acl2-doc_8.4dfsg-1_all.deb)
SHA1: bdeef639cef29594e364e34d63e74aa03b86f74d
SHA256: f118592c1a728e83158a422a3b3d3f9971daacb3fa9976d852386b858593a8e9

Size: 455,776 bytes
acl2-infix-source (acl2-infix-source_8.4dfsg-1_all.deb)
SHA1: 6df8a6f82a2e406a5bd5d2fea504f5c2bd268f3d
SHA256: 94ab40b07d21597de846501a859fa0ee49053b470ca7388c0afa072363de57fa

Size: 80,024 bytes
acl2-source (acl2-source_8.4dfsg-1_all.deb)
SHA1: 90c07f5b7c1dc4e5598007f8d24e35ad1659d570
SHA256: d706da25a1f2d4e29029d1ad8b709a8844f91eb46dd19893f0fa7dad8b751486

Size: 3,481,352 bytes
elpa-acl2 (elpa-acl2_8.4dfsg-1_all.deb)
SHA1: 6874c4ef2ca5443ff1e01e3c9c20dfe023676d13
SHA256: 7d490f8868b0a427b60af3bc82c07e8482ef075ee808ba9ff2a11e5cfcc1bd44

Size: 77,212 bytes

Other checksums

Submissions

cxtvgueq
Submitted
Fri, 29 Oct 2021 06:15:38 +0000
Signed by
0x92CDBA4D667C71F3

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1635441969"