package info (click to toggle)
pygments 2.18.0%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 10,184 kB
  • sloc: python: 103,327; javascript: 238; makefile: 142; sh: 84; lisp: 74

Folder: promela

d .. (parent)
- - rw-r--r-- 665 do.txt
- - rw-r--r-- 1,120 dotted-assign.txt
- - rw-r--r-- 740 if.txt
- - rw-r--r-- 512 intruder.txt
- - rw-r--r-- 944 ltl.txt
- - rw-r--r-- 611 msg.txt
- - rw-r--r-- 268 skip.txt
- - rw-r--r-- 361 welfare.txt