Source package acl2/8.5dfsg-5 in crimson @ pureos - PureOS Software

acl2 - 8.5dfsg-5 main

Versions in crimson: 8.5dfsg-5
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-books-source all
acl2-doc all
acl2-infix-source all
acl2-source all
elpa-acl2 all
acl2 amd64 amd64 arm64 arm64
acl2-books amd64 amd64 arm64 arm64
acl2-infix amd64 amd64 arm64 arm64

Build Dependencies

debhelper-compat (= 13)
gcl (>= 2.6.14-1)
debhelper (>= 13)
texlive-latex-recommended
time
texinfo
dh-elpa

Files

Filename	Size	Checksum (SHA256)
acl2_8.5dfsg-5.dsc	2.3 kB	`3dfa419ecdde8564078f408338a8ef338f4209c476c3918c236e9bed7cc068d5`
acl2_8.5dfsg.orig.tar.gz	223.5 MB	`6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819`
acl2_8.5dfsg-5.debian.tar.xz	312.9 kB	`68b7e667901b0b77e27f9884f8b96b5571858a1e0a3a38ca3289440f39f93008`