package info (click to toggle)
minisat2 1:2.2.1-5
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, jessie, jessie-kfreebsd, sid, stretch
  • size: 372 kB
  • ctags: 790
  • sloc: cpp: 2,952; makefile: 150

Folder: 1:2.2.1-5

show hidden (1)
d .. (parent)
d d rwxr-xr-x 149 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 43 doc
d d rwxr-xr-x 70 minisat
- - rw-r--r-- 55 .gitignore
- - rw-r--r-- 1,142 LICENSE
- - rw-r--r-- 9,283 Makefile
- - rw-r--r-- 1,959 README