package info (click to toggle)
z3 4.8.9-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 29,592 kB
  • sloc: cpp: 456,780; python: 14,222; cs: 10,481; java: 7,922; ml: 2,987; ansic: 2,509; sh: 844; makefile: 31

Folder: 4.8.9-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 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,421 .gitignore
- - rw-r--r-- 4,236 .travis.yml
- - rw-r--r-- 27,885 CMakeLists.txt
- - rw-r--r-- 1,096 LICENSE.txt
- - rw-r--r-- 18,476 README-CMake.md
- - rw-r--r-- 6,736 README.md
- - rw-r--r-- 45,322 RELEASE_NOTES
- - rw-r--r-- 8,371 azure-pipelines.yml
- - rwxr-xr-x 418 configure
- - rw-r--r-- 352 z3.pc.cmake.in