package info
    (click to toggle)
  
  
    
    acl2 8.6%2Bdfsg-2
    
    
- links: PTS
 - area: main
 - in suites: trixie
 - size: 1,111,420 kB
 - sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
 
Folder: m6
| .. (parent) | ||||
| d | rwxr-xr-x | 4,096 | BCV | |
| d | rwxr-xr-x | 4,096 | DJVM | |
| d | rwxr-xr-x | 4,096 | M6 | |
| d | rwxr-xr-x | 4,096 | M6-DJVM-shared | |
| d | rwxr-xr-x | 4,096 | common | |
| d | rwxr-xr-x | 4,096 | hanoi | |
| d | rwxr-xr-x | 4,096 | main | |
| d | rwxr-xr-x | 4,096 | small | |
| - | rw-r--r-- | 0 | BCV.pkg | |
| - | rw-r--r-- | 0 | DJVM.pkg | |
| - | rw-r--r-- | 0 | HANOI.pkg | |
| - | rw-r--r-- | 0 | JVM.pkg | |
| - | rw-r--r-- | 156 | LICENSE | |
| - | rw-r--r-- | 0 | M6.pkg | |
| - | rw-r--r-- | 3,272 | Makefile | |
| - | rw-r--r-- | 10,725 | Makefile-generic | |
| - | rw-r--r-- | 622 | Makefile-subdir | |
| - | rw-r--r-- | 1,412 | README | |
| - | rw-r--r-- | 9,051 | README-M6 | |
| - | rwxr-xr-x | 83,505 | currentwork.src.dep | 
