Installion's Lion Logo

Installion.co.uk

Install or Uninstall acl2-books-certs on stretch

acl2-books-certsComputational Logic for Applicative Common LispDebian 9.0math7.2dfsg-3

Package Data

Packageacl2-books-certs
Version7.2dfsg-3
MaintainerCamm Maguire <camm@debian.org>
DescriptionComputational Logic for Applicative Common Lisp
Distrodebian
Releasestretch
Repomain
Sectionmath