package info
    (click to toggle)
  
  
    
    acl2 8.6%2Bdfsg-3
    
    
- links: PTS
- area: main
- in suites: forky, sid
- size: 1,138,276 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,978; makefile: 3,840; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
Folder: right
|  | .. (parent) | |||
|  | d | rwxr-xr-x | 4,096 | Africa | 
|  | d | rwxr-xr-x | 4,096 | America | 
|  | d | rwxr-xr-x | 4,096 | Antarctica | 
|  | d | rwxr-xr-x | 33 | Arctic | 
|  | d | rwxr-xr-x | 4,096 | Asia | 
|  | d | rwxr-xr-x | 4,096 | Atlantic | 
|  | d | rwxr-xr-x | 4,096 | Australia | 
|  | d | rwxr-xr-x | 75 | Brazil | 
|  | d | rwxr-xr-x | 4,096 | Canada | 
|  | d | rwxr-xr-x | 55 | Chile | 
|  | d | rwxr-xr-x | 4,096 | Etc | 
|  | d | rwxr-xr-x | 4,096 | Europe | 
|  | d | rwxr-xr-x | 4,096 | Indian | 
|  | d | rwxr-xr-x | 66 | Mexico | 
|  | d | rwxr-xr-x | 4,096 | Pacific | 
|  | d | rwxr-xr-x | 4,096 | SystemV | 
|  | d | rwxr-xr-x | 4,096 | US | 
|  | - | rw-r--r-- | 2,216 | CET | 
|  | - | rw-r--r-- | 2,436 | CST6CDT | 
|  | - | rw-r--r-- | 2,538 | Cuba | 
|  | - | rw-r--r-- | 2,028 | EET | 
|  | - | rw-r--r-- | 664 | EST | 
|  | - | rw-r--r-- | 2,436 | EST5EDT | 
|  | - | rw-r--r-- | 2,504 | Egypt | 
|  | - | rw-r--r-- | 3,614 | Eire | 
|  | - | rw-r--r-- | 664 | Factory | 
|  | - | rw-r--r-- | 3,788 | GB | 
|  | - | rw-r--r-- | 3,788 | GB-Eire | 
|  | - | rw-r--r-- | 664 | GMT | 
|  | - | rw-r--r-- | 664 | GMT%2B0 | 
|  | - | rw-r--r-- | 664 | GMT-0 | 
|  | - | rw-r--r-- | 664 | GMT0 | 
|  | - | rw-r--r-- | 664 | Greenwich | 
|  | - | rw-r--r-- | 664 | HST | 
|  | - | rw-r--r-- | 1,782 | Hongkong | 
|  | - | rw-r--r-- | 698 | Iceland | 
|  | - | rw-r--r-- | 1,790 | Iran | 
|  | - | rw-r--r-- | 2,510 | Israel | 
|  | - | rw-r--r-- | 1,032 | Jamaica | 
|  | - | rw-r--r-- | 858 | Japan | 
|  | - | rw-r--r-- | 848 | Kwajalein | 
|  | - | rw-r--r-- | 1,174 | Libya | 
|  | - | rw-r--r-- | 2,216 | MET | 
|  | - | rw-r--r-- | 664 | MST | 
|  | - | rw-r--r-- | 2,436 | MST7MDT | 
|  | - | rw-r--r-- | 2,558 | NZ | 
|  | - | rw-r--r-- | 2,158 | NZ-CHAT | 
|  | - | rw-r--r-- | 2,586 | Navajo | 
|  | - | rw-r--r-- | 1,110 | PRC | 
|  | - | rw-r--r-- | 2,436 | PST8PDT | 
|  | - | rw-r--r-- | 2,776 | Poland | 
|  | - | rw-r--r-- | 3,620 | Portugal | 
|  | - | rw-r--r-- | 1,310 | ROC | 
|  | - | rw-r--r-- | 1,166 | ROK | 
|  | - | rw-r--r-- | 916 | Singapore | 
|  | - | rw-r--r-- | 2,480 | Turkey | 
|  | - | rw-r--r-- | 664 | UCT | 
|  | - | rw-r--r-- | 664 | UTC | 
|  | - | rw-r--r-- | 664 | Universal | 
|  | - | rw-r--r-- | 2,084 | W-SU | 
|  | - | rw-r--r-- | 2,028 | WET | 
|  | - | rw-r--r-- | 664 | Zulu | 
