Source
acl2
Version
8.0dfsg-1
Architecture
all amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 13 Jan 2018 02:01:20 +0000
Build-Path

First submitted
Sat, 27 Oct 2018 16:44:00 +0000
SHA1 of .buildinfo
d057b54d5d8047e67486620eda97869477d5579b

Binaries

acl2 (acl2_8.0dfsg-1_amd64.deb)
SHA1: 04eaa1829f743005fabf04a41f43e42faf55923a
SHA256: 5a3b0285ac6719b4d56f0dbbaaa4f1959742186f9f489861f31ec9eea6d3eb0f

Size: 19,855,896 bytes
acl2-books (acl2-books_8.0dfsg-1_amd64.deb)
SHA1: d86a30a68805ea3f468c2aad97eb978f72a4b56b
SHA256: 698146eabe57287635acde1f5af747b8dbf075fb1bbbb849a57603e4accd79e0

Size: 137,946,376 bytes
acl2-books-certs (acl2-books-certs_8.0dfsg-1_all.deb)
SHA1: ffa4c3000fc39e2e252b05a3425149cb527244ea
SHA256: 9d82e6f84fbe2099e5e43f68690bc038e5310d64debeeeefbb049870b8a40fe4

Size: 73,306,868 bytes
acl2-books-source (acl2-books-source_8.0dfsg-1_all.deb)
SHA1: 488ec08143a73d7e115072dae7094e9e24ce50cb
SHA256: c0da9a0cc49decccd5aa2c3b10ec1b9c9fec6ac7c3a65c70daba1889bd653840

Size: 12,473,396 bytes
acl2-doc (acl2-doc_8.0dfsg-1_all.deb)
SHA1: b153bb5295829d7a79b22ca89407dc6b40c2329f
SHA256: 9a58d90a701dee6915443934e013d1411251e0755accba0a59f5f6d95fcbac75

Size: 401,524 bytes
acl2-emacs (acl2-emacs_8.0dfsg-1_all.deb)
SHA1: fbcec3f0280fa81f752622ed0be2c2200b7c7236
SHA256: bf9de8ba3d8473f3c47795402b87c1b9d646902e9f39830a1da47c04fb514a81

Size: 67,608 bytes
acl2-infix (acl2-infix_8.0dfsg-1_amd64.deb)
SHA1: 4a0b0e7cfd6fd5d36344129640f09c3b1984444f
SHA256: c0a925029b991d42ad7266b771ff553cd06f14853c905b12460875a88442b2ff

Size: 432,032 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: 9f149d65e71a8f04f8c02689df39d7e0d87efb7b
SHA256: a1cdc40aada2b86d0f8ebf061e044769f4ff630157c233c6f1268fb7e5975de7

Size: 3,081,324 bytes

Other checksums

acl2_8.0dfsg-1.dsc
SHA1: f87a3bbfbf7dcd2e0f0a147a474c25196d55a501
Size: 2,245 bytes

Submissions

Submitted
Sat, 27 Oct 2018 16:44:00 +0000
Signed by
0xB845CE510F9B714D Camm Maguire <camm@debian.org>

Environment


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