aptpeek.dev
Repository Viewer
Navigation
Home
Search
Distributions
Debian
Toggle
Ubuntu
Toggle
Linux Mint
Toggle
Kali Linux
Toggle
Raspberry Pi OS
Toggle
Pop!_OS
Toggle
Elementary OS
Toggle
Vendors
Docker
Toggle
HashiCorp
Toggle
Cloudflare
Toggle
Nginx
Toggle
Tor Project
Toggle
Microsoft
Toggle
Repositories
Statistics
© 2026 aptpeek.dev.
Crafted with
by
Jorrit
Toggle Sidebar
aptpeek.dev
search
Toggle theme
Search Packages
Reset
Distribution
Select distribution
Codename
Select codename
Component
Select component
Architecture
Select architecture
Package name
Version
Source package
Distribution
Codename
Component
Architecture
Package
Version
Priority
Size
Description
Integrity
Actions
kali
snapshot/kali-last-snapshot
main
amd64
libz3-4
4.13.3-1.1
optional
27.3 kB
theorem prover from Microsoft Research - runtime libraries
Details
kali
snapshot/kali-last-snapshot
main
amd64
libz3-4
4.13.3-1
optional
27.1 kB
theorem prover from Microsoft Research - runtime libraries
Details
kali
snapshot/kali-last-snapshot
main
amd64
libz3-4
4.13.3-1+b1
optional
27.3 kB
theorem prover from Microsoft Research - runtime libraries
Details
kali
snapshot/kali-last-snapshot
main
arm64
libz3-4
4.13.3-1.1
optional
26 kB
theorem prover from Microsoft Research - runtime libraries
Details
kali
snapshot/kali-last-snapshot
main
arm64
libz3-4
4.13.3-1+b1
optional
26.2 kB
theorem prover from Microsoft Research - runtime libraries
Details
kali
snapshot/kali-last-snapshot
main
arm64
libz3-4
4.13.3-1
optional
26.3 kB
theorem prover from Microsoft Research - runtime libraries
Details
kali
snapshot/kali-last-snapshot
main
armhf
libz3-4
4.13.3-1.1
optional
16.7 kB
theorem prover from Microsoft Research - runtime libraries
Details
kali
snapshot/kali-last-snapshot
main
armhf
libz3-4
4.13.3-1+b1
optional
16.7 kB
theorem prover from Microsoft Research - runtime libraries
Details
kali
snapshot/kali-last-snapshot
main
armhf
libz3-4
4.13.3-1
optional
16.7 kB
theorem prover from Microsoft Research - runtime libraries
Details
kali
snapshot/kali-last-snapshot
main
i386
libz3-4
4.13.3-1+b1
optional
28.9 kB
theorem prover from Microsoft Research - runtime libraries
Details
kali
snapshot/kali-last-snapshot
main
i386
libz3-4
4.13.3-1
optional
28.9 kB
theorem prover from Microsoft Research - runtime libraries
Details
Showing 1–11 of 11 packages
Page 1 of 1
Previous
1
Next