DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnameacl2-infix
BeschreibungA Computational Logic for Applicative Common Lisp: infix interface
Archiv/RepositoryOffizielles Debian Archiv squeeze (main)
Version4.0-3
Sektionmath
Prioritätoptional
Installierte Größe1148 Byte
Hängt ab vonacl2 (= 4.0-3), texlive-latex-recommended
Empfohlene Paketeacl2-infix-source (= 4.0-3)
PaketbetreuerCamm Maguire
Quelleacl2
Paketgröße390414 Byte
Prüfsumme MD59ffc35b11ed7689d40deba565e22a1dc
Prüfsumme SHA19fb85a113f9569f54690c2f81d9874c7c827ef91
Prüfsumme SHA2562139ee6e96e21d0386804c40cc6b6228bea89e227e02e46d02a65fa80b2e346e
Link zum Herunterladenacl2-infix_4.0-3_i386.deb
Ausführliche BeschreibungACL2 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 utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.


Impressum
Linux is a registered trademark of Linus Torvalds