package info (click to toggle)
z3 4.8.10-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 30,236 kB
  • sloc: cpp: 465,524; python: 14,260; cs: 10,484; java: 9,389; ml: 2,987; ansic: 2,509; sh: 844; makefile: 31

Folder: 4.8.10-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 50 noarch
d d rwxr-xr-x 34 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,431 .gitignore
- - rw-r--r-- 4,236 .travis.yml
- - rw-r--r-- 27,875 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,353 RELEASE_NOTES
- - rw-r--r-- 8,374 azure-pipelines.yml
- - rwxr-xr-x 418 configure
- - rw-r--r-- 352 z3.pc.cmake.in