Commits - rpms/z3 - src.fedoraproject.org

OCaml 5.1 rebuild for Fedora 40

Richard W.M. Jones • 2 months ago

6e97219

Rebuild for ocaml-zarith 1.13

Jerry James • 5 months ago

7581983

Exclude OCaml BRs on i386

Jerry James • 5 months ago

e327725

Do not build or install the i386 OCaml interface

Jerry James • 5 months ago

7ce32a5

Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

Fedora Release Engineering • 5 months ago

8f4eee1

Exclude the OCaml and Java subpackages only on i386

Jerry James • 5 months ago

7fe18e3

OCaml 5.0 rebuild for Fedora 39

Richard W.M. Jones • 5 months ago

332c055

ExcludeArch i686 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/)

Richard W.M. Jones • 5 months ago

a9a7082

OCaml 5.0.0 rebuild

Jerry James • 5 months ago

b4c9000

Rebuild for OCaml 5.0

Jerry James • 6 months ago

67bb880

Rebuilt for Python 3.12

Python Maint • 6 months ago

647df7b

Version 4.12.2

Jerry James • 7 months ago

ee66c97

Rebuild OCaml packages for F38

Richard W.M. Jones • 11 months ago

0c0af7b

Version 4.12.1.

Jerry James • 11 months ago

42e82b1

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

Fedora Release Engineering • 11 months ago

fed39e8

Version 4.12.0.

Jerry James • 11 months ago

70124da

Add -data-race patch to fix segfault (bz 2157972).

Jerry James • 11 months ago

aca6b53

Further clarify license of the doc subpackage (SPDX).

Jerry James • a year ago

6264c50

Version 4.11.2.

Jerry James • a year ago

6bc865d

Version 4.11.0. Clarify license of the doc subpackage.

Jerry James • a year ago

1b84535

Version 4.10.2.

Jerry James • a year ago

52e2a85

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Fedora Release Engineering • a year ago

700febf

Do not support Java on i686 (rhbz#2104112).

Jerry James • a year ago

0138012

Rebuilt for Python 3.11

Python Maint • a year ago

d607dff

OCaml 4.14.0 rebuild

Richard W.M. Jones • a year ago

c6dc115

Rebuilt for Python 3.11

Python Maint • a year ago

6bc7033

Version 4.8.17. Drop upstreamed -ambiguous-overload patch.

Jerry James • 2 years ago

d11a9bc

Add -ambiguous-overload patch to fix cppcheck build failure.

Jerry James • 2 years ago

d44508e

Version 4.8.15.

Jerry James • 2 years ago

0d4eb3e

Rebuilt for java-17-openjdk as system jdk

Jiri • 2 years ago

d4a35ac

OCaml 4.13.1 rebuild to remove package notes

Richard W.M. Jones • 2 years ago

cea5f75

- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

Fedora Release Engineering • 2 years ago

4a9d6bf

Version 4.8.14. Conditionalize the %check script.

Jerry James • 2 years ago

6ffdbbf

Version 4.8.13.

Jerry James • 2 years ago

533bf73

OCaml 4.13.1 build

Richard W.M. Jones • 2 years ago

25c7a77

- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Fedora Release Engineering • 2 years ago

969a5ff

Version 4.8.12.

Jerry James • 2 years ago

1db6cfa

Version 4.8.11.

Jerry James • 2 years ago

61301a3

Rebuilt for Python 3.10

Python Maint • 2 years ago

306bdba

Rebuild for ocaml-zarith 1.12.

Jerry James • 2 years ago

b504b06

Bump release and rebuild.

Richard W.M. Jones • 2 years ago

bad77dc

Bump release and rebuild.

Richard W.M. Jones • 2 years ago

813e700

OCaml 4.12.0 build

Richard W.M. Jones • 2 years ago

2a1214c

Version 4.8.10.

Jerry James • 2 years ago

09e6f04

- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Fedora Release Engineering • 2 years ago

6ca61cb

Fix the python interface (bz 1910923).

Jerry James • 2 years ago

a705877

Rebuild for ocaml-zarith 1.11.

Jerry James • 3 years ago

259befe

Explicitly BR make.

Jerry James • 3 years ago

1844f63

Rebuild for ocaml-zarith 1.10.

Jerry James • 3 years ago

753e0f3

rpms / z3

Commits 124

rpms / z3

Source Code

Commits 124