package info (click to toggle)
acl2 8.3dfsg-2
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 309,408 kB
  • sloc: lisp: 3,311,842; javascript: 22,569; cpp: 9,029; ansic: 7,872; perl: 6,501; xml: 3,838; java: 3,738; makefile: 3,383; ruby: 2,633; sh: 2,489; ml: 763; python: 741; yacc: 721; awk: 260; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17

Folder: software

d .. (parent)
d d rwxr-xr-x 4,096 alexandria-20170830-git
d d rwxr-xr-x 4,096 babel-20171227-git
d d rwxr-xr-x 4,096 bordeaux-threads-v0.8.6
d d rwxr-xr-x 136 bt-semaphore-20180711-git
d d rwxr-xr-x 4,096 cffi_0.19.0
d d rwxr-xr-x 4,096 chunga-20180131-git
d d rwxr-xr-x 4,096 cl+ssl-20181018-git
d d rwxr-xr-x 4,096 cl-base64-20150923-git
d d rwxr-xr-x 4,096 cl-fad-20180430-git
d d rwxr-xr-x 4,096 cl-ppcre-20180831-git
d d rwxr-xr-x 4,096 flexi-streams-20180711-git
d d rwxr-xr-x 4,096 html-template-20171227-git
d d rwxr-xr-x 4,096 hunchentoot-v1.2.38
d d rwxr-xr-x 4,096 md5-20180228-git
d d rwxr-xr-x 4,096 osicat-20180228-git
d d rwxr-xr-x 154 rfc2388-20180831-git
d d rwxr-xr-x 4,096 shellpool-20150505-git
d d rwxr-xr-x 151 split-sequence-v1.5.0
d d rwxr-xr-x 4,096 trivial-backtrace-20160531-git
d d rwxr-xr-x 4,096 trivial-features-20161204-git
d d rwxr-xr-x 4,096 trivial-garbage-20181018-git
d d rwxr-xr-x 4,096 trivial-gray-streams-20181018-git
d d rwxr-xr-x 4,096 uiop-3.3.2
d d rwxr-xr-x 4,096 usocket-0.7.1