package info (click to toggle)
acl2 3.1-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 36,712 kB
  • ctags: 38,396
  • sloc: lisp: 464,023; makefile: 5,470; sh: 86; csh: 47; cpp: 25; ansic: 22

Folder: debian

d .. (parent)
- - rw-r--r-- 2,490 README.Debian.in
- - rw-r--r-- 28 TODO
- - rw-r--r-- 150 acl2-customization.lisp
- - rw-r--r-- 323 acl2-doc.doc-base
- - rw-r--r-- 1,245 acl2-emacs.emacsen-install
- - rw-r--r-- 456 acl2-emacs.emacsen-remove
- - rw-r--r-- 1,153 acl2-emacs.emacsen-startup.in
- - rw-r--r-- 24 acl2-infix.examples
- - rw-r--r-- 117 acl2-infix.postinst
- - rw-r--r-- 136 acl2-infix.postrm
- - rw-r--r-- 1,353 acl2.1
- - rw-r--r-- 8 acl2.dirs
- - rw-r--r-- 41 acl2.docs
- - rw-r--r-- 14 acl2.manpages
- - rw-r--r-- 12,678 changelog
- - rw-r--r-- 2 compat
- - rw-r--r-- 4,413 control
- - rw-r--r-- 2,320 copyright
- - rw-r--r-- 4,412 dlopen.lisp.in
- - rw-r--r-- 1,011 patches.in
- - rwxr-xr-x 10,686 rules
- - rw-r--r-- 295 watch