acl2 (7.4dfsg-3.1)_7.4dfsg-3.1+b1_mips64el.buildinfo (view)

Source
acl2 (7.4dfsg-3.1)
Version
7.4dfsg-3.1+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Fri, 29 Sep 2017 07:49:51 +0000
Build-Path
/build/acl2-K59LR0/acl2-7.4dfsg

First submitted
Sat, 27 Oct 2018 13:34:13 +0000
SHA1 of .buildinfo
838ebdfd8dd3042a21da95c61b153995ed59d8c1

Binaries

acl2 (acl2_7.4dfsg-3.1+b1_mips64el.deb)
SHA1: 84a32e093816962a9ca357c7e2934e85b63ff3e5
SHA256: e66264c556adc7039e95380479d5becad7b2ad96eee766e01cdfbad4b41bd7c5

Size: 17,191,044 bytes
acl2-books (acl2-books_7.4dfsg-3.1+b1_mips64el.deb)
SHA1: 6c53a367c80ace71acb99d3241d4cc97c70bcfdd
SHA256: 0f61ee89dcfcafae61f7f042f9e398c4a919615ec8a35af9cea86e79b8a3e124

Size: 131,537,408 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-3.1+b1_mips64el.deb)
SHA1: 1092ce7829c6b26244beb691d8f41246efd2e84d
SHA256: c443687a6cd61148623f04f1763828273037ac1887039f2853c3d71067a296ff

Size: 450,088 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

rwdmfsgo
Submitted
Sat, 27 Oct 2018 13:34:13 +0000
Signed by
0xA64E52638DB67C8E

Environment


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