Installlion's Logo

Installlion.com

Install or Uninstall acl2-books-certs on stretch

acl2-books-certs Computational Logic for Applicative Common Lisp Debian 9.0 math

Package Data

Package acl2-books-certs
Version 7.2dfsg-3
Maintainer Camm Maguire
Description Computational Logic for Applicative Common Lisp
Distro debian
Release stretch
Repo main
Section math