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

Source
acl2
Version
8.2dfsg-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 20 Dec 2019 01:44:37 +0000
Build-Path
/build/acl2-5AuBnv/acl2-8.2dfsg

First submitted
Fri, 20 Dec 2019 06:11:15 +0000
SHA1 of .buildinfo
e0876dc760e1426cec91725ed76382032a0aab09

Binaries

acl2 ()
acl2-books ()
acl2-books-certs (acl2-books-certs_8.2dfsg-1_all.deb)
SHA1: ea44d2af448f236df3b9d25507545c3befd427e3
SHA256: 62be0f49af4bfb1366fe823da2d876bbb4a8b497486634ed3c6b188e7fabbb66

Size: 68,995,860 bytes
acl2-books-source (acl2-books-source_8.2dfsg-1_all.deb)
SHA1: 50a73d852b106cc6e8e5e49b32994cb5ede86123
SHA256: 007428dfe6db5fb4d961468d279612874560852c5c392232e9d6c774881322e9

Size: 14,297,852 bytes
acl2-doc (acl2-doc_8.2dfsg-1_all.deb)
SHA1: d933de0a43301c08f15b8ab42c6a28a6b7b5d404
SHA256: 66ac1e0eabd9f149978299e2ac86c31c8d8d19eef5cf45985d9a874fcc2c83e0

Size: 432,716 bytes
acl2-emacs (acl2-emacs_8.2dfsg-1_all.deb)
SHA1: a527f7f1831a99f6f80f774ddf463cfd36988064
SHA256: 0c1d343382b73e98de7b11d1cc7dd9ee5383ea5cd9641539207ac6d4518c52ff

Size: 68,200 bytes
acl2-infix ()
acl2-infix-source (acl2-infix-source_8.2dfsg-1_all.deb)
SHA1: 0e79b4b5083400b00bb421509b18f5df99f9f58f
SHA256: a271c3794d6cfc1e1d5ec6835d9dce5cddb5d4f4e42dcf8b4f8a88bd927efa0c

Size: 79,580 bytes
acl2-source (acl2-source_8.2dfsg-1_all.deb)
SHA1: 0dfcd679986b5a3fc385e5775fe9ef82952b4c89
SHA256: 2e87d7e73ec0460367303f7800469e97818582f72936bf380312ad4ccea6fdc0

Size: 3,276,388 bytes

Other checksums

Submissions

gysouunz
Submitted
Fri, 20 Dec 2019 06:11:16 +0000
Signed by
0x425D5F0FF5BC86F7

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1576769407"