package info (click to toggle)
acl2 7.2dfsg-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 198,968 kB
  • ctags: 182,300
  • sloc: lisp: 2,415,261; ansic: 5,675; perl: 5,577; xml: 3,576; sh: 3,255; cpp: 2,835; makefile: 2,440; ruby: 2,402; python: 778; ml: 763; yacc: 709; csh: 355; php: 171; lex: 162; tcl: 44; java: 24; asm: 23; haskell: 17

Folder: software

d .. (parent)
d d rwxr-xr-x 4,096 alexandria-20150505-git
d d rwxr-xr-x 4,096 babel-20150608-git
d d rwxr-xr-x 136 bt-semaphore-20131003-git
d d rwxr-xr-x 4,096 cffi_0.16.1
d d rwxr-xr-x 4,096 chunga-1.1.6
d d rwxr-xr-x 4,096 cl+ssl-20151218-git
d d rwxr-xr-x 4,096 cl-base64-20150923-git
d d rwxr-xr-x 4,096 cl-fad-0.7.3
d d rwxr-xr-x 4,096 cl-ppcre-2.0.11
d d rwxr-xr-x 115 external-program-20151218-git
d d rwxr-xr-x 4,096 flexi-streams-1.0.15
d d rwxr-xr-x 4,096 html-template-0.9.2
d d rwxr-xr-x 4,096 hunchentoot-1.2.34
d d rwxr-xr-x 143 md5-20150804-git
d d rwxr-xr-x 4,096 osicat-20150709-git
d d rwxr-xr-x 154 rfc2388-20130720-git
d d rwxr-xr-x 4,096 shellpool-20150505-git
d d rwxr-xr-x 4,096 trivial-backtrace-20150407-git
d d rwxr-xr-x 4,096 trivial-features-20150923-git
d d rwxr-xr-x 4,096 trivial-garbage-20150113-git
d d rwxr-xr-x 4,096 trivial-gray-streams-20140826-git
d d rwxr-xr-x 4,096 uiop-3.1.6
d d rwxr-xr-x 4,096 usocket-0.6.3.2