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

Source
acl2
Version
8.1dfsg-4
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Mon, 4 Nov 2019 06:57:32 +0000
Build-Path
/build/acl2-BCEw7D/acl2-8.1dfsg

First submitted
Mon, 4 Nov 2019 12:10:41 +0000
SHA1 of .buildinfo
c4c21090939d9cf01fa14de41a224ac1a6fa7886

Binaries

acl2 (acl2_8.1dfsg-4_mips64el.deb)
SHA1: 6ed61a60b854dd36e7b85483d9d8f7728205a356
SHA256: ee17b85c4158331c8093552fae8a7c0561ad777d32b0d9e7c9ad683dc8ef1515

Size: 18,278,232 bytes
acl2-books (acl2-books_8.1dfsg-4_mips64el.deb)
SHA1: 65a96639ecf922c14b524fad29e2c81f96157aed
SHA256: 46e49ba1f403e122c3d1ba2857712a686ac1862d4a6c31d6ebbee0491ad511a9

Size: 175,527,596 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-4_mips64el.deb)
SHA1: 2207ab48b9d69ec9703620af2db6fb4beb0077a1
SHA256: c11d60b130e3467d1d108c73b4ddeb2c0c2598f7c99fb59045bd17d7d0986fdf

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

Other checksums

Submissions

jom9jjeb
Submitted
Mon, 4 Nov 2019 12:10:41 +0000
Signed by
0x2378023FC330EAE7

Environment


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