acl2_8.2dfsg-3_mipsel.buildinfo (view)

Source
acl2
Version
8.2dfsg-3
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Fri, 3 Jan 2020 13:52:58 +0000
Build-Path
/build/acl2-YWAH1p/acl2-8.2dfsg

First submitted
Fri, 3 Jan 2020 18:38:44 +0000
SHA1 of .buildinfo
e90182fbdb4432a62e523bdf24f234dafcd3a7b0

Binaries

acl2 (acl2_8.2dfsg-3_mipsel.deb)
SHA1: 07334b934c1a06ca8641c050eafe01bb5ecb0c59
SHA256: f3d2b664ee7aec23230b716f5480d138e346bd009bc91981531d5dd82a82131b

Size: 18,974,324 bytes
acl2-books (acl2-books_8.2dfsg-3_mipsel.deb)
SHA1: aeaee41ab6eb08f43a6ae68a3c0d8f18e9f12f7c
SHA256: 4959f4d5060374f4403fc1279235b121a80d044d7265717a3d97c7482aee4157

Size: 168,527,400 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-3_mipsel.deb)
SHA1: 586e26baae15e24e6eeb3d8d946d8abf87d7af12
SHA256: 8e651d268ee40aea9a6888ed311641682990209e482a18de476c8757bfaf629d

Size: 515,640 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

nnqwfk7q
Submitted
Fri, 3 Jan 2020 18:38:45 +0000
Signed by
0x9E295DF36F3AE1C6

Environment


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