package info (click to toggle)
linux 6.1.148-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bookworm-proposed-updates
  • size: 1,496,492 kB
  • sloc: ansic: 23,474,232; asm: 266,624; sh: 110,569; makefile: 49,899; python: 36,948; perl: 36,834; cpp: 6,055; yacc: 4,908; lex: 2,725; awk: 1,440; ruby: 25; sed: 5

Folder: srcu-cbmc

d .. (parent)
d d rwxr-xr-x 41 empty_includes
d d rwxr-xr-x 26 include
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 61 tests
- - rw-r--r-- 47 .gitignore
- - rw-r--r-- 462 Makefile
- - rwxr-xr-x 8,964 modify_srcu.awk