[ddp] acl2-books-source : A Computational Logic for Applicative Common Lisp: library sources

[daily-debian-package at enix.org]

Hello,

Today, I'm happy to present you the Debian package acl2-books-source,
which is part of the math section, and maintained by Camm Maguire
<camm at debian.org>. 

This package contains : A Computational Logic for Applicative Common
Lisp: library sources.

ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.

This package contains source lisp files to the compiled libraries
supplied in the ACL2-books package.


Package homepage     :
 http://packages.debian.org/unstable/math/acl2-books-source

Package bug homepage :
 http://bugs.debian.org/acl2-books-source

Package QA homepage  :
 http://packages.qa.debian.org/acl2-books-source

Have fun with Debian packages !

-- 
Daily Debian package, by Thomas Petazzoni, thanks to Jérome Petazzoni
Daily-debian-package at the-doors.enix.org
http://the-doors.enix.org/cgi-bin/mailman/listinfo/daily-debian-package
http://thomas.enix.org/DebianPackageDay