package info (click to toggle)
z3 4.8.7-4
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 27,996 kB
  • sloc: cpp: 427,333; python: 14,155; cs: 10,477; java: 7,893; ml: 2,975; ansic: 2,507; sh: 820; makefile: 30

Folder: 4.8.7-4

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 118 package
d d rwxr-xr-x 46 resources
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,403 .gitignore
- - rw-r--r-- 5,105 .travis.yml
- - rw-r--r-- 27,504 CMakeLists.txt
- - rw-r--r-- 1,096 LICENSE.txt
- - rw-r--r-- 17,602 README-CMake.md
- - rw-r--r-- 6,739 README.md
- - rw-r--r-- 43,539 RELEASE_NOTES
- - rw-r--r-- 3,756 azure-pipelines.yml
- - rwxr-xr-x 418 configure