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

Source
acl2
Version
8.1dfsg-6
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Wed, 11 Dec 2019 08:13:42 +0000
Build-Path
/build/acl2-uHtKdk/acl2-8.1dfsg

First submitted
Wed, 11 Dec 2019 12:34:21 +0000
SHA1 of .buildinfo
cdfd27c803ad9705f98f245495cca43744e8ff3a

Binaries

acl2 (acl2_8.1dfsg-6_mipsel.deb)
SHA1: 0319281671768f13c6320546fae31fcb5d94f60a
SHA256: e13e89b58822dd9a8b5519414b48f163755e96e05064ed179215d47951f59712

Size: 19,865,572 bytes
acl2-books (acl2-books_8.1dfsg-6_mipsel.deb)
SHA1: 38511af7ec41e83f63384458f7dc3d0f55cf2f13
SHA256: ccbfc6677ce4a98987fc3daa3f50ea6cd160699c406646ca04570fb459ed23d4

Size: 158,183,480 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-6_mipsel.deb)
SHA1: f348495a0b8abfe788029655421c849c5d0ea39f
SHA256: 9bde1087977ceb0cf1fed943ca0c251563b91ac0155c0deb2825194752651b98

Size: 514,708 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

jb9kzeup
Submitted
Wed, 11 Dec 2019 12:34:21 +0000
Signed by
0x3443710A81671ED1

Environment


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