Source
acl2
Version
7.4dfsg-3.1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 9 Aug 2017 20:41:41 +0000
Build-Path
/build/acl2-JLH7Qv/acl2-7.4dfsg

First submitted
Sat, 27 Oct 2018 15:43:53 +0000
SHA1 of .buildinfo
527abff3107ba09c467394ffa9c75430580e9a25

Binaries

acl2 ()
acl2-books-certs (acl2-books-certs_7.4dfsg-3.1_all.deb)
SHA1: f26b7b5995a09ea4b08d799c4638c063740d0ea1
SHA256: 4af13deba2578630118e9d2530b9fbb25d56450c7ce557d7840d315874a2c8b7

Size: 64,302,490 bytes
acl2-books-source (acl2-books-source_7.4dfsg-3.1_all.deb)
SHA1: 59ad6673f87cc934c96111aad8913cb4cd6f7e32
SHA256: eb31cd5fb6af9e530b68e9e4288657073029ebdc73d3a1d74e7cdea40f663d45

Size: 11,973,222 bytes
acl2-doc (acl2-doc_7.4dfsg-3.1_all.deb)
SHA1: b82926aa81f1ce10afdcc6aefc15ba53d140f767
SHA256: 543dd18c1572ebcc426cab8370268b4c5c208dcffe968068ad32950d78c8d23c

Size: 387,660 bytes
acl2-emacs (acl2-emacs_7.4dfsg-3.1_all.deb)
SHA1: e6853b55327a83828e44f4f776c9fbd516f1b99a
SHA256: 3f9eb3c33de3eeffc47d2a9419d4aef5d210383d9488a2fc891e26810b37a4eb

Size: 66,966 bytes
acl2-infix-source (acl2-infix-source_7.4dfsg-3.1_all.deb)
SHA1: d1687613b28aced3b957f53c0c67ada52c690a01
SHA256: d3a9dfb24e2761aba605895300236ec936cca85064df0f122e783d58ea73636e

Size: 79,100 bytes
acl2-source (acl2-source_7.4dfsg-3.1_all.deb)
SHA1: 853f8ad50dbd424783a0767f708bd64996dffed5
SHA256: 07987d0925ddbb999ea813bd6a6d051ccb56a726ce564d33def33745b4e1b43d

Size: 3,014,256 bytes

Other checksums

Submissions

Submitted
Sat, 27 Oct 2018 15:43:54 +0000
Signed by
0x77A935AC72C39EAB

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1501795663"