Source package acl2/8.6+dfsg-2 in landing @ pureos - PureOS Software

acl2 - 8.6+dfsg-2 main

Versions in landing: 8.6+dfsg-2
Maintainer: Camm Maguire <camm [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 4.5.1
Architectures: any all

Homepage Build Jobs

Owned Binaries

acl2-books-certs all
acl2-doc all
acl2-books-source all
acl2-infix-source all
acl2-source all
elpa-acl2 all
acl2 amd64 arm64
acl2-books amd64 arm64
acl2-infix amd64 arm64

Build Dependencies

debhelper-compat (= 13)
gcl27 (>= 2.7.1)
debhelper (>= 13)
texlive-latex-recommended
time
texinfo
tex-common
dh-elpa

Files

Filename	Size	Checksum (SHA256)
acl2_8.6+dfsg-2.dsc	2.3 kB	`347b31fa4b763313369695d54db7a84a74739cfc53ba6037b8a3ab14b4256459`
acl2_8.6+dfsg.orig.tar.gz	240.3 MB	`f633ff0ad42874381b96c34b38f4612629c3c267e2c6214f9543d03a447b366e`
acl2_8.6+dfsg-2.debian.tar.xz	445.1 kB	`75f1788d07f74adc491c02739e0258d42bfe2d9d5bfd0b2b0a9d356074a1a2fb`