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

Source
acl2
Version
8.2dfsg-1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sun, 22 Dec 2019 03:29:37 +0000
Build-Path
/build/acl2-uHAZqe/acl2-8.2dfsg

First submitted
Sun, 22 Dec 2019 06:11:43 +0000
SHA1 of .buildinfo
86b6ba268798108b7ef1cd55eb429d4b40dab63b

Binaries

acl2 (acl2_8.2dfsg-1_mips64el.deb)
SHA1: ca6470f267aca6330213cc672a873a00a36f514c
SHA256: 14290ab266146bc26e4fa5704de4547a3bef8d9239bd2b7c990dd5ec7d5288fe

Size: 20,064,376 bytes
acl2-books (acl2-books_8.2dfsg-1_mips64el.deb)
SHA1: 678bb7864e770a13fcb0cf89ffeadeac8fac20b7
SHA256: 06cf7ba60c720761106e3ae1ae77a80b754e1fdeebbd02b649cace957b08cca1

Size: 182,022,592 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-1_mips64el.deb)
SHA1: bb0da92ca9afe23b1b30b751947409d363e5b54e
SHA256: 12d1ec550d5de72a9797f2ed78b4da38511d8cd618c16637effc1f3f3e62e4e6

Size: 509,332 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

cvesrrmy
Submitted
Sun, 22 Dec 2019 06:11:44 +0000
Signed by
0x885399CEDDE3D7F9

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1576769407"