libz3-dev - 4.8.10-1 main

theorem prover from Microsoft Research - development files

Section: libdevel
Suites: amber byzantium landing 
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 538.6 kB
Architectures: arm64  amd64 

 

Versions

4.8.10-1 amd64 4.8.10-1 arm64