acl2_8.3dfsg-3_mips64el.buildinfo (view)

Source
acl2
Version
8.3dfsg-3
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sat, 18 Sep 2021 16:05:29 +0000
Build-Path
/build/acl2-6AjSj5/acl2-8.3dfsg

First submitted
Sat, 18 Sep 2021 18:14:39 +0000
SHA1 of .buildinfo
d0ac36d20c6fa90955ef560fd58506770b70c4bb

Binaries

acl2 (acl2_8.3dfsg-3_mips64el.deb)
SHA1: 74a7a49c231bda77355d98151ad526c0f33df747
SHA256: 6ad2aa1c38a86797e7584280fbbb893b08c3c4a8d5ed5b32f0f4db5aa008ea46

Size: 19,120,428 bytes
acl2-books (acl2-books_8.3dfsg-3_mips64el.deb)
SHA1: 19e1cc2c6ca91ebb1fa2856b95e8731fa7f27774
SHA256: c2bc12971ce45776511050d399e28e772ad8e7f2feb32a3b2e43c6efd9d7dd39

Size: 266,507,332 bytes
acl2-infix (acl2-infix_8.3dfsg-3_mips64el.deb)
SHA1: e4b30dd9d715383630110c6c4c5219c2463cee61
SHA256: 69817987a25806456dea3062a26f54ee5d99bda311cbb3c3ebc58b3e2f2b99ae

Size: 514,944 bytes

Other checksums

Submissions

7iyoydik
Submitted
Sat, 18 Sep 2021 18:14:40 +0000
Signed by
0x63ADF93CE8AC2DA2

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1612377367"