package info (click to toggle)
boolector 3.2.4-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 20,744 kB
  • sloc: ansic: 83,136; cpp: 18,159; sh: 3,668; python: 2,889; makefile: 210

Folder: debian

d .. (parent)
d d rwxr-xr-x 27 source
- - rw-r--r-- 1,536 boolector.1
- - rw-r--r-- 8 boolector.docs
- - rw-r--r-- 19 boolector.manpages
- - rw-r--r-- 2,132 changelog
- - rw-r--r-- 849 control
- - rw-r--r-- 1,650 copyright
- - rwxr-xr-x 304 rules
- - rw-r--r-- 65 watch