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

128 Commits

Author SHA1 Message Date
Jerry James 7e13c11207 Fix python package library load name (bz 2255464) 2023-12-21 09:06:18 -07:00
Richard W.M. Jones 4b6c6d8a09 OCaml 5.1.1 + s390x code gen fix for Fedora 40 2023-12-18 17:56:01 +00:00
Richard W.M. Jones 28838627de OCaml 5.1.1 rebuild for Fedora 40 2023-12-12 16:17:08 +00: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