Source
acl2
Version
8.1dfsg-1
Architecture
kfreebsd-amd64

Build-Origin
Debian
Build-Architecture
kfreebsd-amd64
Build-Date
Mon, 4 Mar 2019 15:42:03 +0000
Build-Path
/build/acl2-n3pPld/acl2-8.1dfsg

First submitted
Tue, 12 Mar 2019 06:11:03 +0000
SHA1 of .buildinfo
56e7f0fb00336602a26982d9ade3e16f10b4e77c

Binaries

acl2 (acl2_8.1dfsg-1_kfreebsd-amd64.deb)
SHA1: eae0ee93b1be6b7b6eb9f7d76e79420e1902aaca
SHA256: a2f5a8d41f41f785db381f6021db8ca53e00d05ddd074d142fecf0bbc354f88b

Size: 20,295,780 bytes
acl2-books (acl2-books_8.1dfsg-1_kfreebsd-amd64.deb)
SHA1: d2832442855f8c620076b34c9cee9d2bc8b2b3fd
SHA256: 16563e5799e6a751ef30ecd44f0886c4d986b110da737113c5d988eab641b83f

Size: 163,418,600 bytes
acl2-infix (acl2-infix_8.1dfsg-1_kfreebsd-amd64.deb)
SHA1: 5fac6a30d6d5a908e47fd68ad52164f03baa3a99
SHA256: c78701156869fde62c07abda4b11b332e0798471f7a5144bef773f0e49d28f0d

Size: 490,796 bytes

Other checksums

Submissions

Submitted
Tue, 12 Mar 2019 06:11:04 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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