Commit graph

rpms/why3

Fork 0

cb0c5c7d69 Rebuild for ocaml-ppx-deriving 6.1.3 rawhide main f45 Jerry James 2026-07-29 12:32:20 -06:00
679e804de1 Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild Fedora Release Engineering 2026-07-17 08:48:20 +00:00
f8b7cae4a6 OCaml 5.5.0 rebuild Jerry James 2026-07-09 20:52:51 -06:00
cfd29ec6fd Rebuild for rocq 9.2.0 f44 Jerry James 2026-04-16 12:23:41 -06:00
f6d80e1a29 Rebuild for rocq 9.1.1 Jerry James 2026-03-19 21:38:47 -06:00
1889b3d497 OCaml 5.4.1 rebuild Richard W.M. Jones 2026-02-21 00:12:57 +00:00
5a8173d697 Rebuild for ocaml-menhir-20260209 Jerry James 2026-02-11 20:03:06 -07:00
e7d64b7f0f Rebuild for ocaml-menhir 20260203 Jerry James 2026-02-06 17:00:40 -07:00
a4c3815695 Rebuild for ocaml-menhir 20260122 Jerry James 2026-02-02 16:26:22 -07:00
d3d801816f Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild Fedora Release Engineering 2026-01-17 20:13:59 +00:00
e51d1ba9fc Reflow the description text Jerry James 2026-01-14 08:53:03 -07:00
c7de9116b8 OCaml 5.4.0 rebuild Richard W.M. Jones 2025-10-14 20:54:37 +01:00
d8e269ccc7 Version 1.8.2 f42 Jerry James 2025-09-16 15:25:39 -06:00
78e4daa831 BR vim-filesystem for %{vimfiles_root} Jerry James 2025-08-10 11:47:45 -06:00
655ea3197d Use %{vimfiles_root} Jerry James 2025-08-10 11:23:17 -06:00
10869d3c2e Version 1.8.2 f43 Jerry James 2025-09-16 15:25:39 -06:00
5d0415f73c Rebuild for ocaml-menhir 20250903 Jerry James 2025-09-05 11:14:24 -06:00
dfde276402 Rebuild for ocaml-unionfind 20250818 Jerry James 2025-08-22 10:25:54 -06:00
f24429dc72 BR vim-filesystem for %{vimfiles_root} Jerry James 2025-08-10 11:47:45 -06:00
32bd519ce7 Use %{vimfiles_root} Jerry James 2025-08-10 11:23:17 -06:00
25a38102cf Bump and rebuild Jerry James 2025-08-10 11:02:02 -06:00
ddf170d66a Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild Fedora Release Engineering 2025-07-25 20:24:57 +00:00
eef9515e6d Rebuild to fix OCaml dependencies Jerry James 2025-07-12 16:48:04 -06:00
e57fd9accf Version 1.8.1 Jerry James 2025-06-09 15:05:43 -06:00
92927d0b7d Version 1.8.1 Jerry James 2025-06-09 15:05:43 -06:00
9ec4d214c6 Rebuild for bumped ocaml-mlgmpidl Jerry James 2025-06-07 10:34:13 -06:00
525daf1052 Rebuild for ocaml-ocamlgraph 2.2.0 Jerry James 2025-04-15 14:09:32 -06:00
d9a95c6189 Rebuild for flocq 4.2.1 Jerry James 2025-02-13 14:41:57 -07:00
d7672366f8 OCaml 5.2.1 rebuild for Fedora 41 f41 Jerry James 2025-01-29 15:01:28 -07:00
7ab80d8d3e Add patch for C23 compatibility Jerry James 2025-01-22 16:01:25 -07:00
3d1348dd56 Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild Fedora Release Engineering 2025-01-19 15:00:39 +00:00
d46d748db4 OCaml 5.3.0 rebuild for Fedora 42 Jerry James 2025-01-10 10:30:03 -07:00
98156958f8 Convert to %autorelease and %autochangelog Jerry James 2025-01-10 10:28:18 -07:00
6d90cb105c Fix the location of the icon Jerry James 2024-10-14 15:14:21 -06:00
88b9f2e9c7 Fix the location of the icon Jerry James 2024-10-14 15:14:21 -06:00
b798c9103b Rebuild for ocaml-re 1.13.3 Jerry James 2024-10-06 15:16:41 -06:00
acda593bf2 Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2 Jerry James 2024-08-05 11:24:06 -06:00
2daac66f57 Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild Fedora Release Engineering 2024-07-20 09:20:04 +00:00
664bbc3564 Rebuild for ocaml-zarith 1.14 Jerry James 2024-07-16 11:13:09 -06:00
b4ad7f2eed Rebuild for ocaml-ppx-sexp-conv 0.17.0 Jerry James 2024-07-03 16:58:56 -06:00
c6f7681992 OCaml 5.2.0 ppc64le fix Richard W.M. Jones 2024-06-19 19:28:35 +01:00
356eda9812 Rebuild for apron 0.9.15 Jerry James 2024-06-13 14:38:24 -06:00
0aeedb81c5 OCaml 5.2.0 for Fedora 41 Richard W.M. Jones 2024-05-30 10:30:35 +01:00
0e4b6bbc82 Version 1.7.2 f39 Jerry James 2024-04-18 12:18:03 -06:00
8000f2ad4a Version 1.7.2 f40 Jerry James 2024-04-18 09:47:00 -06:00
44636b4555 Use %{bash_completions_dir} macro Richard W.M. Jones 2024-03-25 11:19:18 +00:00
b04eb93322 Version 1.7.1 Jerry James 2024-02-02 16:41:48 -07:00
84cb61b8ea Build again because koji ran out of disk space Jerry James 2024-02-02 18:44:17 -07:00
8d5ff06bc5 Version 1.7.1 Jerry James 2024-02-02 16:41:48 -07:00
12c78c7f05 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild Fedora Release Engineering 2024-01-27 08:45:59 +00:00
98f35406b7 Version 1.7.0. Drop upstreamed coq patch. Jerry James 2024-01-02 19:28:19 -07:00
e86bfd3112 Version 1.7.0. Drop upstreamed coq patch. Jerry James 2024-01-02 12:34:03 -07:00
8d82ad63f7 OCaml 5.1.1 + s390x code gen fix for Fedora 40 Richard W.M. Jones 2023-12-18 19:26:12 +00:00
8b5401104d OCaml 5.1.1 rebuild for Fedora 40 Richard W.M. Jones 2023-12-12 19:17:54 +00:00
58ce267978 Rebuild for coq 8.17.1 f38 Jerry James 2023-10-18 10:08:29 -06:00
b3fca63993 OCaml 5.1 rebuild for Fedora 40 Richard W.M. Jones 2023-10-05 21:46:07 +01:00
c96ac3b16a Remove old obsoletes Jerry James 2023-10-04 23:18:14 -06:00
2c8af33924 Rebuild for ocaml-ocamlgraph 2.1.0 Jerry James 2023-09-10 08:54:03 -06:00
7e59df64f5 Require cvc5 instead of cvc4 Jerry James 2023-07-29 16:18:01 -06:00
dccd3f8ee9 Rebuild for ocaml-zarith 1.13 Jerry James 2023-07-27 11:18:08 -06:00
4fe98e6898 Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild Fedora Release Engineering 2023-07-22 18:11:57 +00:00
a981f9ce39 Validate metadata with appstream-util Jerry James 2023-07-18 13:20:04 -06:00
30c6100bdd Rebuild for mpfr 4.2.0 Jerry James 2023-07-12 20:44:11 -06:00
41d142576c Comment out duplicate ExclusiveArch Richard W.M. Jones 2023-07-12 19:24:22 +01:00
097e975311 Only build coq and friends on architectures with the native compiler Richard W.M. Jones 2023-07-12 17:10:06 +01:00
eb418d6e8b ExcludeArch i686 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/) Richard W.M. Jones 2023-07-11 11:36:26 +01:00
a3afebd1c0 Version 1.6.0 Jerry James 2023-07-10 22:53:10 -06:00
77a922c5b9 Rebuild for coq 8.17.0 Jerry James 2023-04-01 11:31:09 -06:00
4dfd264ff4 Rebuild OCaml packages for F38 Richard W.M. Jones 2023-01-24 19:34:17 +00:00
a12b108b95 Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild Fedora Release Engineering 2023-01-21 06:48:42 +00:00
1b9d0514eb BR tex(tgtermes.sty) to fix FTBFS with TeXLive 2022. Jerry James 2023-01-06 10:50:45 -07:00
207ba180d9 Rebuild for coq 8.16.1. f37 Jerry James 2022-11-26 18:45:19 -07:00
a621c52b11 Rebuild for ocaml-ppxlib 0.28.0. Jerry James 2022-11-01 13:35:44 -06:00
532167df2c Rebuild for coq 8.13.2-4. f35 Jerry James 2022-10-17 09:54:14 -06:00
edda0bbb44 Version 1.5.1. Jerry James 2022-09-16 15:00:13 -06:00
5a58b9a713 Rebuild to fix coq dependency. Convert License tag to SPDX. Jerry James 2022-08-18 14:30:48 -06:00
ff1ebeb110 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild Fedora Release Engineering 2022-07-23 12:24:35 +00:00
f14f97b40d Remove i686 support. Jerry James 2022-07-19 17:59:56 -06:00
2e53fbb730 Version 1.5.0. Jerry James 2022-07-07 15:37:13 -06:00
1c09f7fef3 Rebuild for coq 8.15.2. f36 Jerry James 2022-06-22 10:42:26 -06:00
204eb83925 OCaml 4.14.0 rebuild Richard W.M. Jones 2022-06-19 19:24:51 +01:00
a64a0ed5e9 Rebuild for coq 8.15.1. Jerry James 2022-03-25 11:55:10 -06:00
facae9f941 Version 1.4.1. Jerry James 2022-02-28 20:02:14 -07:00
7ef696872b OCaml 4.13.1 rebuild to remove package notes Richard W.M. Jones 2022-02-04 20:19:41 +00:00
40997707ae - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild Fedora Release Engineering 2022-01-22 04:27:35 +00:00
cd3b9cb534 Rebuild for menhir 20211230. Jerry James 2022-01-17 16:45:10 -07:00
a6b6dd4acf Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11. Jerry James 2021-12-30 19:03:54 -07:00
34f2a3d2bf Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128. Jerry James 2021-11-30 13:36:09 -07:00
2f315d1b60 Rebuild for coq 8.14.0 and menhir 20211012. Jerry James 2021-10-21 12:10:49 -06:00
2ba7144d9a OCaml 4.13.1 build Richard W.M. Jones 2021-10-05 15:24:49 +01:00
3e18f40b61 Try to build on s390x with OCaml 4.13 Richard W.M. Jones 2021-10-04 18:23:21 +01:00
3419d9b7ad Rebuild for rebuilt coq. Jerry James 2021-07-30 08:52:46 -06:00
cdffd5304b - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild Fedora Release Engineering 2021-07-23 20:56:09 +00:00
dd89886031 Version 1.4.0. f34 Jerry James 2021-07-14 18:36:00 -06:00
8fbcc2ddf4 Version 1.4.0. Jerry James 2021-07-14 18:36:00 -06:00
3a9e6768d8 Rebuild for ocaml-menhir 20210419. Jerry James 2021-06-12 15:39:50 -06:00
5af1d5643b Rebuild for ocaml-menhir 20210419. Jerry James 2021-06-12 15:39:50 -06:00
e15e762331 Rebuild for coq 8.13.1 and ocaml-zarith 1.12. Jerry James 2021-03-03 12:13:33 -07:00
fa27403bfb Rebuild for coq 8.13.1 and ocaml-zarith 1.12. Jerry James 2021-03-03 12:13:33 -07:00
9f20e5d4a1 OCaml 4.12.0 build Richard W.M. Jones 2021-03-02 11:18:13 +00:00