acl2_8.2dfsg-2_all.buildinfo (view)

Source
acl2
Version
8.2dfsg-2
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 27 Dec 2019 05:57:31 +0000
Build-Path
/build/acl2-LdolzL/acl2-8.2dfsg

First submitted
Fri, 27 Dec 2019 12:10:59 +0000
SHA1 of .buildinfo
5a0eef8fc21330c7c2a5e6587339f736a3931119

Binaries

acl2 ()
acl2-books ()
acl2-books-certs (acl2-books-certs_8.2dfsg-2_all.deb)
SHA1: a3277cb59b4955df6bf27b9ab9e9ffb7ac444307
SHA256: b358df9c094eecb91f3787cc9b241278965a3a61501a99347f1437007eebf517

Size: 68,989,320 bytes
acl2-books-source (acl2-books-source_8.2dfsg-2_all.deb)
SHA1: 8d353e400dfe5f190a5bc787acb4ceca82714c75
SHA256: 81062ea3b6b52315a06410368e85cbdb29e443d6112d5389fa5704190f86300d

Size: 14,297,904 bytes
acl2-doc (acl2-doc_8.2dfsg-2_all.deb)
SHA1: b9815dd64677d795656183720db613a67eb84a63
SHA256: 29f7ea59553b386ea6bffe512da617642d560b268f02bbaff868dde8d8c3cd60

Size: 432,804 bytes
acl2-emacs (acl2-emacs_8.2dfsg-2_all.deb)
SHA1: b39e58437e7b572c7752bf756388caa5d23b4d97
SHA256: e40f5848032af6ba441d9b32ab45d07f09987d268a5f083007e27433c5c521b3

Size: 68,252 bytes
acl2-infix ()
acl2-infix-source (acl2-infix-source_8.2dfsg-2_all.deb)
SHA1: f7ad9a2b1538a662f7bad5239ee4c2c33f308fe8
SHA256: 13b9d3f2f3e49cad28b2ae9b0d1ddc7011cc8eb2f11db9e41a02fd56ff4c5c18

Size: 79,652 bytes
acl2-source (acl2-source_8.2dfsg-2_all.deb)
SHA1: 523ff8271b7cedc404f623861aebcf010399a2b5
SHA256: c58adad19dc0e3ec44940143169a8d5a2c6a7633c3d8cf7fa966d2052fc3bdf6

Size: 3,276,472 bytes

Other checksums

Submissions

hm4dz3tw
Submitted
Fri, 27 Dec 2019 12:11:00 +0000
Signed by
0x425D5F0FF5BC86F7

Environment


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