package info (click to toggle)
cvc4 1.6-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • 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: patches

d .. (parent)
- - rw-r--r-- 442 01-timestamps.patch
- - rw-r--r-- 1,967 02-man-pages.patch
- - rw-r--r-- 2,920 03-examples.patch
- - rw-r--r-- 5,495 04-fix-spelling.patch
- - rw-r--r-- 79 series