acl2_8.1dfsg-3_mips64el.buildinfo (view)

Source
acl2
Version
8.1dfsg-3
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sat, 6 Apr 2019 21:47:12 +0000
Build-Path
/build/acl2-6WfGGs/acl2-8.1dfsg

First submitted
Sun, 7 Apr 2019 00:18:22 +0000
SHA1 of .buildinfo
35b5b39e5ddf91541959d9ed3314ab1dba477f1d

Binaries

acl2 (acl2_8.1dfsg-3_mips64el.deb)
SHA1: 1de53c4547f9c36f35ac19fea338d38a78ebade0
SHA256: 6ee32f83a96b4a13b97c7bc3d409b9bc3474197601af1b7fae402e2b60c7285a

Size: 18,228,096 bytes
acl2-books (acl2-books_8.1dfsg-3_mips64el.deb)
SHA1: e8b894581c5835d6837833eea11e8febe9e3e89f
SHA256: 41515bf63b113bee56682a5eaf84cf6d5913a4daf4c2879f31e1564582958415

Size: 172,883,776 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-3_mips64el.deb)
SHA1: 6342fb6345ab18d191cca0f27f73744c1b962b09
SHA256: 4cfedb2019286be6f5cbd05d257c21f5fbc70e9d15783a065254d5fb827287c4

Size: 508,464 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

hfyzkeii
Submitted
Sun, 7 Apr 2019 00:18:22 +0000
Signed by
0x0E2566AE0AF89F9E

Environment


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