acl2_8.1dfsg-1_armel.buildinfo (view)

Source
acl2
Version
8.1dfsg-1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Tue, 5 Mar 2019 12:44:14 +0000
Build-Path
/build/acl2-7AlZk1/acl2-8.1dfsg

First submitted
Tue, 5 Mar 2019 18:10:27 +0000
SHA1 of .buildinfo
36051557b914029dc50144e5da880f373f11d683

Binaries

acl2 (acl2_8.1dfsg-1_armel.deb)
SHA1: ac8ce87318a6276ddb070516e56eff908595b05e
SHA256: 4507bad6d5a6be9a0a9fd1ebab4705a07f798025366b4c16bdc1b81eb315819e

Size: 17,220,624 bytes
acl2-books (acl2-books_8.1dfsg-1_armel.deb)
SHA1: 7afbb3c2eed0670be50a12e79a6d7756a33b3d88
SHA256: 8a52783269678b53c557403adbf623bb3b9191a0993aa9e29be2c04b369af42f

Size: 143,888,292 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-1_armel.deb)
SHA1: 49cd92076521b87eaaf0c4f54d31dc54d714b293
SHA256: 961fafa937536173ffbe7c0f768c1fd6724bac0549f6bc37caed86e9e726fddc

Size: 442,500 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

i3yhyxee
Submitted
Tue, 5 Mar 2019 18:10:27 +0000
Signed by
0x2F7FE489BACF2560

Environment


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