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-5.debian.tar.xz
sha1: 41b11782380e7becf6a5cf1222bee0fdcac5b42e
size: '312896'
Checksums-Sha256:
- name: acl2_8.5dfsg.orig.tar.gz
sha256: 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819
size: '223546594'
- name: acl2_8.5dfsg-5.debian.tar.xz
sha256: 68b7e667901b0b77e27f9884f8b96b5571858a1e0a3a38ca3289440f39f93008
size: '312896'
Files:
- md5sum: ac4cf2aefbdbc7436cf745fa05b8d373
name: acl2_8.5dfsg.orig.tar.gz
size: '223546594'
- md5sum: 217b5de7bf23c4901da5c804eb348d30
name: acl2_8.5dfsg-5.debian.tar.xz
size: '312896'
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-5
name: acl2
type: dpkg
version: 8.5dfsg-5