Source
acl2
Version
8.0dfsg-1
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Tue, 16 Jan 2018 06:05:06 +0000
Build-Path
/build/acl2-OHQlJb/acl2-8.0dfsg

First submitted
Sat, 27 Oct 2018 17:10:11 +0000
SHA1 of .buildinfo
89f49a787ec4240cfffca7a7955feef0470bcdf3

Binaries

acl2 (acl2_8.0dfsg-1_mips.deb)
SHA1: e1e7d9eae59cf332c092793d9b03b91fcd185a6a
SHA256: d3d10147cad86e838baa487313f7a3a168a4c1adf5662c63c31ff4824005b7c2

Size: 17,333,508 bytes
acl2-books (acl2-books_8.0dfsg-1_mips.deb)
SHA1: 964335752d4a91244de35a167a4c43cce72c247a
SHA256: 49a73a02be4c7f32798b20d5ff85adf331fc829f8964bf7174bfe8d041bc7bf7

Size: 132,128,200 bytes
acl2-infix (acl2-infix_8.0dfsg-1_mips.deb)
SHA1: a1e4903e93ff0dcc3b90bd0d9a5147b69909891b
SHA256: b07d1360e12c20d9936071e003e73353b0124211655adb6f467df192f0df2f2a

Size: 431,240 bytes

Other checksums

Submissions

Submitted
Sat, 27 Oct 2018 17:10:11 +0000
Signed by
0x4232190911697038

Environment


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