acl2_8.1dfsg-3_kfreebsd-i386.buildinfo (view)

Source
acl2
Version
8.1dfsg-3
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Wed, 10 Apr 2019 19:00:05 +0000
Build-Path
/build/acl2-Zdm08I/acl2-8.1dfsg

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

Binaries

acl2 (acl2_8.1dfsg-3_kfreebsd-i386.deb)
SHA1: 40ddbb1737925c33b214d5fc804f1a35825fb474
SHA256: 539ccdd5b29b8cf83da3124d86c68fc3bdfaaa8277dfb3dc2253157c63c23c6b

Size: 18,471,796 bytes
acl2-books (acl2-books_8.1dfsg-3_kfreebsd-i386.deb)
SHA1: 96edac274bf739f06c46d6019b58fa0cdfd6b8a1
SHA256: 6380fe283e842a8631f73bded32d80626e4d80870226f11006ca0ac0f8c70f24

Size: 120,248,800 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-3_kfreebsd-i386.deb)
SHA1: 47ff27809a053dbaf5e05af0cf74886a91e7cbaa
SHA256: b63348cfc4194e42d819ce4e522606cd91a0f30fef806d7a29f6726c4fb3a475

Size: 453,960 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

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

Environment


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