Folder: HOL

package info (click to toggle)

mono 3.2.8%2Bdfsg-10

links: PTS, VCS
area: main
in suites: jessie, jessie-kfreebsd
size: 527,964 kB
ctags: 623,327
sloc: cs: 3,938,236; xml: 1,891,753; ansic: 418,737; java: 59,920; sh: 15,754; makefile: 11,067; sql: 7,956; perl: 2,279; cpp: 1,380; yacc: 1,203; python: 594; asm: 422; sed: 16; php: 1