acl2_7.4dfsg-3.1_mips.buildinfo (view)

Source
acl2
Version
7.4dfsg-3.1
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Fri, 11 Aug 2017 19:24:29 +0000
Build-Path
/build/acl2-BefQUF/acl2-7.4dfsg

First submitted
Sat, 27 Oct 2018 16:02:02 +0000
SHA1 of .buildinfo
22e2256f847e5b0ef0bb7781e0f479987ddf7bd1

Binaries

acl2 (acl2_7.4dfsg-3.1_mips.deb)
SHA1: 3f235e336fa36286b86d6fb5c3ba3cebcf0b0743
SHA256: e5fa97fdbf4b37736877f35835fb9752d65ef353f54351726552aa76738a00ce

Size: 16,705,152 bytes
acl2-books (acl2-books_7.4dfsg-3.1_mips.deb)
SHA1: 7e51d9e2d4b36eb8fd403927abccc208dd9fb28d
SHA256: 776015566164a70027decff67efbbc7ad2d249623a7d93335a08e923e1257ace

Size: 119,009,188 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-3.1_mips.deb)
SHA1: 67097d9f671501577bca1a38fa65d0f06031964d
SHA256: 716e9fa929ebb5dd6a0c2b20322e3768b792004610fc7bd97a93849a83c20b54

Size: 431,780 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

vqcexctm
Submitted
Sat, 27 Oct 2018 16:02:02 +0000
Signed by
0xB56AD21C06EA3A49

Environment


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