rpms/alt-ergo
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
148 commits 38 branches 24 tags 292 KiB
Commit graph

148 commits

This branch
This branch
All branches
Author SHA1 Message Date
Jerry James
94bbf330c3 Reflow the description text 2026-01-09 12:01:03 -07:00
Richard W.M. Jones
c9954a5c37 OCaml 5.4.0 rebuild 2025-10-14 08:57:01 +01:00
Jerry James
6544e1b439 Rebuild for ocaml-menhir 20250912 2025-09-16 15:08:42 -06:00
Jerry James
7497db4a07 Rebuild for ocaml-menhir 20250903 2025-09-05 11:47:45 -06:00
Fedora Release Engineering
0f343f3118 Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild 2025-07-23 16:55:43 +00:00
Jerry James
0ecba542d3 Rebuild to fix OCaml dependencies 2025-07-11 21:31:19 -06:00
Fedora Release Engineering
360d6af7b6 Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild 2025-01-16 10:55:33 +00:00
Jerry James
f53232f95d OCaml 5.3.0 rebuild for Fedora 42 2025-01-09 16:33:00 -07:00
Jerry James
75bbe3f8fc Correct License fields from Apache-2.0 to CECILL-C 
- Do configuration steps in %conf
 2024-12-27 11:45:43 -07:00
Jerry James
51625d9207 Rebuild for ocaml-menhir 20240715 and ocaml-zip 1.12 2024-08-05 10:32:00 -06:00
Fedora Release Engineering
d49408568a Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild 2024-07-17 16:53:51 +00:00
Jerry James
fa4007b53c Rebuild for ocaml-zarith 1.14 2024-07-16 10:39:18 -06:00
Richard W.M. Jones
ffa1a25799 OCaml 5.2.0 ppc64le fix 2024-06-19 14:26:21 +01:00
Richard W.M. Jones
8d4dec6e83 OCaml 5.2.0 for Fedora 41 2024-05-29 23:50:30 +01:00
Jerry James
ce64caea9c Add patch to fix misplaced inline attributes 2024-05-23 10:57:15 -06:00
Jerry James
bd0a009525 Rebuild for changed ocamlx(Dynlink) hash 2024-02-02 10:09:48 -07:00
Fedora Release Engineering
89e6861d48 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-22 22:57:19 +00:00
Fedora Release Engineering
ba198bf5cf Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-19 12:46:18 +00:00
Jerry James
2d515533ae Rebuild for ocaml-num 2024-01-02 11:28:58 -07:00
Jerry James
d55e3db9b2 Update metainfo contact address 2023-12-18 20:31:53 -07:00
Richard W.M. Jones
f83c022bb3 OCaml 5.1.1 + s390x code gen fix for Fedora 40 2023-12-18 20:42:39 +00:00
Richard W.M. Jones
0392596195 OCaml 5.1.1 rebuild for Fedora 40 2023-12-12 18:19:33 +00:00
Richard W.M. Jones
95ebe8b78e OCaml 5.1 rebuild for Fedora 40 2023-10-05 21:27:10 +01:00
Jerry James
17e8a91f50 Rebuild for ocaml-zarith 1.13 2023-07-27 10:22:59 -06:00
Fedora Release Engineering
dcf60c5f1e Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-07-19 13:10:45 +00:00
Jerry James
961a793aa4 Validate appdata with appstream-util 2023-07-18 11:35:04 -06:00
Richard W.M. Jones
4aadcff56b OCaml 5.0 rebuild for Fedora 39 2023-07-12 01:39:34 +01:00
Richard W.M. Jones
5ec9dcf52b ExcludeArch i686 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/) 2023-07-11 11:36:25 +01:00
Jerry James
f2cbc74c5e OCaml 5.0.0 rebuild 2023-07-10 16:57:48 -06:00
Jerry James
04eaf57e3a Dune 3.7.0 changed the install location of mli files 2023-03-24 10:04:51 -06:00
Richard W.M. Jones
11fc19a34c Rebuild OCaml packages for F38 2023-01-24 19:30:31 +00:00
Fedora Release Engineering
3901efd195 Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-01-18 21:38:44 +00:00
Jerry James
61ce442efc Convert License tag to SPDX. 
Note that the AB plugin has a different license.
 2022-08-11 09:24:41 -06:00
Fedora Release Engineering
43489678ca Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-07-20 20:41:54 +00:00
Jerry James
cf1a6b7780 Patch out uses of the dune external-lib-deps command. 
- Patch out references to the seq forward compatibility module.
- Use new OCaml macros.
 2022-07-05 17:03:29 -06:00
Jerry James
cf26b7fc7e Version 2.3.3. 
- Add -menhir patch to fix FTBFS.
- Add -stdlib-shims patch since Fedora does not need stdlib-shims.
 2022-06-21 09:01:13 -06:00
Richard W.M. Jones
5f6eee8592 OCaml 4.14.0 rebuild 2022-06-19 13:28:13 +01:00
Jerry James
20c71462b6 Switch to the correct tarball. 
- Drop unneeded ocaml-findlib BR.
- Add dependency on ocaml-alt-ergo-parsers from ocaml-alt-ergo-parsers-devel.
 2022-02-28 12:02:56 -07:00
Richard W.M. Jones
4817f805f6 OCaml 4.13.1 rebuild to remove package notes 2022-02-04 20:19:28 +00:00
Fedora Release Engineering
9cf9f87095 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-01-19 21:10:09 +00:00
Jerry James
4b29dc3ccc Version 2.3.0. 
New ocaml-alt-ergo-lib and ocaml-alt-ergo-parsers subpackages.
 2021-12-30 17:12:44 -07:00
Richard W.M. Jones
ed81837150 OCaml 4.13.1 build 2021-10-05 12:54:42 +01:00
Jerry James
9a10ab3b2a Rebuild for changed ocamlx(Dynlink). 2021-07-29 12:57:23 -06:00
Fedora Release Engineering
d4fa98b018 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 17:29:03 +00:00
Fedora Release Engineering
154f03ab06 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 12:33:38 +00:00
Jerry James
3480332c8e Move META to the main package. 2021-07-19 13:19:50 -06:00
Jerry James
a0af6956e8 Rebuild for ocaml-lablgtk without gnomeui. 2021-06-24 14:53:02 -06:00
Jerry James
335accbed6 Rebuild for ocaml-zarith 1.12. 2021-03-03 12:07:12 -07:00
Richard W.M. Jones
3a917b3309 OCaml 4.12.0 build 2021-03-02 11:26:15 +00:00
Jerry James
eae4588b66 Updates to the desktop and metainfo files. Add -pervasives patch. 2021-02-04 09:01:16 -07:00