acl2_7.4dfsg-4_armhf.buildinfo (view)

Source
acl2
Version
7.4dfsg-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 4 Oct 2017 00:22:47 +0000
Build-Path
/build/acl2-Yvvg2d/acl2-7.4dfsg

First submitted
Fri, 26 Oct 2018 08:45:23 +0000
SHA1 of .buildinfo
bd9939894017ca35b732c8fbe5d4a5f7f77624dc

Binaries

acl2 (acl2_7.4dfsg-4_armhf.deb)
SHA1: 5e29cbb2f6b8002de066ad23c161e3101eb35986
SHA256: 543b06232836f6e89fe33f517a1b05b5a211fb774b773fbc806451f5231344aa

Size: 15,901,274 bytes
acl2-books (acl2-books_7.4dfsg-4_armhf.deb)
SHA1: 6f95639db072b8d3425b078fb187bca024b36315
SHA256: 90403c211ae85f051484c79c47452cb00edb8fa6a1ef5994b3620ed88f07de87

Size: 106,373,904 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-4_armhf.deb)
SHA1: 4236acbe6ccb1f4183b19afcad20f268dbe5f2d0
SHA256: 2babd29711f8846a0cae96fb8b8d3e02206df55b0f011a1dbaf9e08b28ea6f0d

Size: 416,672 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

cri3xxbq
Submitted
Fri, 26 Oct 2018 08:45:23 +0000
Signed by
0xDD29D28422356DC7

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1504048276"