package info (click to toggle)
cvc4 1.8-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 69,876 kB
  • sloc: cpp: 274,686; sh: 5,833; python: 1,893; java: 929; lisp: 763; ansic: 275; perl: 214; makefile: 22; awk: 2

Folder: debian

d .. (parent)
d d rwxr-xr-x 4,096 patches
d d rwxr-xr-x 27 source
d d rwxr-xr-x 97 tests
- - rw-r--r-- 2,884 changelog
- - rw-r--r-- 4,339 control
- - rw-r--r-- 4,452 copyright
- - rw-r--r-- 28 cvc4.install
- - rw-r--r-- 52 cvc4.manpages
- - rw-r--r-- 23 libcvc4-7.install
- - rw-r--r-- 19 libcvc4-dev.examples
- - rw-r--r-- 32 libcvc4-dev.install
- - rw-r--r-- 130 libcvc4-dev.manpages
- - rw-r--r-- 29 libcvc4parser7.install
- - rw-r--r-- 18 not-installed
- - rwxr-xr-x 1,127 rules
- - rw-r--r-- 137 watch