package info (click to toggle)
cadical 1.5.3-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 3,424 kB
  • sloc: cpp: 21,996; ansic: 1,654; sh: 1,545; makefile: 74

Folder: debian

d .. (parent)
d d rwxr-xr-x 51 patches
d d rwxr-xr-x 27 source
- - rw-r--r-- 44 cadical.install
- - rw-r--r-- 20 cadical.manpages
- - rw-r--r-- 270 changelog
- - rw-r--r-- 1,273 control
- - rw-r--r-- 2,305 copyright
- - rw-r--r-- 104 libcadical-dev.install
- - rwxr-xr-x 628 rules
- - rw-r--r-- 179 watch