rpms/z3
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
126 Commits 24 Branches 0 Tags 302 KiB
f39
Commit Graph

126 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jerry James
f87466ebb0 Fix python package library load name (bz 2255464) 2023-12-21 09:48:53 -07:00
Jerry James
69a9e69b24 Version 4.12.4 
Drop upstreamed patches: python, stdint, escapes
 2023-12-10 10:31:57 -07:00
Richard W.M. Jones
6e97219e4f OCaml 5.1 rebuild for Fedora 40 2023-10-05 20:46:07 +01:00
Jerry James
75819831d1 Rebuild for ocaml-zarith 1.13 2023-07-27 10:28:07 -06:00
Jerry James
e32772559e Exclude OCaml BRs on i386 2023-07-23 10:03:32 -06:00
Jerry James
7ce32a5a19 Do not build or install the i386 OCaml interface 2023-07-23 08:41:01 -06:00
Fedora Release Engineering
8f4eee1504 Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-07-22 19:35:07 +00:00
Jerry James
7fe18e3f96 Exclude the OCaml and Java subpackages only on i386 2023-07-21 08:41:35 -06:00
Richard W.M. Jones
332c05596a OCaml 5.0 rebuild for Fedora 39 2023-07-12 15:30:38 +01:00
Richard W.M. Jones
a9a7082547 ExcludeArch i686 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/) 2023-07-11 11:36:26 +01:00
Jerry James
b4c9000b46 OCaml 5.0.0 rebuild 2023-07-10 16:55:13 -06:00
Jerry James
67bb880db8 Rebuild for OCaml 5.0 2023-06-21 13:39:46 -06:00
Python Maint
647df7bf04 Rebuilt for Python 3.12 2023-06-15 14:41:58 +02:00
Jerry James
ee66c97a95 Version 4.12.2 2023-05-15 08:44:33 -06:00
Richard W.M. Jones
0c0af7bf22 Rebuild OCaml packages for F38 2023-01-24 09:20:14 +00:00
Jerry James
42e82b1a86 Version 4.12.1. 2023-01-21 10:25:11 -07:00
Fedora Release Engineering
fed39e8c56 Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-01-21 08:09:46 +00:00
Jerry James
70124da6df Version 4.12.0. 
Drop upstreamed -data-race and -uninit patches.
 2023-01-17 15:01:03 -07:00
Jerry James
aca6b5306f Add -data-race patch to fix segfault (bz 2157972). 
Add -uninit patch to fix use of an uninitialized value.
 2023-01-08 21:56:34 -07:00
Jerry James
6264c50021 Further clarify license of the doc subpackage (SPDX). 2022-12-14 16:15:48 -07:00
Jerry James
6bc865dcfc Version 4.11.2. 2022-09-04 13:17:38 -06:00
Jerry James
1b84535f23 Version 4.11.0. Clarify license of the doc subpackage. 2022-08-19 13:32:07 -06:00
Jerry James
52e2a85d5e Version 4.10.2. 2022-08-08 06:33:35 -06:00
Fedora Release Engineering
700febff68 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-07-23 13:49:24 +00:00
Jerry James
013801252f Do not support Java on i686 (rhbz#2104112). 
Use new OCaml macros.
 2022-07-05 13:23:31 -06:00
Python Maint
d607dff554 Rebuilt for Python 3.11 2022-06-20 10:45:53 +02:00
Richard W.M. Jones
c6dc115d0d OCaml 4.14.0 rebuild 2022-06-18 15:25:55 +01:00
Python Maint
6bc7033f70 Rebuilt for Python 3.11 2022-06-13 17:27:26 +02:00
Jerry James
d11a9bc22b Version 4.8.17. Drop upstreamed -ambiguous-overload patch. 2022-05-19 11:32:13 -06:00
Jerry James
d44508e7e3 Add -ambiguous-overload patch to fix cppcheck build failure. 2022-03-24 13:58:33 -06:00
Jerry James
0d4eb3e8f9 Version 4.8.15. 2022-03-21 12:04:45 -06:00
Jiri
d4a35ac719 Rebuilt for java-17-openjdk as system jdk 
https://fedoraproject.org/wiki/Changes/Java17
 2022-02-06 00:53:17 +01:00
Richard W.M. Jones
cea5f750e3 OCaml 4.13.1 rebuild to remove package notes 2022-02-04 13:29:49 +00:00
Fedora Release Engineering
4a9d6bf0fd - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-01-22 05:46:08 +00:00
Jerry James
6ffdbbf843 Version 4.8.14. Conditionalize the %check script. 2021-12-24 11:30:57 -07:00
Jerry James
533bf73c99 Version 4.8.13. 2021-11-19 12:28:26 -07:00
Richard W.M. Jones
25c7a7705b OCaml 4.13.1 build 2021-10-04 20:45:36 +01:00
Fedora Release Engineering
969a5ffd21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-23 22:12:33 +00:00
Jerry James
1db6cfa63f Version 4.8.12. 2021-07-13 13:11:43 -06:00
Jerry James
61301a359d Version 4.8.11. 2021-06-08 08:27:35 -06:00
Python Maint
306bdba1f5 Rebuilt for Python 3.10 2021-06-04 21:20:40 +02:00
Jerry James
b504b06e75 Rebuild for ocaml-zarith 1.12. 2021-03-03 12:11:52 -07:00
Richard W.M. Jones
bad77dc612 Bump release and rebuild. 2021-03-01 20:17:49 +00:00
Richard W.M. Jones
813e700557 Bump release and rebuild. 2021-03-01 19:41:17 +00:00
Richard W.M. Jones
2a1214c7dc OCaml 4.12.0 build 2021-03-01 16:57:46 +00:00
Jerry James
09e6f045f4 Version 4.8.10. 2021-02-13 09:47:28 -07:00
Fedora Release Engineering
6ca61cb935 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-01-28 00:37:04 +00:00
Jerry James
a7058774ee Fix the python interface (bz 1910923). 2020-12-26 07:44:31 -07:00
Jerry James
259befebd7 Rebuild for ocaml-zarith 1.11. 2020-11-16 17:52:06 -07:00
Jerry James
1844f63fc1 Explicitly BR make. 2020-11-09 21:38:07 -07:00