acl2_7.4dfsg-2_armel.buildinfo (view)

Source
acl2
Version
7.4dfsg-2
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Thu, 1 Jun 2017 06:51:42 +0000
Build-Path
/build/acl2-S2v6nn/acl2-7.4dfsg

First submitted
Sun, 28 Oct 2018 03:54:46 +0000
SHA1 of .buildinfo
5c02f8854b17569156ab13bbf50c70308f11faaf

Binaries

acl2 (acl2_7.4dfsg-2_armel.deb)
SHA1: 8e31fa4e09e0cc8024f9e86994ca4756e2f4f1c0
SHA256: 7200db64e569df4d08c49074bcb59a86992303f0c927c1dcc4e9b2a1eb4f02ab

Size: 15,523,202 bytes
acl2-books (acl2-books_7.4dfsg-2_armel.deb)
SHA1: d7e3d260b082e18c6396b277dbb57a179db6ee1b
SHA256: 21e3f3c0b4d88778bbeeffdf4a3aaa2148de1d61e415daaf9ae512f9955b7cbf

Size: 104,488,158 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-2_armel.deb)
SHA1: 8b033514f1dfa3a7ccf67eca36caaa75ff28de95
SHA256: 2e91c97033a085fc40e11fc9818183f1c4068f071251d53540b57a703c216b24

Size: 397,890 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

sxz3ee9m
Submitted
Sun, 28 Oct 2018 03:54:46 +0000
Signed by
0x300D3289810735B9

Environment


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