package info (click to toggle)
qemu 1%3A7.2%2Bdfsg-7%2Bdeb12u13
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 288,192 kB
  • sloc: ansic: 2,701,923; pascal: 112,708; python: 62,697; sh: 50,281; asm: 48,732; makefile: 17,260; cpp: 9,441; perl: 8,084; xml: 2,911; objc: 1,870; php: 1,299; tcl: 1,188; yacc: 604; lex: 363; sql: 71; awk: 35; sed: 11; javascript: 7

Folder: spin

d .. (parent)
- - rw-r--r-- 1,888 aio_notify.promela
- - rw-r--r-- 4,052 aio_notify_accept.promela
- - rw-r--r-- 4,164 aio_notify_bug.promela
- - rw-r--r-- 9,546 tcg-exclusive.promela
- - rw-r--r-- 3,744 win32-qemu-event.promela