package info (click to toggle)
cvc4 1.6-2
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 54,516 kB
  • sloc: cpp: 262,804; ansic: 126,172; sh: 7,163; java: 5,041; makefile: 2,953; python: 1,511; lisp: 763; perl: 47; ml: 37; ruby: 20; tcl: 18

Folder: debian

d .. (parent)
d d rwxr-xr-x 146 patches
d d rwxr-xr-x 27 source
d d rwxr-xr-x 50 tests
- - rw-r--r-- 1,217 changelog
- - rw-r--r-- 3 compat
- - rw-r--r-- 4,641 control
- - rw-r--r-- 9,709 copyright
- - rw-r--r-- 27 cvc4.install
- - rw-r--r-- 75 cvc4.manpages
- - rw-r--r-- 23 libcvc4-5.install
- - rw-r--r-- 19 libcvc4-dev.examples
- - rw-r--r-- 46 libcvc4-dev.install
- - rw-r--r-- 29 libcvc4parser5.install
- - rw-r--r-- 460 not-installed
- - rwxr-xr-x 873 rules
- - rw-r--r-- 89 watch