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

d .. (parent)
d d rwxr-xr-x 4,096 3bz-20230618-git
d d rwxr-xr-x 4,096 alexandria-20231021-git
d d rwxr-xr-x 4,096 babel-20230214-git
d d rwxr-xr-x 4,096 bordeaux-threads-v0.9.3
d d rwxr-xr-x 136 bt-semaphore-20180711-git
d d rwxr-xr-x 4,096 cffi-20231021-git
d d rwxr-xr-x 4,096 chipz-20230618-git
d d rwxr-xr-x 4,096 chunga-20231021-git
d d rwxr-xr-x 4,096 cl+ssl-20231021-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-20230618-git
d d rwxr-xr-x 4,096 cl-utilities-1.2.4
d d rwxr-xr-x 4,096 dexador-20231021-git
d d rwxr-xr-x 4,096 documentation-utils-20231021-git
d d rwxr-xr-x 4,096 fast-http-20231021-git
d d rwxr-xr-x 144 fast-io-20221106-git
d d rwxr-xr-x 4,096 file-attributes-20231021-git
d d rwxr-xr-x 4,096 filesystem-utils-20231021-git
d d rwxr-xr-x 4,096 flexi-streams-20220220-git
d d rwxr-xr-x 146 global-vars-20141106-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-20231021-git
d d rwxr-xr-x 4,096 md5-20210630-git
d d rwxr-xr-x 4,096 mmap-20231021-git
d d rwxr-xr-x 4,096 nibbles-20231021-git
d d rwxr-xr-x 4,096 osicat-20220220-git
d d rwxr-xr-x 4,096 pathname-utils-20231021-git
d d rwxr-xr-x 4,096 proc-parse-20190813-git
d d rwxr-xr-x 4,096 quri-20230618-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-20230214-git
d d rwxr-xr-x 4,096 trivial-features-20230618-git
d d rwxr-xr-x 4,096 trivial-garbage-20231021-git
d d rwxr-xr-x 4,096 trivial-gray-streams-20231021-git
d d rwxr-xr-x 145 trivial-indent-20231021-git
d d rwxr-xr-x 4,096 trivial-mimes-20231021-git
d d rwxr-xr-x 4,096 uiop-3.3.6
d d rwxr-xr-x 4,096 usocket-0.8.6
d d rwxr-xr-x 132 xsubseq-20170830-git
d d rwxr-xr-x 4,096 zippy-20231021-git