Commit graph

6 commits

Author SHA1 Message Date
Kevin Mihelich
86a8f81458 extra/z3 to 4.13.0-2 2024-04-27 16:15:48 +00:00
Kevin Mihelich
a8aaa6ae4d extra/z3 to 4.13.0-1 2024-03-09 21:28:25 +00:00
Kevin Mihelich
8f9d555a4a extra/z3 to 4.12.5-1 2024-01-27 01:00:26 +00:00
David Beauchamp
3a18e115fb extra/z3 to 4.12.4-1 2023-12-24 11:03:59 -05:00
Kevin Mihelich
ccc91d0d2d extra/z3 to 4.12.2-1 2023-08-31 12:40:18 +00:00
Kevin Mihelich
081192a8c4 move community packages into extra 2023-05-29 21:48:20 +00:00
Renamed from community/z3/PKGBUILD (Browse further)