Source package acl2/8.0dfsg-1 in amber @ pureos - PureOS Software

acl2 - 8.0dfsg-1 main

Versions in amber: 8.0dfsg-1
Maintainer: Camm Maguire <camm [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 3.9.8
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

Files

Filename	Size	Checksum (SHA256)
acl2_8.0dfsg-1.dsc	2.2 kB	`a6066382f31e54b8f2b0799035547acab3e1f97c515d4ec529644ed5731c24c2`
acl2_8.0dfsg.orig.tar.gz	77.6 MB	`e1ec509864d0ffc1235cf727ffac1ca0d8cd7f9ab4915cc71ceb4bdadfdcc145`
acl2_8.0dfsg-1.debian.tar.xz	204.8 kB	`9d041ee94da76dcc1dfdb0f3bfdf913d96beb410b6ac4a00f1f145fb44d39ea7`