8.1dfsg-3
arm64
Debian
arm64
Fri, 5 Apr 2019 02:05:13 +0000
/build/acl2-lNOHiO/acl2-8.1dfsg
448d7155e5b3133ffc64f2515b644f428fd2f7e0
acl2_8.1dfsg-3_arm64.deb
)
2b0b72f7cf4d680b9efcc4aac37a210ad05dd5b1
0c57303943d8708ad442d458b0ac120e6e354e418f8096dd819543b2a8d2e9f6
acl2-books_8.1dfsg-3_arm64.deb
)
8833997981f1bfb04234298cea6fd240d5a21b90
36f11da49af5dfd8b3bf707ee804cf9475aa4b286b6f07c490c7f7998d0b8e2a
)
)
acl2-infix_8.1dfsg-3_arm64.deb
)
0edff84f4498061df1ccf8d0224afafb359d4834
7ee2b630df968376911938e5cabdf7bb4da78968da15095857f7b0558da6f5e8
)
0xE611BE85831E4433
DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1554299249"