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

d .. (parent)
- - rw-r--r-- 2,933 Amsterdam
- - rw-r--r-- 1,742 Andorra
- - rw-r--r-- 1,165 Astrakhan
- - rw-r--r-- 2,262 Athens
- - rw-r--r-- 3,664 Belfast
- - rw-r--r-- 1,920 Belgrade
- - rw-r--r-- 2,298 Berlin
- - rw-r--r-- 2,301 Bratislava
- - rw-r--r-- 2,933 Brussels
- - rw-r--r-- 2,184 Bucharest
- - rw-r--r-- 2,368 Budapest
- - rw-r--r-- 1,909 Busingen
- - rw-r--r-- 2,390 Chisinau
- - rw-r--r-- 2,298 Copenhagen
- - rw-r--r-- 3,492 Dublin
- - rw-r--r-- 3,068 Gibraltar
- - rw-r--r-- 3,664 Guernsey
- - rw-r--r-- 1,900 Helsinki
- - rw-r--r-- 3,664 Isle_of_Man
- - rw-r--r-- 1,947 Istanbul
- - rw-r--r-- 3,664 Jersey
- - rw-r--r-- 1,493 Kaliningrad
- - rw-r--r-- 2,120 Kiev
- - rw-r--r-- 1,153 Kirov
- - rw-r--r-- 2,120 Kyiv
- - rw-r--r-- 3,497 Lisbon
- - rw-r--r-- 1,920 Ljubljana
- - rw-r--r-- 3,664 London
- - rw-r--r-- 2,933 Luxembourg
- - rw-r--r-- 2,614 Madrid
- - rw-r--r-- 2,620 Malta
- - rw-r--r-- 1,900 Mariehamn
- - rw-r--r-- 1,321 Minsk
- - rw-r--r-- 2,962 Monaco
- - rw-r--r-- 1,535 Moscow
- - rw-r--r-- 2,002 Nicosia
- - rw-r--r-- 2,298 Oslo
- - rw-r--r-- 2,962 Paris
- - rw-r--r-- 1,920 Podgorica
- - rw-r--r-- 2,301 Prague
- - rw-r--r-- 2,198 Riga
- - rw-r--r-- 2,641 Rome
- - rw-r--r-- 1,215 Samara
- - rw-r--r-- 2,641 San_Marino
- - rw-r--r-- 1,920 Sarajevo
- - rw-r--r-- 1,183 Saratov
- - rw-r--r-- 1,469 Simferopol
- - rw-r--r-- 1,920 Skopje
- - rw-r--r-- 2,077 Sofia
- - rw-r--r-- 2,298 Stockholm
- - rw-r--r-- 2,148 Tallinn
- - rw-r--r-- 2,084 Tirane
- - rw-r--r-- 2,390 Tiraspol
- - rw-r--r-- 1,267 Ulyanovsk
- - rw-r--r-- 2,120 Uzhgorod
- - rw-r--r-- 1,909 Vaduz
- - rw-r--r-- 2,641 Vatican
- - rw-r--r-- 2,200 Vienna
- - rw-r--r-- 2,162 Vilnius
- - rw-r--r-- 1,165 Volgograd
- - rw-r--r-- 2,654 Warsaw
- - rw-r--r-- 1,920 Zagreb
- - rw-r--r-- 2,120 Zaporozhye
- - rw-r--r-- 1,909 Zurich