-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: acl2
Binary: acl2, acl2-source, elpa-acl2, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc
Architecture: any all
Version: 8.5dfsg-5build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Standards-Version: 4.5.1
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.14-1), debhelper (>= 13), texlive-latex-recommended, time, texinfo
Build-Depends-Indep: dh-elpa
Package-List:
 acl2 deb math optional arch=any
 acl2-books deb math optional arch=any
 acl2-books-certs deb math optional arch=all
 acl2-books-source deb math optional arch=all
 acl2-doc deb doc optional arch=all
 acl2-infix deb math optional arch=any
 acl2-infix-source deb math optional arch=all
 acl2-source deb math optional arch=all
 elpa-acl2 deb lisp optional arch=all
Checksums-Sha1:
 2c44f1f16e4d40bc93ad07e38dc2b7eb6626b28f 223546594 acl2_8.5dfsg.orig.tar.gz
 f021d5917758b7e934f76e02634cad033c72c0d7 313044 acl2_8.5dfsg-5build2.debian.tar.xz
Checksums-Sha256:
 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 223546594 acl2_8.5dfsg.orig.tar.gz
 477292a3d46b5a227b7bf8b29de7879e0ca522546a6fc99300c21bdcc9fc2039 313044 acl2_8.5dfsg-5build2.debian.tar.xz
Files:
 ac4cf2aefbdbc7436cf745fa05b8d373 223546594 acl2_8.5dfsg.orig.tar.gz
 4e901d6f5cae61fbc28649cb061116a8 313044 acl2_8.5dfsg-5build2.debian.tar.xz
Original-Maintainer: Camm Maguire <camm@debian.org>

-----BEGIN PGP SIGNATURE-----

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX41zgaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0pMxAAgcQh01EWUGh1hrY8amC0
SRgokxFQsetYDk40dF3eKcwov3JmzmOtV7AzMJuO8JHj3Oh/vrntUe41KyA+CA1M
bWNVt94zeoVRWHWYmPsNVVeCWdg7KFOTAT+8h/zQRRKV6k6WeDG07q+SRJXJAKBs
+zd0IX/TpuPhFoKNCB7xPRUBMR10RTfYRbrnl4iDla2pOTe5U4yUoyKxfSe8kSLy
GPp+4NhNizKNNaOLl1jP9ycTNku6S+PIyVD6ze4uj4W6V5Vkp8bVoQi6h8Kw/5j1
Btr79vfle/QqPbcwLgEbiONtyxf2tK3PoUFRIlrRqr/3DUjxOot2QjUBPFdDlKd5
I+ogAjY5bc5XtWA4oJFycFl/VHch/YC+Hd8trNbXly7okRra4VF8+fdJexkLElKA
//k8TaOPbR1onw20RjujY3rzSfdveVUcZwzCg3qf7no39v3CI803W8d/8TKla6qE
43R60rimcVVJ0K+Abg2y/7XKiVI1nMH9fFeMKhXgqSR6Nlnw/Zozfem1TF43cz7x
rvpOlFgAHpJWYQr8LDylFlxC0j7EvvKz1faC2CMV04ewPtnUKk0iTsVmhl7mAX/S
A4rHG04nRsujOuZ0KP+/AlsLd3MRZJVEEdUOQPUpMRdHc7hbtUkW8kKk1vyYxhOm
EtiH670MlYIpXI0pmVWxECY=
=oiJ2
-----END PGP SIGNATURE-----