acl2 (8.1dfsg-3)_8.1dfsg-3+b1_mips.buildinfo (view)

Source
acl2 (8.1dfsg-3)
Version
8.1dfsg-3+b1
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Thu, 25 Jul 2019 10:29:48 +0000
Build-Path
/build/acl2-DalOoU/acl2-8.1dfsg

First submitted
Thu, 25 Jul 2019 12:56:16 +0000
SHA1 of .buildinfo
53b281f15bbc1ebb19d85d54ae999b08152dc831

Binaries

acl2 (acl2_8.1dfsg-3+b1_mips.deb)
SHA1: 7ddd8349644ef6a9c1779ca249e392f66741aa83
SHA256: 4868ec99a569d14fcf900b0bcc2a29cfe6f0f09ea929d29dc8a6d8527b5cad41

Size: 19,671,512 bytes
acl2-books (acl2-books_8.1dfsg-3+b1_mips.deb)
SHA1: e532db49a5614744932ad4b962512d9bc5c443ad
SHA256: 6908d631235726e923648b6c07636d9f1910ce64f00da6bff693d18fd0a69969

Size: 150,982,356 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-3+b1_mips.deb)
SHA1: 21a5062a5537d17187266c64e0112e144263dae8
SHA256: 56b652c07d3f787cb2dd14d0bb705096f434bf0d3d158ffb031771d1fb23b2d6

Size: 493,204 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

ridg7xrk
Submitted
Thu, 25 Jul 2019 12:56:16 +0000
Signed by
0xACFD6B47AAB45570

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1563790371"