Source package acl2/8.5dfsg-6 in landing @ pureos - PureOS Software

acl2 - 8.5dfsg-6 main

Versions in landing: 8.5dfsg-6
Maintainer: Camm Maguire <camm [꩜] debian.org>

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

This package may currently be unbuildable on the following architectures:

arm64
all
amd64

Homepage Build Jobs

Owned Binaries

acl2-books-certs all
acl2-books-source all
acl2-doc all
acl2-source all
acl2-infix-source all
elpa-acl2 all
acl2-books amd64 arm64
acl2 amd64 arm64
acl2-infix amd64 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.orig.tar.gz	223.5 MB	`6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819`
acl2_8.5dfsg-6.dsc	2.3 kB	`4eb095c05e29384d639df5ef6ffffd3c0c22d9a391fe4f7ab0a80dd45a1a623f`
acl2_8.5dfsg-6.debian.tar.xz	312.8 kB	`7f97cfc77f040ca1ef1754e164ea8de5d97929e06538ac5153887952edd659d8`