Source
acl2
Version
8.1dfsg-3
Architecture
kfreebsd-amd64

Build-Origin
Debian
Build-Architecture
kfreebsd-amd64
Build-Date
Wed, 10 Apr 2019 09:50:31 +0000
Build-Path
/build/acl2-7IOglR/acl2-8.1dfsg

First submitted
Sun, 14 Apr 2019 00:19:09 +0000
SHA1 of .buildinfo
aba9d6c8d2ab39682c650d442f9bb6ee64f0d4a7

Binaries

acl2 (acl2_8.1dfsg-3_kfreebsd-amd64.deb)
SHA1: 39c5bd6bbfa90c2c2a628d5c76bba0964101ba4f
SHA256: 2e3d881742c215d4c80985f9f3346df24d8bd30a1f9a73170f23ef5be01d55c5

Size: 20,260,528 bytes
acl2-books (acl2-books_8.1dfsg-3_kfreebsd-amd64.deb)
SHA1: 39d22c4a26f1e04e5be34eb1705172dedadb7a8b
SHA256: 9a1d16a8d8274bc5f3861ac22fdc100f5aeb0d85148de0775908ddbd9b2bb3f9

Size: 163,405,028 bytes
acl2-infix (acl2-infix_8.1dfsg-3_kfreebsd-amd64.deb)
SHA1: 562ba84195f70b6510d4ff4ce1c48e71efcedf2d
SHA256: 6a25c09f825b487d7eda8a05f09d3549145d5a15ade8f86188b2c033dab52c35

Size: 489,736 bytes

Other checksums

Submissions

Submitted
Sun, 14 Apr 2019 00:19:10 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1554299249"