package info (click to toggle)
docker.io 20.10.5%2Bdfsg1-1%2Bdeb11u2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, bullseye-backports
  • size: 60,044 kB
  • sloc: sh: 5,527; makefile: 616; ansic: 179; python: 162; asm: 7

Folder: tla

d .. (parent)
d d rwxr-xr-x 58 models
- - rw-r--r-- 39 .gitignore
- - rw-r--r-- 802 EventCounter.tla
- - rw-r--r-- 716 Makefile
- - rw-r--r-- 618 README.md
- - rw-r--r-- 26,056 SwarmKit.tla
- - rw-r--r-- 3,486 Tasks.tla
- - rw-r--r-- 4,534 Types.tla
- - rw-r--r-- 12,360 WorkerImpl.tla
- - rw-r--r-- 4,910 WorkerSpec.tla