Package "libz3-dev"
| Name: | libz3-dev |
Description: |
theorem prover from Microsoft Research - development files |
| Latest version: | 4.8.12-3.1build1 |
| Release: | noble (24.04) |
| Level: | base |
| Repository: | universe |
| Head package: | z3 |
| Homepage: | https://github.com/Z3Prover/z3 |
Links
Download "libz3-dev"
Other versions of "libz3-dev" in Noble
No other version of this package is available in the Noble release.Changelog
| Version: 4.8.12-3.1build1 | 2024-04-23 10:07:10 UTC |
|---|---|
|
z3 (4.8.12-3.1build1) noble; urgency=high * No change rebuild against frame pointers and time_t. -- Julian Andres Klode <email address hidden> Mon, 22 Apr 2024 11:52:27 +0200 |
|
About
-
Send Feedback to @ubuntu_updates
