7.4dfsg-1
arm64
Debian
arm64
Thu, 11 May 2017 12:56:44 +0000
/build/acl2-Mf8qV1/acl2-7.4dfsg
2471285e85ab0db5febbb82be0a6f935cd1e34c6
acl2_7.4dfsg-1_arm64.deb
)
8248e3d575b65b8987ec944700b25a662046845a
4eee771d847f9647d452bab0898d3fd8443ca52a75e65ba2a96c74ab6e636146
acl2-books_7.4dfsg-1_arm64.deb
)
569ac0fada5cb37c60a9a5e6027ea52beb1d0bd5
4e6c4f55893d0750aaef90ecc06cc1dd9a8145645f6049c4d1c12738014f57ae
)
)
acl2-infix_7.4dfsg-1_arm64.deb
)
07ff1a2fa22a6aa2bccfcb45c3552f6ac2ba01d8
a59e807e6b8228dfe6f2c8b6334086733f19b267cd923f6306de374b7f8fb69e
)
0x39DC807F9C1EB0C9
DEB_BUILD_OPTIONS="parallel=6"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1494262732"