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

Source
acl2
Version
8.2dfsg-2
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sat, 28 Dec 2019 17:35:33 +0000
Build-Path
/build/acl2-sNBI6N/acl2-8.2dfsg

First submitted
Sat, 28 Dec 2019 19:26:41 +0000
SHA1 of .buildinfo
ccb4e10ebf67323a06f7c71075956e4a66bc98eb

Binaries

acl2 (acl2_8.2dfsg-2_armel.deb)
SHA1: 2bb5e503b2d2e9a442aaa30cda635111e2ad66f7
SHA256: 7ad3777aca0988fcdb1d2e1504b4833d13f57f9c620f2d7bfd8adbe18e3752ab

Size: 17,926,156 bytes
acl2-books (acl2-books_8.2dfsg-2_armel.deb)
SHA1: eb4d3048888ca9978377170ec9f1037d9f18e2b5
SHA256: 5c9bc68d368d5cf570501c19b9119e280a45dab7e46bf977ce44f983e4f3bfce

Size: 154,488,940 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-2_armel.deb)
SHA1: 918f8f28ed1f196cd42b29fda94f002dc84ff5c4
SHA256: fc2890aa934b74ab8da47e3a15f499228f94a06fc4b8d6cd9855d59b7cd6f9ea

Size: 474,160 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

7aeijmhk
Submitted
Sat, 28 Dec 2019 19:26:42 +0000
Signed by
0xEC824538D5BC17E3

Environment


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