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: 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-- 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-- 39,799 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