Source
acl2
Version
8.2dfsg-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 27 Dec 2019 06:00:46 +0000
Build-Path
/build/acl2-eSHCMi/acl2-8.2dfsg

First submitted
Fri, 27 Dec 2019 12:10:19 +0000
SHA1 of .buildinfo
7121e7183b21de0cfa5ac7219182df5a94fe276f

Binaries

acl2 (acl2_8.2dfsg-2_amd64.deb)
SHA1: 421bef776bb211f4765c2a882f1da0cb8c1582ce
SHA256: 81a8229dad405d67030786bdb3ad594cf9bf009d9f159417865a63cb7c14a093

Size: 21,968,172 bytes
acl2-books (acl2-books_8.2dfsg-2_amd64.deb)
SHA1: 910c8a5ab4322ef890acf0cde2c089658b4db5e4
SHA256: 890ccde250e76091d5e9986bc6fb4ccdbd24e8e6a83735e2c20dc29a74487634

Size: 171,794,668 bytes
acl2-infix (acl2-infix_8.2dfsg-2_amd64.deb)
SHA1: 80b3b367084abb7fc63b18e053462989ce7607e9
SHA256: 40081d9131a4f5255510c8b2d9938874efcee8125383d9baa0b1af8de8090ec0

Size: 495,496 bytes

Other checksums

Submissions

Submitted
Fri, 27 Dec 2019 12:10:20 +0000
Signed by
0xE9BEE1DBDA111424

Environment


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