# Source: acl2
# Package: acl2-infix-source
# Versions: acl2-infix-source (4.3-2), acl2-infix-source (4.3-3), acl2-infix-source (5.0-1), acl2-infix-source (6.0-1), acl2-infix-source (6.0-2), acl2-infix-source (6.1-1), acl2-infix-source (6.1-2), acl2-infix-source (6.1-3), acl2-infix-source (6.1-5), acl2-infix-source (6.2-5), acl2-infix-source (6.2-6), acl2-infix-source (6.2-7), acl2-infix-source (6.3-1), acl2-infix-source (6.3-2), acl2-infix-source (6.3-3), acl2-infix-source (6.3-4), acl2-infix-source (6.3-5), acl2-infix-source (6.3-6), acl2-infix-source (6.4-1), acl2-infix-source (6.4-2), acl2-infix-source (6.4-3), acl2-infix-source (6.4-4), acl2-infix-source (6.5-1), acl2-infix-source (6.5-2), acl2-infix-source (6.5-3), acl2-infix-source (6.5-4), acl2-infix-source (6.5-5), acl2-infix-source (7.0-1), acl2-infix-source (7.1-1), acl2-infix-source (7.1-2), acl2-infix-source (7.1-3), acl2-infix-source (7.1dfsg-1), acl2-infix-source (7.1dfsg-2), acl2-infix-source (7.2dfsg-1), acl2-infix-source (7.2dfsg-2), acl2-infix-source (7.2dfsg-3), acl2-infix-source (7.4dfsg-1), acl2-infix-source (7.4dfsg-2), acl2-infix-source (7.4dfsg-3), acl2-infix-source (7.4dfsg-3.1), acl2-infix-source (7.4dfsg-4), acl2-infix-source (8.0dfsg-1), acl2-infix-source (8.1dfsg-1), acl2-infix-source (8.1dfsg-2), acl2-infix-source (8.1dfsg-3), acl2-infix-source (8.1dfsg-4), acl2-infix-source (8.2dfsg-3), acl2-infix-source (8.3dfsg-1), acl2-infix-source (8.3dfsg-2), acl2-infix-source (8.3dfsg-3), acl2-infix-source (8.3dfsg-4), acl2-infix-source (8.4dfsg-1), acl2-infix-source (8.4dfsg-2), acl2-infix-source (8.5dfsg-1), acl2-infix-source (8.5dfsg-2), acl2-infix-source (8.5dfsg-3), acl2-infix-source (8.5dfsg-4), acl2-infix-source (8.5dfsg-5), acl2-infix-source (8.5dfsg-6), acl2-infix-source (8.6+dfsg-2), acl2-infix-source (8.6+dfsg-3), acl2-infix-source (8.7+dfsg-2), acl2-infix-source (8.7+dfsg-3)
# This Description is active
# Prioritize: 48
Description: Computational Logic for Applicative Common Lisp: infix source
 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 the source files to the infix interface to
 ACL2.
Description-es: <trans>
 ACL2 es tanto un lenguaje de programación en el que puede modelar sistemas
 informáticos como una herramienta para ayudarle a probar propiedades de
 esos modelos.
 .
 Este paquete contiene los archivos de fuentes de la interfaz infija de ACL2.

# other Descriptions of the acl2-infix-source package with a translation in es:
# 
# Description-id: 56 https://ddtp.debian.org/ddt.cgi?desc_id=56
# patch https://ddtp.debian.org/ddt.cgi?diff1=56&diff2=126587&language=es
# This Description was in lenny from 2007-06-14 to 2011-07-22;
# This Description was in wheezy from 2011-02-12 to 2012-01-22;
# This Description was in etch from 2005-07-16 to 2011-07-22;
# This Description was in sid from 2005-07-16 to 2012-01-22;
# This Description was in squeeze from 2009-06-09 to 2014-07-22;
#