package info (click to toggle)
z3 4.4.1-0.4
  • links: PTS
  • area: main
  • in suites: buster, sid
  • size: 23,228 kB
  • sloc: cpp: 344,555; cs: 10,140; python: 9,595; java: 8,144; ml: 3,770; ansic: 2,275; makefile: 145; sh: 92

Folder: 4.4.1-0.4

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
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 4,096 scripts
d d rwxr-xr-x 4,096 src
- - rw-r--r-- 138 .gitattributes
- - rw-r--r-- 1,350 .gitignore
- - rw-r--r-- 1,096 LICENSE.txt
- - rw-r--r-- 1,384 README
- - rw-r--r-- 34,412 RELEASE_NOTES
- - rwxr-xr-x 416 configure