acl2_8.2dfsg-2_all.buildinfo (view)

Source
acl2
Version
8.2dfsg-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 30 Dec 2019 19:02:37 +0000
Build-Path
/build/1st/acl2-8.2dfsg

First submitted
Tue, 31 Dec 2019 08:30:53 +0000
SHA1 of .buildinfo
75124c8813bc4e2d34b0472df23a49ae85e2cc05

Binaries

acl2 (acl2_8.2dfsg-2_amd64.deb)
SHA1: 880f79f2fdcc62471d3cfa564ffa92355e012855
SHA256: 0ec10a58a06212bed2c2bc6b59a4cc1af276f741067f84c4e52b2a5561e8d9ac

Size: 21,930,368 bytes
acl2-books (acl2-books_8.2dfsg-2_amd64.deb)
SHA1: 6095b5a3cbe0dc582c36f52ccb42a70687ea1243
SHA256: 1275f419a7394d1781bde39448a38ef578bf61b628c6590cd00a3c96430583cf

Size: 171,699,352 bytes
acl2-books-certs (acl2-books-certs_8.2dfsg-2_all.deb)
SHA1: 436f691993b77957c68e6f19bff710ace5a92a68
SHA256: c0b9f93d91ccf5a792417bbd6c67e39f613e659e6be4270f49cf1722019bbce6

Size: 68,976,664 bytes
acl2-books-source (acl2-books-source_8.2dfsg-2_all.deb)
SHA1: 83d2486920f4ce27eaf071b354bb066b3d2e7209
SHA256: 4c0a6a3e5e79778e493d10876c6f2a23f743f2f55bafb3860fe93b67111aeba4

Size: 14,298,108 bytes
acl2-doc (acl2-doc_8.2dfsg-2_all.deb)
SHA1: ca181e9aa813ee59ed4813a7c70301c06954714d
SHA256: 19d7446a09da35d9fc8ec168e517ce78217b8d9fdb3d2f645df0a02dd8bfe2ba

Size: 432,788 bytes
acl2-emacs (acl2-emacs_8.2dfsg-2_all.deb)
SHA1: 02265e8276de4761e75951398465f5230f45c796
SHA256: 45b11e238e24d7dc85d9d5a2d116414266bb565535fcaaf00ecd482604c103cb

Size: 68,252 bytes
acl2-infix (acl2-infix_8.2dfsg-2_amd64.deb)
SHA1: 2d88f87ffabfd03208d8c4bd8d4572388f25dd8b
SHA256: b70b4a39e482e85a8ad8009277eefae1da902b9841ca71f48dbe31283c5fb0e1

Size: 489,712 bytes
acl2-infix-source (acl2-infix-source_8.2dfsg-2_all.deb)
SHA1: f7ad9a2b1538a662f7bad5239ee4c2c33f308fe8
SHA256: 13b9d3f2f3e49cad28b2ae9b0d1ddc7011cc8eb2f11db9e41a02fd56ff4c5c18

Size: 79,652 bytes
acl2-source (acl2-source_8.2dfsg-2_all.deb)
SHA1: 523ff8271b7cedc404f623861aebcf010399a2b5
SHA256: c58adad19dc0e3ec44940143169a8d5a2c6a7633c3d8cf7fa966d2052fc3bdf6

Size: 3,276,472 bytes

Other checksums

Submissions

urirojax
Submitted
Tue, 31 Dec 2019 08:30:54 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1577393229"