Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#76813 - [z3] Add Java bindings as split package

Attached to Project: Community Packages
Opened by David Ryskalczyk (david_rysk) - Tuesday, 13 December 2022, 06:58 GMT
Last edited by Toolybird (Toolybird) - Tuesday, 13 December 2022, 19:45 GMT
Task Type Feature Request
Category Packages
Status Assigned
Assigned To Felix Yan (felixonmars)
Levente Polyak (anthraxx)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 0%
Votes 0
Private No

Details

Description:

The attached patch adds the Java bindings to the build, producing a separate z3-java package. This obsoletes the unmaintained z3-java AUR package, which no longer properly builds z3.
   z3-java.diff (2.2 KiB)
This task depends upon

Loading...