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

116 Commits

Author SHA1 Message Date
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
Jerry James 753e0f37ec Rebuild for ocaml-zarith 1.10. 2020-09-25 12:23:02 -06:00
Jerry James b42ca529b7 Version 4.8.9. 2020-09-11 10:11:15 -06:00
Richard W.M. Jones 47902ea172 OCaml 4.11.1 rebuild 2020-09-01 20:15:25 +01:00
Richard W.M. Jones 6224468a06 OCaml 4.11.0 rebuild 2020-08-21 12:11:52 +01:00
Jerry James 13876e8c5c Remove %{?_isa} from Requires in noarch python3 subpackage. 2020-07-31 16:45:39 -06:00
Fedora Release Engineering 4c91858d05 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-07-29 15:18:04 +00:00
Jerry James 069e9003bb Build with cmake. 
- Manually build the OCaml interface.
- Limit the class file version in the Java interface.
- Allow the library to hide internal symbols; this means that the
  binary can no longer be linked with the library, so the main
  package does not depend on the -libs package.
- The python package no longer contains an ELF object, so make it noarch.
 2020-07-27 10:48:00 -06:00
Jerry James afbbbc365e Drop unnecessary %python_provide in Rawhide. 2020-07-21 20:55:25 -06:00
Jiri 1326348b3f Rebuilt for JDK-11 2020-07-11 09:18:01 +02:00
Miro Hrončok ffaa2f2743 Rebuilt for Python 3.9 2020-05-26 03:55:41 +02:00