File: system-index.txt

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
file content (81 lines) | stat: -rw-r--r-- 3,919 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
software/3bz-20230618-git/3bz.asd
software/alexandria-20231021-git/alexandria.asd
software/babel-20230214-git/babel-streams.asd
software/babel-20230214-git/babel-tests.asd
software/babel-20230214-git/babel.asd
software/bordeaux-threads-v0.9.3/bordeaux-threads.asd
software/bt-semaphore-20180711-git/bt-semaphore-test.asd
software/bt-semaphore-20180711-git/bt-semaphore.asd
software/cffi-20231021-git/cffi-examples.asd
software/cffi-20231021-git/cffi-grovel.asd
software/cffi-20231021-git/cffi-libffi.asd
software/cffi-20231021-git/cffi-tests.asd
software/cffi-20231021-git/cffi-toolchain.asd
software/cffi-20231021-git/cffi-uffi-compat.asd
software/cffi-20231021-git/cffi.asd
software/chipz-20230618-git/chipz.asd
software/chunga-20231021-git/chunga.asd
software/cl+ssl-20231021-git/cl+ssl.asd
software/cl+ssl-20231021-git/cl+ssl.test.asd
software/cl-base64-20201016-git/cl-base64.asd
software/cl-cookie-20220707-git/cl-cookie-test.asd
software/cl-cookie-20220707-git/cl-cookie.asd
software/cl-fad-20220220-git/cl-fad.asd
software/cl-ppcre-20230618-git/cl-ppcre-unicode.asd
software/cl-ppcre-20230618-git/cl-ppcre.asd
software/cl-utilities-1.2.4/cl-utilities.asd
software/dexador-20231021-git/dexador-test.asd
software/dexador-20231021-git/dexador.asd
software/documentation-utils-20231021-git/documentation-utils.asd
software/documentation-utils-20231021-git/multilang-documentation-utils.asd
software/fast-http-20231021-git/fast-http-test.asd
software/fast-http-20231021-git/fast-http.asd
software/fast-io-20221106-git/fast-io-test.asd
software/fast-io-20221106-git/fast-io.asd
software/file-attributes-20231021-git/file-attributes.asd
software/filesystem-utils-20231021-git/filesystem-utils-test.asd
software/filesystem-utils-20231021-git/filesystem-utils.asd
software/flexi-streams-20220220-git/flexi-streams-test.asd
software/flexi-streams-20220220-git/flexi-streams.asd
software/global-vars-20141106-git/global-vars-test.asd
software/global-vars-20141106-git/global-vars.asd
software/html-template-20171227-git/html-template.asd
software/hunchentoot-v1.3.0/hunchentoot.asd
software/local-time-20231021-git/cl-postgres+local-time.asd
software/local-time-20231021-git/local-time.asd
software/md5-20210630-git/md5.asd
software/mmap-20231021-git/mmap-test.asd
software/mmap-20231021-git/mmap.asd
software/nibbles-20231021-git/nibbles.asd
software/osicat-20220220-git/osicat.asd
software/pathname-utils-20231021-git/pathname-utils-test.asd
software/pathname-utils-20231021-git/pathname-utils.asd
software/proc-parse-20190813-git/proc-parse-test.asd
software/proc-parse-20190813-git/proc-parse.asd
software/quri-20230618-git/quri-test.asd
software/quri-20230618-git/quri.asd
software/rfc2388-20180831-git/rfc2388.asd
software/salza2-2.1/salza2.asd
software/shellpool-20200925-git/shellpool.asd
software/smart-buffer-20211020-git/smart-buffer-test.asd
software/smart-buffer-20211020-git/smart-buffer.asd
software/split-sequence-v2.0.1/split-sequence.asd
software/static-vectors-v1.8.9/static-vectors.asd
software/trivial-backtrace-20230214-git/trivial-backtrace-test.asd
software/trivial-backtrace-20230214-git/trivial-backtrace.asd
software/trivial-features-20230618-git/trivial-features-tests.asd
software/trivial-features-20230618-git/trivial-features.asd
software/trivial-garbage-20231021-git/trivial-garbage.asd
software/trivial-gray-streams-20231021-git/trivial-gray-streams-test.asd
software/trivial-gray-streams-20231021-git/trivial-gray-streams.asd
software/trivial-indent-20231021-git/trivial-indent.asd
software/trivial-mimes-20231021-git/trivial-mimes.asd
software/uiop-3.3.6/asdf-driver.asd
software/uiop-3.3.6/uiop.asd
software/usocket-0.8.6/usocket-server.asd
software/usocket-0.8.6/usocket-test.asd
software/usocket-0.8.6/usocket.asd
software/xsubseq-20170830-git/xsubseq-test.asd
software/xsubseq-20170830-git/xsubseq.asd
software/zippy-20231021-git/zippy-dwim.asd
software/zippy-20231021-git/zippy.asd