acl2_7.4dfsg-4_mips.buildinfo (view)

Source
acl2
Version
7.4dfsg-4
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Wed, 4 Oct 2017 00:21:11 +0000
Build-Path
/build/acl2-IeZgU4/acl2-7.4dfsg

First submitted
Fri, 26 Oct 2018 08:45:24 +0000
SHA1 of .buildinfo
480a5c5b95ac29b7d4995d4e1929005707862803

Binaries

acl2 (acl2_7.4dfsg-4_mips.deb)
SHA1: 67b28e64e930fcd6511e129dfb9540a20ff6c843
SHA256: 5d7d00cebb56a3723b3d7881963303b0978e7466b60ecc997f40c971214d3250

Size: 16,553,200 bytes
acl2-books (acl2-books_7.4dfsg-4_mips.deb)
SHA1: d385dc170163e141f25e173c0fdbcd0c3f49db30
SHA256: 35c4917a189a1d762dafba1df83e3c306a8301133f994cd4232aaf607cac8fdc

Size: 117,710,188 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_7.4dfsg-4_mips.deb)
SHA1: 12128d302e9ea2632e88a4c770a3eb60e3b54b21
SHA256: 583c1d2136e8e5c8633c2b74ea874087551ea24aca3e184ee4cae738a7781c2e

Size: 433,706 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

bmbpamom
Submitted
Fri, 26 Oct 2018 08:45:25 +0000
Signed by
0xB56AD21C06EA3A49

Environment


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