package info (click to toggle)
minisat%2B 1.0-4
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, buster
  • size: 600 kB
  • ctags: 1,322
  • sloc: cpp: 6,535; makefile: 74; sh: 23

Folder: tests

d .. (parent)
- - rw-r--r-- 27 control
- - rwxr-xr-x 295 upstream