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

Folder: 4.4.1-1~deb10u1

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