rpms/apron
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
137 Commits 29 Branches 0 Tags 157 KiB
main
Commit Graph

137 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Fedora Release Engineering
3a187f628a Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild 2024-07-17 17:18:16 +00:00
Jerry James
b228da08f2 Fix VCS tag 2024-07-16 11:30:39 -06:00
Richard W.M. Jones
245f06cc60 OCaml 5.2.0 ppc64le fix 2024-06-19 14:28:55 +01:00
Jerry James
73954a2f02 Version 0.9.15 2024-06-13 13:52:15 -06:00
Jerry James
58b3445103 Convert to %autorelease and %autochangelog 
[skip changelog]
 2024-06-13 07:56:10 -06:00
Richard W.M. Jones
0d7c59866e OCaml 5.2.0 for Fedora 41 2024-05-29 21:11:37 +01:00
Jerry James
338f18b04c Add patch to fix an internal division case 2024-05-23 10:58:40 -06:00
Jerry James
66248b8878 Rebuild for flint 3.1.0 2024-03-13 10:18:00 -06:00
Fedora Release Engineering
4feb13c379 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-22 23:20:10 +00:00
Fedora Release Engineering
9cba3289e8 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-19 13:24:41 +00:00
Richard W.M. Jones
2e047d1e00 OCaml 5.1.1 + s390x code gen fix for Fedora 40 2023-12-18 18:58:57 +00:00
Richard W.M. Jones
0a24ca74ce OCaml 5.1.1 rebuild for Fedora 40 2023-12-12 18:48:44 +00:00
Richard W.M. Jones
9a6dccdd13 OCaml 5.1 rebuild for Fedora 40 2023-10-05 20:46:24 +01:00
Jerry James
527424027b Add upstream patch for a japron hasVar bug 2023-10-04 22:04:41 -06:00
Jerry James
174a748b1f Version 0.9.14 
Other changes:
- Add patch to fix japron linkage
- Omit timestamps from generated documentation
 2023-09-22 09:25:41 -06:00
Jerry James
9832fe6173 Fix failure to install (rhbz#2229356) 2023-08-05 11:24:16 -06:00
Jerry James
497230996f Update the bytecode patch for pplite 2023-08-03 15:45:29 -06:00
Jerry James
b7003b5cff Enable pplite support 2023-08-03 10:14:33 -06:00
Jerry James
1731fc67e0 Update to 0.9.14-beta2. Enable csdp support. 2023-07-27 09:50:24 -06:00
Fedora Release Engineering
0079bf76a8 Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-07-19 13:37:17 +00:00
Richard W.M. Jones
071974bc48 OCaml 5.0 rebuild for Fedora 39 2023-07-12 01:10:59 +01:00
Richard W.M. Jones
b47506e89c ExcludeArch i686 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/) 2023-07-11 11:16:01 +01:00
Jerry James
e1a5c904ae Update to 0.9.14-beta1 for OCaml 5.0 support 
Other changes:
- Drop upstreamed mpfr and custom-operations patches
- Enable glpk support
- Add patch to fix builds on bytecode-only architectures
 2023-07-10 16:59:50 -06:00
Jerry James
ddacfd9d65 Fix reinsertion of -Werror=format-security (bz 2181282) 2023-03-23 09:38:10 -06:00
Richard W.M. Jones
7bc44ea4f0 Rebuild OCaml packages for F38 2023-01-24 09:28:59 +00:00
Fedora Release Engineering
1f823a0cda Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-01-18 22:00:43 +00:00
Jerry James
9a02af560c Work around build failure with make 4.4 (rhbz#2150171). 2022-12-06 13:47:37 -07:00
Jerry James
906b168c5c Convert License tag to SPDX. 2022-08-11 09:37:45 -06:00
Fedora Release Engineering
8c26b74b25 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-07-20 21:06:20 +00:00
Jerry James
9a57120491 Do not build japron on i686 (rhbz#2104018). 
Use new OCaml macros.
 2022-07-05 14:21:25 -06:00
Richard W.M. Jones
888dbc720e OCaml 4.14.0 rebuild 2022-06-18 17:17:55 +01:00
Jerry James
920e67714b Add -custom-operations patch to silence warnings. 
- Trim Requires.
- Build native OCaml objects with debuginfo.
 2022-04-27 11:25:28 -06:00
Jiri
e31174ff5d Rebuilt for java-17-openjdk as system jdk 
https://fedoraproject.org/wiki/Changes/Java17
 2022-02-05 19:35:24 +01:00
Richard W.M. Jones
7456955dea OCaml 4.13.1 rebuild to remove package notes 2022-02-04 13:23:25 +00:00
Fedora Release Engineering
bcb40947a8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-01-19 21:30:45 +00:00
Jerry James
7996123ff2 Rebuild for ocaml-mlgmpidl 1.2.14. 2021-12-30 14:54:59 -07:00
Richard W.M. Jones
4a212579c5 OCaml 4.13.1 build 2021-10-04 20:47:32 +01:00
Fedora Release Engineering
9bfab37d5e - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 17:48:38 +00:00
Fedora Release Engineering
4a7e019d6f - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 12:52:31 +00:00
Richard W.M. Jones
593c6231aa OCaml 4.12.0 build 2021-03-01 16:57:59 +00:00
Fedora Release Engineering
522c2a5baf - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-01-26 00:19:57 +00:00
Jerry James
e7a727974d Fix install location of OCaml stublibs. 2020-11-20 14:28:27 -07:00
Jerry James
f7f44623b2 Explicitly BR make. 2020-11-09 10:58:48 -07:00
Jerry James
2d433f02e8 Version 0.9.13. Drop upstreamed -texinfo patch. 2020-09-25 11:31:49 -06:00
Richard W.M. Jones
1bf9db5b92 OCaml 4.11.1 rebuild 2020-09-01 20:33:10 +01:00
Richard W.M. Jones
92758a6170 OCaml 4.11.0 rebuild 2020-08-21 12:19:45 +01:00
Jerry James
29ea8e8591 Fix Java build. 2020-07-28 11:39:37 -06:00
Fedora Release Engineering
3b2ca7508f - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-07-27 12:17:12 +00:00
Richard W.M. Jones
9d51bf894c OCaml 4.11.0+dev2-2020-04-22 rebuild 2020-05-05 00:00:53 +01:00
Richard W.M. Jones
9b1e37cc7f OCaml 4.11.0 pre-release attempt 2 2020-04-21 19:49:05 +01:00