Source
acl2
Version
8.2dfsg-3
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 31 Dec 2019 12:07:51 +0000
Build-Path
/build/acl2-XWRtZM/acl2-8.2dfsg

First submitted
Tue, 31 Dec 2019 18:15:08 +0000
SHA1 of .buildinfo
388f310c80b12f36bc7f86be4bf0378170a1e124

Binaries

acl2 ()
acl2-books-certs (acl2-books-certs_8.2dfsg-3_all.deb)
SHA1: 6fc9e8a5031548f6a4ececd480965c307a41b21e
SHA256: 09918236d35178fd556d2daf7baf05c61061998c1d19f94e450737b2f2ec27d8

Size: 68,990,468 bytes
acl2-books-source (acl2-books-source_8.2dfsg-3_all.deb)
SHA1: 4d17561cb9df61b269017f0137856d71ab0a1eda
SHA256: f1bd5738afc2a995d48c15c838533597ed39fa7042c4490042c05a1d11c0f90c

Size: 14,298,228 bytes
acl2-doc (acl2-doc_8.2dfsg-3_all.deb)
SHA1: 556808f4339885f3d89d9d62753030cd1e675ed5
SHA256: 153c4df2c00767a8a9a03df6d31bcd5bb6c65ffcbe86df8216771a1db9d1172a

Size: 432,776 bytes
acl2-emacs (acl2-emacs_8.2dfsg-3_all.deb)
SHA1: 0da953de1f26e98d7e8ee308fda32aea92cdedd2
SHA256: 64c5c46f67e003ec720bb780a7c8f10f9b1efd66c7d8991d3f8d318aa9798b57

Size: 68,308 bytes
acl2-infix-source (acl2-infix-source_8.2dfsg-3_all.deb)
SHA1: 1bbdabc57bd1945cd6132bc97d1bb3a2dadd1e03
SHA256: 136ec612875ab593da80e3dbadc65015d6f5e36bc2c203581fa37c76aa84ba61

Size: 79,644 bytes
acl2-source (acl2-source_8.2dfsg-3_all.deb)
SHA1: d542adf0a9138b3a825bfca7bd23702b720acaf3
SHA256: 53bf98003c9a69b482cd102291179784fd4b7923b2505c14201568bfc65602c5

Size: 3,276,396 bytes

Other checksums

Submissions

Submitted
Tue, 31 Dec 2019 18:15:08 +0000
Signed by
0x425D5F0FF5BC86F7

Environment


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