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: right

d .. (parent)
d d rwxr-xr-x 4,096 Africa
d d rwxr-xr-x 4,096 America
d d rwxr-xr-x 4,096 Antarctica
d d rwxr-xr-x 33 Arctic
d d rwxr-xr-x 4,096 Asia
d d rwxr-xr-x 4,096 Atlantic
d d rwxr-xr-x 4,096 Australia
d d rwxr-xr-x 75 Brazil
d d rwxr-xr-x 4,096 Canada
d d rwxr-xr-x 55 Chile
d d rwxr-xr-x 4,096 Etc
d d rwxr-xr-x 4,096 Europe
d d rwxr-xr-x 4,096 Indian
d d rwxr-xr-x 66 Mexico
d d rwxr-xr-x 4,096 Pacific
d d rwxr-xr-x 4,096 SystemV
d 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