Packages of Ubuntu / stonking

Component

Architecture

Package name

Version

Source package

Component	Architecture	Package	Version	Priority	Size	Description	Integrity	Actions
universe	amd64	acl2-books-certs	8.6+dfsg-3build1	optional	843.5 kB	Computational Logic for Applicative Common Lisp: library certificates
universe	amd64	acl2-books-certs	8.6+dfsg-3build1	optional	843.5 kB	Computational Logic for Applicative Common Lisp: library certificates

Showing 1–2 of 2 packages

Page 1 of 1