FTP Search

Directory

Content Search

acl2-books-certs

A Computational Logic for Applicative Common Lisp: library certificates

/Main/Ubuntu/all/math/

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 file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.

Info:

Homepage:	-
Package version:	3.0-1
Architecture:	all
Distribution:	Ubuntu
Filename:	acl2-books-certs_3.0-1_all.deb

Browse inside acl2-books-certs_3.0-1_all.deb:

pkg://acl2-books-certs_3.0-1_all.deb:681164/  info  downloads

[DIR]usr/  65535+ twin directories
50.61 KB  2004-10-28md5sums  view  3 mirrors
644 B  2004-10-28control  view  640+ mirrors

Download acl2-books-certs_3.0-1_all.deb:

2005-06-21  ftp://ftp.wh8.tu-dresden.de/pub/linux/distributions/ubuntu/pool/universe/a/acl2/acl2-books-certs_3.0-1_all.deb
2005-06-21  ftp://ftp.rd.cri74.org/ubuntu/pool/universe/a/acl2/acl2-books-certs_3.0-1_all.deb
2006-06-20  ftp://ftp.ens-cachan.fr/mirror/ubuntu/pool/universe/a/acl2/acl2-books-certs_3.0-1_all.deb
2006-06-21  ftp://ftp.itb.ac.id/pub/ubuntu/pool/universe/a/acl2/acl2-books-certs_3.0-1_all.deb
2006-06-20  ftp://209.172.63.197/pub/mirrors/ubuntu/pool/universe/a/acl2/acl2-books-certs_3.0-1_all.deb
2006-06-20  ftp://ftp.guadalinex.org/ubuntu/pool/universe/a/acl2/acl2-books-certs_3.0-1_all.deb