Versions in byzantium: 4.8.10-1
Maintainer: LLVM Packaging Team <pkg-llvm-team [꩜] lists.alioth.debian.org>
Uploaders:
- Fabian Wolff <fabi.wolff [꩜] arcor.de>
Format: 3.0 (quilt)
Standards Version: 4.5.1
Architectures:
any
Homepage
Build Jobs
VCS Browser
Owned Binaries
Build Dependencies
Files
| Filename |
Size |
Checksum (SHA256) |
| z3_4.8.10-1.dsc |
2.6 kB |
79154abf69a30e25007dcbc708cc669a9acfadc9c0b6e48c5f5b0c2ee383dc31 |
| z3_4.8.10.orig.tar.gz |
4.7 MB |
12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 |
| z3_4.8.10-1.debian.tar.xz |
10.1 kB |
1276e44bdc3d3c873b27487aea0ca9882bf010bcf94a7c1cd1a9cd76eb89f234 |