Source
acl2
Version
8.0dfsg-1
Architecture
all armel source

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Fri, 8 Feb 2019 07:53:33 +0000
Build-Path

First submitted
Fri, 8 Feb 2019 18:12:32 +0000
SHA1 of .buildinfo
dd7914559da32d4978e9b9783128405938e1f456

Binaries

acl2 (acl2_8.0dfsg-1_armel.deb)
SHA1: ae1a58a706bc731b02310d236dd05c5a7aecaa06
SHA256: d255f567ddbb97b8ff8766c84708195d755ef1483f739f971a6792d611a824f7

Size: 16,732,664 bytes
acl2-books (acl2-books_8.0dfsg-1_armel.deb)
SHA1: 24596065542ca7b88e32e0872fb5b3ec9362833e
SHA256: 4fa01db549a2950967a0b672149b751cd5bc5eeaa1fc6184536b1c3d8025b4c5

Size: 129,113,912 bytes
acl2-books-certs (acl2-books-certs_8.0dfsg-1_all.deb)
SHA1: c68a3d3301b96a8a197f60c2e7b5a7a891160823
SHA256: 689f7e7816c2304a68bbc498fb55f8235e26823e4ed2364e1f7073df5335e88a

Size: 70,898,032 bytes
acl2-books-source (acl2-books-source_8.0dfsg-1_all.deb)
SHA1: 8b05c090f0514263071645119ff3b159374edec1
SHA256: f3937c99b5e701256be5edd099eb569a6043ec4c933359a52034b566865ed0a5

Size: 12,473,416 bytes
acl2-doc (acl2-doc_8.0dfsg-1_all.deb)
SHA1: 06bf5ef806ae26cc121c7639836a8a4a34a60d68
SHA256: 676c4525a1eaec88111a3622b2d49cda5a5c4b254e2191f3392b88726487b55c

Size: 401,548 bytes
acl2-emacs (acl2-emacs_8.0dfsg-1_all.deb)
SHA1: 71e989cdd39f79df1f8c14ed26f9c1dd22c90f49
SHA256: a9783a7f93d17362b98995c98e6d9540b043005cfa0f91eb44d44d36451c49b4

Size: 67,624 bytes
acl2-infix (acl2-infix_8.0dfsg-1_armel.deb)
SHA1: 54e7d0a794a1956fb37a96310a70aa4f377d7451
SHA256: 4cc3ab649eda24bdb199642e668a47c41f4eb2d1a6754f984863b8a15cc4cb07

Size: 443,776 bytes
acl2-infix-source (acl2-infix-source_8.0dfsg-1_all.deb)
SHA1: 9c4e6f5f56ad937d180f88f4fcc2d293a17bbc89
SHA256: 4a13b1cf0e1e691d4c6be752dc37650cf82294b28c05fda7cf001ced6239dfd1

Size: 79,188 bytes
acl2-source (acl2-source_8.0dfsg-1_all.deb)
SHA1: 56ec6a0eab094ee5c674ded7ecadd831319c0a4a
SHA256: c8e7f058c97672512f32fc0f5238105cab05e50668d721ec4444fdcb5ae90a09

Size: 3,081,600 bytes

Other checksums

acl2_8.0dfsg-1.dsc
SHA1: 04502b55b139cd1d7f28dd3470274aa6fcb85a31
Size: 1,362 bytes

Submissions

Submitted
Fri, 8 Feb 2019 18:12:33 +0000
Signed by
0xB845CE510F9B714D Camm Maguire <camm@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
SOURCE_DATE_EPOCH="1515765876"