8.2dfsg-2
arm64
Debian
arm64
Fri, 27 Dec 2019 09:44:23 +0000
/build/acl2-H42WLW/acl2-8.2dfsg
a2c0b459ca6aa6719e5e7712308d3764b1c71ac1
acl2_8.2dfsg-2_arm64.deb
)
61cb4bef50a74cf6b87b9c1ae84711ed47d23c5f
d5a5e3bfa5e19c819d97f9b08edb1aa4a739c2ab58ee2267f6f2f87dd065f7f4
acl2-books_8.2dfsg-2_arm64.deb
)
c93309201b258b7877fe77c29955c4ea0e6404f6
00bb8f792dc4e68bb0b21a056ba96bcc6850a6ca5d249d300ad6eeb4e19ced9b
)
)
acl2-infix_8.2dfsg-2_arm64.deb
)
4fcf8cc40bca8f612ae01b232e1315a33500145b
0c25b7bcb70335fc43f51b67b93d1b70cbd392afcab24d9289648a40d12de1a3
)
0x2052CFAF653F2630
DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1577393229"