package info (click to toggle)
bitwuzla 0.8.2-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 43,292 kB
  • sloc: cpp: 94,870; python: 3,254; ansic: 1,613; sh: 50; makefile: 10

Folder: debian

d .. (parent)
d d rwxr-xr-x 131 patches
d d rwxr-xr-x 27 source
- - rw-r--r-- 58 bitwuzla-dev.install
- - rw-r--r-- 261 bitwuzla-doc.doc-base
- - rw-r--r-- 46 bitwuzla-doc.install
- - rw-r--r-- 8 bitwuzla.install
- - rw-r--r-- 11 bitwuzla.manpages
- - rw-r--r-- 157 changelog
- - rw-r--r-- 2,926 control
- - rw-r--r-- 1,547 copyright
- - rw-r--r-- 125 gbp.conf
- - rw-r--r-- 28 libbitwuzla0.install
- - rw-r--r-- 51 python3-bitwuzla.install
- - rwxr-xr-x 777 rules
- - rw-r--r-- 177 salsa-ci.yml
- - rw-r--r-- 62 watch