package info (click to toggle)
libtoxcore 0.2.20-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 6,124 kB
  • sloc: ansic: 75,034; cpp: 4,933; sh: 1,115; python: 651; makefile: 329; perl: 39

Folder: compcert

d .. (parent)
- - rw-r--r-- 11 .gitignore
- - rw-r--r-- 1,063 Makefile
- - rw-r--r-- 550 compcert.Dockerfile
- - rwxr-xr-x 150 run