acl2_8.1dfsg-6_i386.buildinfo (view)

Source
acl2
Version
8.1dfsg-6
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 9 Dec 2019 23:10:05 +0000
Build-Path
/build/acl2-IIk1yq/acl2-8.1dfsg

First submitted
Tue, 10 Dec 2019 01:00:22 +0000
SHA1 of .buildinfo
a71152a2301f124770bf71c317aca4a64bcd336e

Binaries

acl2 (acl2_8.1dfsg-6_i386.deb)
SHA1: 39f456115dfaed5f77f0ba513be3bbf520d826d7
SHA256: 4b5bbd746b96bfac738cceba20859e42236c5797b7c2d3544e07485b428ee137

Size: 18,783,840 bytes
acl2-books (acl2-books_8.1dfsg-6_i386.deb)
SHA1: ba72a376ed7b6561bac889cd7b1cab1a7d5ee1c8
SHA256: be3de9b72a06895da083f1aec770860c57022871e28c1108634171a8e0e0ee97

Size: 125,758,160 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-6_i386.deb)
SHA1: a3e52f3f0f11c7d1352cc73ff5a00183b15733ee
SHA256: 5d351a40399e96578689a5227f2205750ce612bc9c64e0de5f832dd3296a3dab

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

Other checksums

Submissions

7mjsbvyy
Submitted
Tue, 10 Dec 2019 01:00:23 +0000
Signed by
0xD4D51947CB93A7C6

Environment


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