z3 4.4.1-0.3build3 source package in Ubuntu
Changelog
z3 (4.4.1-0.3build3) artful; urgency=high * No change rebuild against ocaml 4.04 transition. -- Dimitri John Ledkov <email address hidden> Mon, 26 Jun 2017 22:49:52 +0100
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Artful
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Very Urgent
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
z3_4.4.1.orig.tar.gz | 3.2 MiB | 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce |
z3_4.4.1-0.3build3.debian.tar.xz | 14.1 KiB | 3457ad283904447be6257c480b62defc1e4efcd43ff4609d0c09e465828c2b29 |
z3_4.4.1-0.3build3.dsc | 2.5 KiB | ce732b6feec13342aaecff0fab82619d0278e0ca5d7a17b9310cce2ca17d9f83 |
Available diffs
- diff from 4.4.1-0.3build2 to 4.4.1-0.3build3 (557 bytes)
Binary packages built by this source
- libz3-4: No summary available for libz3-4 in ubuntu artful.
No description available for libz3-4 in ubuntu artful.
- libz3-4-dbgsym: No summary available for libz3-4-dbgsym in ubuntu artful.
No description available for libz3-4-dbgsym in ubuntu artful.
- libz3-cil: No summary available for libz3-cil in ubuntu artful.
No description available for libz3-cil in ubuntu artful.
- libz3-dev: No summary available for libz3-dev in ubuntu artful.
No description available for libz3-dev in ubuntu artful.
- libz3-java: No summary available for libz3-java in ubuntu artful.
No description available for libz3-java in ubuntu artful.
- libz3-jni: No summary available for libz3-jni in ubuntu artful.
No description available for libz3-jni in ubuntu artful.
- libz3-jni-dbgsym: No summary available for libz3-jni-dbgsym in ubuntu artful.
No description available for libz3-jni-dbgsym in ubuntu artful.
- libz3-ocaml-dev: theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API.
- libz3-ocaml-dev-dbgsym: No summary available for libz3-ocaml-dev-dbgsym in ubuntu artful.
No description available for libz3-ocaml-
dev-dbgsym in ubuntu artful.
- python-z3: No summary available for python-z3 in ubuntu artful.
No description available for python-z3 in ubuntu artful.
- z3: No summary available for z3 in ubuntu artful.
No description available for z3 in ubuntu artful.
- z3-dbgsym: No summary available for z3-dbgsym in ubuntu artful.
No description available for z3-dbgsym in ubuntu artful.