8.1dfsg-3+b1
ppc64el
Debian
ppc64el
Mon, 22 Jul 2019 03:14:32 +0000
/build/acl2-5P3dw7/acl2-8.1dfsg
c2008aeca279dedba97edb416853ccbc5d7237f8
acl2_8.1dfsg-3+b1_ppc64el.deb
)
8bcc760149a927abee1df77b44be705084d430df
67dd5f11922d76e9c4ed77f3ebbf36131442a570ca06fc7ce2996f80850be53c
acl2-books_8.1dfsg-3+b1_ppc64el.deb
)
ac23fc5afe31dd932dd627abb399cbe078489449
69fe386c2f3a2da95a3c59f0943ad6461dd7e78c2df2d760388ba524f864755e
)
)
acl2-infix_8.1dfsg-3+b1_ppc64el.deb
)
8251d828d257ec2f1875d215c8d3b5ba11d63279
7ff61422ae721b172b7d3404d9c0d1692fd830b6eb3148bedacada03cc465571
)
0xAA4B2251A9397852
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1563739538"