Source
acl2
Version
8.1dfsg-1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Thu, 7 Mar 2019 06:44:37 +0000
Build-Path
/build/acl2-oR1cPm/acl2-8.1dfsg

First submitted
Thu, 7 Mar 2019 12:10:12 +0000
SHA1 of .buildinfo
c918724931814c9251175f136399d0a592787e97

Binaries

acl2 (acl2_8.1dfsg-1_mips64el.deb)
SHA1: 9174ab88df4173c91a0b7b1ab45c776e68d58fd8
SHA256: 6d4b7482a4c028f4843063f4d1fe0dd46589f49203209a7d21cf1469aaac4800

Size: 18,408,036 bytes
acl2-books (acl2-books_8.1dfsg-1_mips64el.deb)
SHA1: 88756362c800a5c2587f510d588dac9b1a0a05f6
SHA256: 69dae4bd756e94569650f31cfdd83c14f7a5d514d2f99484ffdf576eabc2ac87

Size: 172,897,056 bytes
acl2-infix (acl2-infix_8.1dfsg-1_mips64el.deb)
SHA1: 86bb42ee3bce0e4fc21c077785913ad1db4fd65f
SHA256: 48f7044a16ad8f2c442380c2c05690131ba19bd6f0f8fb2bccaf7a90cd8432f4

Size: 510,568 bytes

Other checksums

Submissions

Submitted
Thu, 7 Mar 2019 12:10:12 +0000
Signed by
0x3D3985420C8DFFC0

Environment


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