UbuntuUpdates.org

Package "libz3-java"


Moved to noble:universe:base


Name: libz3-java

Description:

theorem prover from Microsoft Research - java bindings

Latest version: *DELETED*
Release: noble (24.04)
Level: proposed
Repository: universe
Head package: z3
Homepage: https://github.com/Z3Prover/z3

Links


Download "libz3-java"


Other versions of "libz3-java" in Noble

Repository Area Version
base universe 4.8.12-3.1build1

Changelog

Version: *DELETED* 2024-04-23 10:07:11 UTC
Moved to noble:universe:base
No changelog for deleted or moved packages.

Version: 4.8.12-3.1build1 2024-04-22 13:07:39 UTC
No changelog available yet.



About   -   Send Feedback to @ubuntu_updates