Folder: software | Debian Sources

package info (click to toggle)

acl2 8.0dfsg-1

links: PTS
area: main
in suites: buster
size: 226,956 kB
sloc: lisp: 2,678,900; ansic: 6,101; perl: 5,816; xml: 3,586; cpp: 2,624; ruby: 2,576; makefile: 2,443; sh: 2,312; python: 778; yacc: 764; ml: 763; awk: 260; csh: 186; php: 171; lex: 165; tcl: 44; java: 41; asm: 23; haskell: 17

Folder: software

				.. (parent)
	d	rwxr-xr-x	4,096	alexandria-20170830-git
	d	rwxr-xr-x	4,096	babel-20170630-git
	d	rwxr-xr-x	4,096	bordeaux-threads-v0.8.5
	d	rwxr-xr-x	136	bt-semaphore-20170227-git
	d	rwxr-xr-x	4,096	cffi_0.19.0
	d	rwxr-xr-x	4,096	chunga-1.1.6
	d	rwxr-xr-x	4,096	cl+ssl-20171019-git
	d	rwxr-xr-x	4,096	cl-base64-20150923-git
	d	rwxr-xr-x	4,096	cl-fad-0.7.4
	d	rwxr-xr-x	4,096	cl-ppcre-2.0.11
	d	rwxr-xr-x	4,096	flexi-streams-1.0.15
	d	rwxr-xr-x	4,096	html-template-0.9.2
	d	rwxr-xr-x	4,096	hunchentoot-v1.2.37
	d	rwxr-xr-x	143	md5-20170630-git
	d	rwxr-xr-x	4,096	osicat-20171019-git
	d	rwxr-xr-x	154	rfc2388-20130720-git
	d	rwxr-xr-x	4,096	shellpool-20150505-git
	d	rwxr-xr-x	114	split-sequence-1.2
	d	rwxr-xr-x	4,096	trivial-backtrace-20160531-git
	d	rwxr-xr-x	4,096	trivial-features-20161204-git
	d	rwxr-xr-x	4,096	trivial-garbage-20150113-git
	d	rwxr-xr-x	4,096	trivial-gray-streams-20140826-git
	d	rwxr-xr-x	4,096	uiop-3.2.1
	d	rwxr-xr-x	4,096	usocket-0.7.0.1