dsc_fields:
Architecture: any all
Binary: acl2, acl2-source, elpa-acl2, acl2-infix, acl2-infix-source, acl2-books,
acl2-books-source, acl2-books-certs, acl2-doc
Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.14-1), debhelper (>= 13), texlive-latex-recommended,
time, texinfo
Build-Depends-Indep: dh-elpa
Checksums-Sha1:
- name: acl2_8.5dfsg.orig.tar.gz
sha1: 2c44f1f16e4d40bc93ad07e38dc2b7eb6626b28f
size: '223546594'
- name: acl2_8.5dfsg-6.debian.tar.xz
sha1: e9ccf67ec3e73b990f2adbd2b830eb49ef5286ad
size: '312848'
Checksums-Sha256:
- name: acl2_8.5dfsg.orig.tar.gz
sha256: 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819
size: '223546594'
- name: acl2_8.5dfsg-6.debian.tar.xz
sha256: 7f97cfc77f040ca1ef1754e164ea8de5d97929e06538ac5153887952edd659d8
size: '312848'
Files:
- md5sum: ac4cf2aefbdbc7436cf745fa05b8d373
name: acl2_8.5dfsg.orig.tar.gz
size: '223546594'
- md5sum: 24d8173f9eaefbf91bf6d6316e511df0
name: acl2_8.5dfsg-6.debian.tar.xz
size: '312848'
Format: 3.0 (quilt)
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Maintainer: Camm Maguire <camm@debian.org>
Package-List: |2-
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
Source: acl2
Standards-Version: 4.5.1
Version: 8.5dfsg-6
name: acl2
type: dpkg
version: 8.5dfsg-6