acl2 (7.4dfsg-3) unstable; urgency=medium . * build-dep latest gcl * revert mxgot for mips64 acl2 (7.4dfsg-2) unstable; urgency=medium . * Set GCL_MULTIPROCESS_MEMORY_POOL for certifications * build-dep latest gcl for mips64el fix * Bug fix: "build fails on mips (mips-aql-05)", thanks to Héctor Orón Martínez (Closes: #863224). * mxgot .acl2 files patch acl2 (7.4dfsg-1) unstable; urgency=medium . * New upstream release