package info (click to toggle)
acl2 8.5dfsg-5
  • links: PTS
  • area: main
  • in suites: bookworm
  • size: 991,452 kB
  • sloc: lisp: 15,567,759; javascript: 22,820; cpp: 13,929; ansic: 12,092; perl: 7,150; java: 4,405; xml: 3,884; makefile: 3,507; sh: 3,187; ruby: 2,633; ml: 763; python: 746; yacc: 723; awk: 295; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17

Folder: software

d .. (parent)
d d rwxr-xr-x 4,096 3bz-20201220-git
d d rwxr-xr-x 4,096 alexandria-20220707-git
d d rwxr-xr-x 4,096 babel-20200925-git
d d rwxr-xr-x 4,096 bordeaux-threads-v0.8.8
d d rwxr-xr-x 136 bt-semaphore-20180711-git
d d rwxr-xr-x 4,096 cffi_0.24.1
d d rwxr-xr-x 4,096 chipz-20220220-git
d d rwxr-xr-x 4,096 chunga-20220331-git
d d rwxr-xr-x 4,096 cl+ssl-20220707-git
d d rwxr-xr-x 4,096 cl-base64-20201016-git
d d rwxr-xr-x 4,096 cl-cookie-20220707-git
d d rwxr-xr-x 4,096 cl-fad-20220220-git
d d rwxr-xr-x 4,096 cl-ppcre-20220220-git
d d rwxr-xr-x 4,096 cl-utilities-1.2.4
d d rwxr-xr-x 4,096 dexador-20220707-git
d d rwxr-xr-x 4,096 documentation-utils-20190710-git
d d rwxr-xr-x 4,096 fast-http-20191007-git
d d rwxr-xr-x 144 fast-io-20200925-git
d d rwxr-xr-x 4,096 file-attributes-20210807-git
d d rwxr-xr-x 4,096 flexi-streams-20220220-git
d d rwxr-xr-x 4,096 html-template-20171227-git
d d rwxr-xr-x 4,096 hunchentoot-v1.3.0
d d rwxr-xr-x 4,096 local-time-20220707-git
d d rwxr-xr-x 4,096 md5-20210630-git
d d rwxr-xr-x 4,096 mmap-20220707-git
d d rwxr-xr-x 4,096 nibbles-20220331-git
d d rwxr-xr-x 4,096 osicat-20220220-git
d d rwxr-xr-x 4,096 pathname-utils-20220707-git
d d rwxr-xr-x 4,096 proc-parse-20190813-git
d d rwxr-xr-x 4,096 quri-20220707-git
d d rwxr-xr-x 154 rfc2388-20180831-git
d d rwxr-xr-x 4,096 salza2-2.1
d d rwxr-xr-x 4,096 shellpool-20200925-git
d d rwxr-xr-x 4,096 smart-buffer-20211020-git
d d rwxr-xr-x 4,096 split-sequence-v2.0.1
d d rwxr-xr-x 149 static-vectors-v1.8.9
d d rwxr-xr-x 4,096 trivial-backtrace-20200610-git
d d rwxr-xr-x 4,096 trivial-features-20211209-git
d d rwxr-xr-x 4,096 trivial-garbage-20211230-git
d d rwxr-xr-x 4,096 trivial-gray-streams-20210124-git
d d rwxr-xr-x 145 trivial-indent-20210531-git
d d rwxr-xr-x 4,096 trivial-mimes-20220707-git
d d rwxr-xr-x 4,096 uiop-3.3.5
d d rwxr-xr-x 4,096 usocket-0.8.4
d d rwxr-xr-x 132 xsubseq-20170830-git
d d rwxr-xr-x 4,096 zippy-20220707-git