package info
    (click to toggle)
  
  
    
    acl2 8.5dfsg-5
    
    
- links: PTS
 - area: main
 - in suites: bookworm
 - size: 991,452 kB
 - sloc: lisp: 15,567,759; javascript: 22,820; cpp: 13,929; ansic: 12,092; perl: 7,150; java: 4,405; xml: 3,884; makefile: 3,507; sh: 3,187; ruby: 2,633; ml: 763; python: 746; yacc: 723; awk: 295; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17
 
Folder: java
| .. (parent) | ||||
| d | rwxr-xr-x | 81 | .sys | |
| d | rwxr-xr-x | 4,096 | aij | |
| d | rwxr-xr-x | 4,096 | atj | |
| d | rwxr-xr-x | 4,096 | language | |
| - | rw-r--r-- | 183 | README.md | |
| - | rw-r--r-- | 412 | acl2-customization.lsp | |
| - | rw-r--r-- | 324 | cert.acl2 | |
| - | rw-r--r-- | 8,995 | package.lsp | |
| - | rw-r--r-- | 315 | portcullis.acl2 | |
| - | rw-r--r-- | 316 | portcullis.lisp | |
| - | rw-r--r-- | 385 | top.acl2 | |
| - | rw-r--r-- | 8,715 | top.lisp | 
