acl2_8.0dfsg-1_mipsel.buildinfo (view)

Source
acl2
Version
8.0dfsg-1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 16 Jan 2018 04:53:21 +0000
Build-Path
/build/acl2-obq73n/acl2-8.0dfsg

First submitted
Sat, 27 Oct 2018 17:10:32 +0000
SHA1 of .buildinfo
1bd2f92471811488313ea2a8a104f2c403ca7b73

Binaries

acl2 (acl2_8.0dfsg-1_mipsel.deb)
SHA1: ebbb6e0d7614e36a96b9282af0f0f4f7559ed897
SHA256: 7cb27243de0d0c778f127327ef24cc39b4b71e412a89eae9acc5934ca245a8ef

Size: 17,484,928 bytes
acl2-books (acl2-books_8.0dfsg-1_mipsel.deb)
SHA1: 7265f7835a27ee8685ee658757780740bf6cc3b8
SHA256: bacab78662917e669616e0d2772279cff4ea21c49f5b2c540ff8403a83084b09

Size: 136,927,676 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.0dfsg-1_mipsel.deb)
SHA1: ced345e4ae77138ecf6ff1b82a74d108b91685bf
SHA256: 347bab5cf04be2bf77582102de8366007a1ca259abd1298a8fe3df4cb27b3ccf

Size: 452,372 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

et7usbzs
Submitted
Sat, 27 Oct 2018 17:10:32 +0000
Signed by
0x9586203D53CEB585

Environment


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