8.1dfsg-6
arm64
Debian
arm64
Wed, 11 Dec 2019 07:21:20 +0000
/build/acl2-Qt0pLz/acl2-8.1dfsg
572c1c83c6159559c8ebf874193c514e6c00b1ae
acl2_8.1dfsg-6_arm64.deb
)
f98f148beb67df41284dfe5eebb0ef386dbd930d
59b4c82b728d64739000a84405decf6207e0d99e9a2e0b0526431f0c22bf8d48
acl2-books_8.1dfsg-6_arm64.deb
)
b1ad16eb76d0ce31c5604c7bb895af35d91c8c0b
693ebb2940b5b09aad2dbf2d61cab841a18674312e196224415d14fa755738f5
)
)
acl2-infix_8.1dfsg-6_arm64.deb
)
3eea6ecad799eb39499b5372b553d4f8937775fe
51b1694f29c399f94070413548071cd485f81cb461f358713d1c2be3d909efaf
)
0x57B817F3D2848950
DEB_BUILD_OPTIONS="parallel=16"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575901290"