Debian logoDebian Screenshots >
Mono SharpZipLib library (for CLI 4.0)
Sorry - no description available.
Mono System.ServiceModel Library (for CLI 4.0)
Sorry - no description available.
Mono service manager for CLI 4.0
Sorry - no description available.
Mono C# 4.0 compiler for CLI 4.0 (transitional package)
Sorry - no description available.
Mono runtime - SGen
Sorry - no description available.
Computational Logic for Applicative Common Lisp: emacs interface
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 an emacs interface to ACL2.