package info (click to toggle)
z3 4.8.4-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 27,332 kB
  • sloc: cpp: 414,254; python: 13,222; cs: 10,456; java: 7,897; ml: 2,980; ansic: 2,498; sh: 798; makefile: 148

Folder: 4.8.4-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 cmake
d d rwxr-xr-x 82 contrib
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 4,096 examples
d d rwxr-xr-x 62 noarch
d d rwxr-xr-x 137 package
d d rwxr-xr-x 4,096 scripts
d d rwxr-xr-x 4,096 src
- - rw-r--r-- 39 .dockerignore
- - rw-r--r-- 138 .gitattributes
- - rw-r--r-- 1,356 .gitignore
- - rw-r--r-- 5,340 .travis.yml
- - rw-r--r-- 31,357 CMakeLists.txt
- - rw-r--r-- 1,096 LICENSE.txt
- - rw-r--r-- 17,603 README-CMake.md
- - rw-r--r-- 7,204 README.md
- - rw-r--r-- 42,503 RELEASE_NOTES
- - rwxr-xr-x 418 configure
- - rw-r--r-- 142 todo.txt