Jerry James
|
cb0c5c7d69
|
Rebuild for ocaml-ppx-deriving 6.1.3
|
2026-07-29 12:32:20 -06:00 |
|
Fedora Release Engineering
|
679e804de1
|
Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
|
2026-07-17 08:48:20 +00:00 |
|
Jerry James
|
f8b7cae4a6
|
OCaml 5.5.0 rebuild
|
2026-07-09 20:52:51 -06:00 |
|
Jerry James
|
cfd29ec6fd
|
Rebuild for rocq 9.2.0
|
2026-04-16 12:23:41 -06:00 |
|
Jerry James
|
f6d80e1a29
|
Rebuild for rocq 9.1.1
- Add patch to avoid Zmod, removed in rocq 9.1
|
2026-03-19 21:38:47 -06:00 |
|
Richard W.M. Jones
|
1889b3d497
|
OCaml 5.4.1 rebuild
|
2026-02-21 00:12:57 +00:00 |
|
Jerry James
|
5a8173d697
|
Rebuild for ocaml-menhir-20260209
|
2026-02-11 20:03:06 -07:00 |
|
Jerry James
|
e7d64b7f0f
|
Rebuild for ocaml-menhir 20260203
|
2026-02-06 17:00:40 -07:00 |
|
Jerry James
|
a4c3815695
|
Rebuild for ocaml-menhir 20260122
|
2026-02-02 16:26:22 -07:00 |
|
Fedora Release Engineering
|
d3d801816f
|
Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
|
2026-01-17 20:13:59 +00:00 |
|
Jerry James
|
e51d1ba9fc
|
Reflow the description text
|
2026-01-14 08:53:03 -07:00 |
|
Richard W.M. Jones
|
c7de9116b8
|
OCaml 5.4.0 rebuild
|
2025-10-14 20:54:37 +01:00 |
|
Jerry James
|
10869d3c2e
|
Version 1.8.2
|
2025-09-16 15:25:39 -06:00 |
|
Jerry James
|
5d0415f73c
|
Rebuild for ocaml-menhir 20250903
|
2025-09-05 11:14:24 -06:00 |
|
Jerry James
|
dfde276402
|
Rebuild for ocaml-unionfind 20250818
|
2025-08-22 10:25:54 -06:00 |
|
Jerry James
|
f24429dc72
|
BR vim-filesystem for %{vimfiles_root}
|
2025-08-10 11:47:45 -06:00 |
|
Jerry James
|
32bd519ce7
|
Use %{vimfiles_root}
|
2025-08-10 11:23:17 -06:00 |
|
Jerry James
|
25a38102cf
|
Bump and rebuild
|
2025-08-10 11:02:02 -06:00 |
|
Fedora Release Engineering
|
ddf170d66a
|
Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
|
2025-07-25 20:24:57 +00:00 |
|
Jerry James
|
eef9515e6d
|
Rebuild to fix OCaml dependencies
|
2025-07-12 16:48:04 -06:00 |
|
Jerry James
|
92927d0b7d
|
Version 1.8.1
- All patches have been upstreamed
|
2025-06-09 15:05:43 -06:00 |
|
Jerry James
|
9ec4d214c6
|
Rebuild for bumped ocaml-mlgmpidl
|
2025-06-07 10:34:13 -06:00 |
|
Jerry James
|
525daf1052
|
Rebuild for ocaml-ocamlgraph 2.2.0
|
2025-04-15 14:09:32 -06:00 |
|
Jerry James
|
d9a95c6189
|
Rebuild for flocq 4.2.1
|
2025-02-13 14:41:57 -07:00 |
|
Jerry James
|
7ab80d8d3e
|
Add patch for C23 compatibility
|
2025-01-22 16:01:25 -07:00 |
|
Fedora Release Engineering
|
3d1348dd56
|
Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
|
2025-01-19 15:00:39 +00:00 |
|
Jerry James
|
d46d748db4
|
OCaml 5.3.0 rebuild for Fedora 42
- Version 1.8.0
- Disable documentation build due to bugs in 1.8.0
|
2025-01-10 10:30:03 -07:00 |
|
Jerry James
|
98156958f8
|
Convert to %autorelease and %autochangelog
[skip changelog]
|
2025-01-10 10:28:18 -07:00 |
|
Jerry James
|
88b9f2e9c7
|
Fix the location of the icon
|
2024-10-14 15:14:21 -06:00 |
|
Jerry James
|
b798c9103b
|
Rebuild for ocaml-re 1.13.3
|
2024-10-06 15:16:41 -06:00 |
|
Jerry James
|
acda593bf2
|
Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2
|
2024-08-05 11:24:06 -06:00 |
|
Fedora Release Engineering
|
2daac66f57
|
Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
|
2024-07-20 09:20:04 +00:00 |
|
Jerry James
|
664bbc3564
|
Rebuild for ocaml-zarith 1.14
|
2024-07-16 11:13:09 -06:00 |
|
Jerry James
|
b4ad7f2eed
|
Rebuild for ocaml-ppx-sexp-conv 0.17.0
|
2024-07-03 16:58:56 -06:00 |
|
Richard W.M. Jones
|
c6f7681992
|
OCaml 5.2.0 ppc64le fix
OCaml 5.2.0 ppc64le fix
OCaml 5.2.0 ppc64le fix
OCaml 5.2.0 ppc64le fix
OCaml 5.2.0 ppc64le fix
OCaml 5.2.0 ppc64le fix
OCaml 5.2.0 ppc64le fix
|
2024-06-19 19:28:35 +01:00 |
|
Jerry James
|
356eda9812
|
Rebuild for apron 0.9.15
- New upstream URL
|
2024-06-13 14:38:24 -06:00 |
|
Richard W.M. Jones
|
0aeedb81c5
|
OCaml 5.2.0 for Fedora 41
|
2024-05-30 10:30:35 +01:00 |
|
Jerry James
|
8000f2ad4a
|
Version 1.7.2
|
2024-04-18 09:47:00 -06:00 |
|
Richard W.M. Jones
|
44636b4555
|
Use %{bash_completions_dir} macro
|
2024-03-25 11:27:20 +00:00 |
|
Jerry James
|
84cb61b8ea
|
Build again because koji ran out of disk space
|
2024-02-02 18:44:17 -07:00 |
|
Jerry James
|
8d5ff06bc5
|
Version 1.7.1
|
2024-02-02 16:41:48 -07:00 |
|
Fedora Release Engineering
|
12c78c7f05
|
Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
|
2024-01-27 08:45:59 +00:00 |
|
Jerry James
|
e86bfd3112
|
Version 1.7.0. Drop upstreamed coq patch.
|
2024-01-02 12:34:03 -07:00 |
|
Richard W.M. Jones
|
8d82ad63f7
|
OCaml 5.1.1 + s390x code gen fix for Fedora 40
|
2023-12-18 19:26:12 +00:00 |
|
Richard W.M. Jones
|
8b5401104d
|
OCaml 5.1.1 rebuild for Fedora 40
|
2023-12-12 19:17:54 +00:00 |
|
Richard W.M. Jones
|
b3fca63993
|
OCaml 5.1 rebuild for Fedora 40
|
2023-10-05 21:46:07 +01:00 |
|
Jerry James
|
c96ac3b16a
|
Remove old obsoletes
|
2023-10-04 23:18:14 -06:00 |
|
Jerry James
|
2c8af33924
|
Rebuild for ocaml-ocamlgraph 2.1.0
|
2023-09-10 08:54:03 -06:00 |
|
Jerry James
|
7e59df64f5
|
Require cvc5 instead of cvc4
|
2023-07-29 16:18:01 -06:00 |
|
Jerry James
|
dccd3f8ee9
|
Rebuild for ocaml-zarith 1.13
|
2023-07-27 11:18:08 -06:00 |
|