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

d .. (parent)
- - rw-r--r-- 268 README
- - rw-r--r-- 2,357 hebrew_latin8_cr.txt
- - rw-r--r-- 2,425 hebrew_latin8_crlf.txt
- - rw-r--r-- 2,357 hebrew_latin8_lf.txt
- - rw-r--r-- 4,073 hebrew_utf8_cr.txt
- - rw-r--r-- 4,141 hebrew_utf8_crlf.txt
- - rw-r--r-- 4,073 hebrew_utf8_lf.txt
- - rw-r--r-- 5,601 kafka_cp1252_cr.txt
- - rw-r--r-- 5,612 kafka_cp1252_crlf.txt
- - rw-r--r-- 5,601 kafka_cp1252_lf.txt
- - rw-r--r-- 5,601 kafka_latin1_cr.txt
- - rw-r--r-- 5,612 kafka_latin1_crlf.txt
- - rw-r--r-- 5,601 kafka_latin1_lf.txt
- - rw-r--r-- 5,740 kafka_utf8_cr.txt
- - rw-r--r-- 5,751 kafka_utf8_crlf.txt
- - rw-r--r-- 5,740 kafka_utf8_lf.txt
- - rw-r--r-- 313 mac_chars_mac_cr.txt
- - rw-r--r-- 316 mac_chars_mac_crlf.txt
- - rw-r--r-- 313 mac_chars_mac_lf.txt
- - rw-r--r-- 474 mac_chars_utf8_cr.txt
- - rw-r--r-- 477 mac_chars_utf8_crlf.txt
- - rw-r--r-- 474 mac_chars_utf8_lf.txt
- - rw-r--r-- 1,863 packages.lisp
- - rw-r--r-- 407 russian_koi8r_cr.txt
- - rw-r--r-- 413 russian_koi8r_crlf.txt
- - rw-r--r-- 407 russian_koi8r_lf.txt
- - rw-r--r-- 727 russian_utf8_cr.txt
- - rw-r--r-- 733 russian_utf8_crlf.txt
- - rw-r--r-- 727 russian_utf8_lf.txt
- - rw-r--r-- 42,092 test.lisp
- - rw-r--r-- 3,674 tilton_ascii_cr.txt
- - rw-r--r-- 3,770 tilton_ascii_crlf.txt
- - rw-r--r-- 3,674 tilton_ascii_lf.txt
- - rw-r--r-- 3,674 tilton_utf8_cr.txt
- - rw-r--r-- 3,770 tilton_utf8_crlf.txt
- - rw-r--r-- 3,674 tilton_utf8_lf.txt
- - rw-r--r-- 15,242 unicode_demo_ucs2_cr_be.txt
- - rw-r--r-- 15,242 unicode_demo_ucs2_cr_le.txt
- - rw-r--r-- 15,666 unicode_demo_ucs2_crlf_be.txt
- - rw-r--r-- 15,666 unicode_demo_ucs2_crlf_le.txt
- - rw-r--r-- 15,242 unicode_demo_ucs2_lf_be.txt
- - rw-r--r-- 15,242 unicode_demo_ucs2_lf_le.txt
- - rw-r--r-- 30,484 unicode_demo_ucs4_cr_be.txt
- - rw-r--r-- 30,484 unicode_demo_ucs4_cr_le.txt
- - rw-r--r-- 31,332 unicode_demo_ucs4_crlf_be.txt
- - rw-r--r-- 31,332 unicode_demo_ucs4_crlf_le.txt
- - rw-r--r-- 30,484 unicode_demo_ucs4_lf_be.txt
- - rw-r--r-- 30,484 unicode_demo_ucs4_lf_le.txt
- - rw-r--r-- 14,052 unicode_demo_utf8_cr.txt
- - rw-r--r-- 14,264 unicode_demo_utf8_crlf.txt
- - rw-r--r-- 14,052 unicode_demo_utf8_lf.txt
- - rw-r--r-- 609 xjt_gbk_cr.txt
- - rw-r--r-- 618 xjt_gbk_crlf.txt
- - rw-r--r-- 609 xjt_gbk_lf.txt