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 Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:09 GMT
Task Type Feature Request
Category Packages
Status Closed
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 100%
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

Closed by  Buggy McBugFace (bugbot)
Saturday, 25 November 2023, 20:09 GMT
Reason for closing:  Moved
Additional comments about closing:  https://gitlab.archlinux.org/archlinux/p ackaging/packages/z3/issues/1

Loading...