package info (click to toggle)
spin 6.5.2%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,512 kB
  • sloc: ansic: 39,876; yacc: 1,021; makefile: 58; sh: 13

Folder: Exercises

d .. (parent)
- - rwxr-xr-x 134 ex_1a.pml
- - rwxr-xr-x 261 ex_1f.pml
- - rwxr-xr-x 608 ex_2.pml
- - rwxr-xr-x 598 ex_3a.pml
- - rwxr-xr-x 261 ex_3b.pml
- - rwxr-xr-x 478 ex_3c.pml
- - rwxr-xr-x 536 ex_4.pml
- - rwxr-xr-x 1,074 ex_5.pml
- - rwxr-xr-x 1,812 ex_6.pml