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: 0.8.2-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 48 .github
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 91 contrib
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 docs
d d rwxr-xr-x 138 examples
d d rwxr-xr-x 29 include
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 4,096 subprojects
d d rwxr-xr-x 60 test
- - rw-r--r-- 540 .clang-format
- - rw-r--r-- 133 .gitignore
- - rw-r--r-- 325 AUTHORS
- - rw-r--r-- 2,072 CONTRIBUTING.md
- - rw-r--r-- 1,286 COPYING
- - rw-r--r-- 27,360 NEWS.md
- - rw-r--r-- 2,316 README.md
- - rwxr-xr-x 5,834 configure.py
- - rw-r--r-- 1,400 meson.build
- - rw-r--r-- 396 meson_options.txt
- - rw-r--r-- 754 pyproject.toml
- - rw-r--r-- 250 x86_64-linux-aarch64.txt
- - rw-r--r-- 248 x86_64-w64-mingw32.txt