Source
acl2
Version
8.0dfsg-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 14 Jan 2018 02:34:20 +0000
Build-Path
/build/acl2-zRGb9n/acl2-8.0dfsg

First submitted
Sat, 27 Oct 2018 16:49:07 +0000
SHA1 of .buildinfo
52c611657f1d583d23d7da8ea11d5613baa33732

Binaries

acl2 (acl2_8.0dfsg-1_arm64.deb)
SHA1: 83fe27eee8ad3e2ef301cec8bd080863d10a3cb9
SHA256: d50d9302d8b9d5a424f2b3d48d78e97dd2dcd06418c42d338b9a713c881fb06c

Size: 17,862,108 bytes
acl2-books (acl2-books_8.0dfsg-1_arm64.deb)
SHA1: 81a88926372b79ce97e92e8c989bf94f25f464d1
SHA256: 1d1893fbee59a230359ac1e73be371ad4dc9edbb976a063eb82285cd1825dff9

Size: 141,349,688 bytes
acl2-infix (acl2-infix_8.0dfsg-1_arm64.deb)
SHA1: a667373cac9d0b674787b910642ee6b2493823ab
SHA256: 79ed13ad854567d0332223c775b04b6159020fd4e706334ce5aec0444d541b1d

Size: 442,796 bytes

Other checksums

Submissions

Submitted
Sat, 27 Oct 2018 16:49:07 +0000
Signed by
0xAE5F1194F1476982

Environment


DEB_BUILD_OPTIONS="parallel=6"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1515765876"