Source package acl2/8.3dfsg-2 in byzantium @ pureos - PureOS Software

acl2 - 8.3dfsg-2 main

Versions in byzantium: 8.3dfsg-2
Maintainer: Camm Maguire <camm [꩜] debian.org>

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

Build Jobs

Owned Binaries

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

Build Dependencies

debhelper-compat (= 13)
gcl (>= 2.6.12-92)
libgmp3-dev
libreadline-dev
emacs-gtk | emacsen
debhelper (>= 5)
texlive-latex-recommended
libxmu-dev
libxaw7-dev
time
tex-common
texinfo

Files

Filename	Size	Checksum (SHA256)
acl2_8.3dfsg-2.dsc	2.3 kB	`63a168387c490ad10c10baf8d42314dd9d37a0be6d10a331d0d8ed77ea5c273b`
acl2_8.3dfsg.orig.tar.gz	117.3 MB	`e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee`
acl2_8.3dfsg-2.debian.tar.xz	228.3 kB	`7e1c8ad06e8be538da2c5d4728ddfa37d6b04b8d6da857c05111e67b4980d705`