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: Europe
 |
.. (parent) | |||
 |
- | rw-r--r-- | 3,055 | Amsterdam |
|
- | rw-r--r-- | 1,864 | Andorra |
|
- | rw-r--r-- | 1,698 | Astrakhan |
|
- | rw-r--r-- | 2,382 | Athens |
|
- | rw-r--r-- | 3,788 | Belfast |
|
- | rw-r--r-- | 2,042 | Belgrade |
|
- | rw-r--r-- | 2,420 | Berlin |
|
- | rw-r--r-- | 2,423 | Bratislava |
|
- | rw-r--r-- | 3,055 | Brussels |
|
- | rw-r--r-- | 2,304 | Bucharest |
|
- | rw-r--r-- | 2,490 | Budapest |
|
- | rw-r--r-- | 2,031 | Busingen |
|
- | rw-r--r-- | 2,512 | Chisinau |
|
- | rw-r--r-- | 2,420 | Copenhagen |
|
- | rw-r--r-- | 3,614 | Dublin |
|
- | rw-r--r-- | 3,190 | Gibraltar |
|
- | rw-r--r-- | 3,788 | Guernsey |
|
- | rw-r--r-- | 2,020 | Helsinki |
|
- | rw-r--r-- | 3,788 | Isle_of_Man |
|
- | rw-r--r-- | 2,480 | Istanbul |
|
- | rw-r--r-- | 3,788 | Jersey |
|
- | rw-r--r-- | 2,042 | Kaliningrad |
|
- | rw-r--r-- | 2,240 | Kiev |
|
- | rw-r--r-- | 1,686 | Kirov |
|
- | rw-r--r-- | 2,240 | Kyiv |
|
- | rw-r--r-- | 3,620 | Lisbon |
|
- | rw-r--r-- | 2,042 | Ljubljana |
|
- | rw-r--r-- | 3,788 | London |
|
- | rw-r--r-- | 3,055 | Luxembourg |
|
- | rw-r--r-- | 2,736 | Madrid |
|
- | rw-r--r-- | 2,742 | Malta |
|
- | rw-r--r-- | 2,020 | Mariehamn |
|
- | rw-r--r-- | 1,854 | Minsk |
|
- | rw-r--r-- | 3,084 | Monaco |
|
- | rw-r--r-- | 2,084 | Moscow |
|
- | rw-r--r-- | 2,122 | Nicosia |
|
- | rw-r--r-- | 2,420 | Oslo |
|
- | rw-r--r-- | 3,084 | Paris |
|
- | rw-r--r-- | 2,042 | Podgorica |
|
- | rw-r--r-- | 2,423 | Prague |
|
- | rw-r--r-- | 2,318 | Riga |
|
- | rw-r--r-- | 2,763 | Rome |
|
- | rw-r--r-- | 1,748 | Samara |
|
- | rw-r--r-- | 2,763 | San_Marino |
|
- | rw-r--r-- | 2,042 | Sarajevo |
|
- | rw-r--r-- | 1,716 | Saratov |
|
- | rw-r--r-- | 2,018 | Simferopol |
|
- | rw-r--r-- | 2,042 | Skopje |
|
- | rw-r--r-- | 2,197 | Sofia |
|
- | rw-r--r-- | 2,420 | Stockholm |
|
- | rw-r--r-- | 2,268 | Tallinn |
|
- | rw-r--r-- | 2,206 | Tirane |
|
- | rw-r--r-- | 2,512 | Tiraspol |
|
- | rw-r--r-- | 1,800 | Ulyanovsk |
|
- | rw-r--r-- | 2,240 | Uzhgorod |
|
- | rw-r--r-- | 2,031 | Vaduz |
|
- | rw-r--r-- | 2,763 | Vatican |
|
- | rw-r--r-- | 2,322 | Vienna |
|
- | rw-r--r-- | 2,282 | Vilnius |
|
- | rw-r--r-- | 1,698 | Volgograd |
|
- | rw-r--r-- | 2,776 | Warsaw |
|
- | rw-r--r-- | 2,042 | Zagreb |
|
- | rw-r--r-- | 2,240 | Zaporozhye |
|
- | rw-r--r-- | 2,031 | Zurich |