acl2 (8.1dfsg-3)_8.1dfsg-3+b1_i386.buildinfo (view)

Source
acl2 (8.1dfsg-3)
Version
8.1dfsg-3+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 22 Jul 2019 04:30:08 +0000
Build-Path
/build/acl2-8bWOra/acl2-8.1dfsg

First submitted
Mon, 22 Jul 2019 08:41:27 +0000
SHA1 of .buildinfo
53e0669254fd48fe1d6148672dbf9e129e55274b

Binaries

acl2 (acl2_8.1dfsg-3+b1_i386.deb)
SHA1: a77af9aa38ce5bcc10209b42dc72df570934f88b
SHA256: 207f4b5215ef7195d4cffa879cbc2d958a9db7b073a735d91db53139641cc45b

Size: 18,675,512 bytes
acl2-books (acl2-books_8.1dfsg-3+b1_i386.deb)
SHA1: 38d3843cf33b37994d58285a803745971e5abae5
SHA256: b8125d4c80c188842420944c2761d9595d9bab88cf7dfe9928ac676ccaa0785f

Size: 139,031,768 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-3+b1_i386.deb)
SHA1: 3068dbc30ae8f4cd63dfb32e1ccb27e97991d9aa
SHA256: 40999b8e09957de4e98fc71121ab75ea0d6a6eeb6d4a2b396707b0b4ba7c8be3

Size: 495,076 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

mx9vdc77
Submitted
Mon, 22 Jul 2019 08:41:28 +0000
Signed by
0xD4D51947CB93A7C6

Environment


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