Commit Graph

107 Commits

Author SHA1 Message Date
Jerry James
e9c2359b13 Rebuild for coq 8.13.1. 2021-03-03 15:09:53 -07:00
Richard W.M. Jones
69ac2d4c20 OCaml 4.12.0 build 2021-03-02 11:03:47 +00:00
Jerry James
eec8b4195c Version 20201216.
- Some applications of menhir require menhirLib.ml, so install it.
2021-02-24 13:50:58 -07:00
Fedora Release Engineering
62179a4570 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2021-01-26 22:00:12 +00:00
Jerry James
d2c9d1b88c Rebuild for coq 8.12.2. 2020-12-23 20:02:43 -07:00
Jerry James
5910065a12 Coq is currently unavailable on s390x. 2020-12-02 16:19:48 -07:00
Jerry James
0264a9c4a9 Version 20201201. 2020-12-02 16:08:48 -07:00
Jerry James
2bf3d17974 Explicitly BR make. 2020-11-09 16:46:24 -07:00
Richard W.M. Jones
5349ca0ce7 OCaml 4.11.1 rebuild 2020-09-01 23:56:08 +01:00
Richard W.M. Jones
7fe058a0a4 OCaml 4.11.0 rebuild 2020-08-21 19:43:33 +01:00
Jerry James
e635816345 Bootstrap build without coq support. 2020-08-06 08:58:57 -06:00
Jerry James
a7e9e74f04 Version 20200624. 2020-08-06 08:50:47 -06:00
Fedora Release Engineering
10c055b9c7 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-08-01 06:38:56 +00:00
Fedora Release Engineering
c89227cd0e - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-07-28 12:12:13 +00:00
Jerry James
edcc2b3e62 Version 20200612. 2020-06-15 14:39:01 -06:00
Jerry James
43d17c1540 Rebuild for coq 8.11.1. 2020-05-20 10:25:25 -06:00
Richard W.M. Jones
713f57c5ec OCaml 4.11.0+dev2-2020-04-22 rebuild 2020-05-05 15:51:45 +01:00
Richard W.M. Jones
13ab35ba5d OCaml 4.11.0 pre-release attempt 2 2020-04-22 15:18:54 +01:00
Richard W.M. Jones
f4df7df5d8 Disable Coq for OCaml bootstrap. 2020-04-17 18:33:15 +01:00
Richard W.M. Jones
059fdf00b4 Re-enable Coq bindings after OCaml bootstrap. 2020-04-05 11:09:27 +01:00
Richard W.M. Jones
886e232d94 Fix without coq case. 2020-04-02 14:18:45 +01:00
Richard W.M. Jones
d274564657 Disable coq (circular dep) while rebuilding all OCaml. 2020-04-02 14:12:07 +01:00
Richard W.M. Jones
cdd002da17 Update all OCaml dependencies for RPM 4.16. 2020-04-02 14:05:59 +01:00
Jerry James
7b0bed3cda Version 20200211.
Dune is now used to build the package.
Split the build-time and runtime parts into separate packages.
2020-03-25 12:59:19 -06:00
Richard W.M. Jones
aa6456c446 Disable Coq for 4.10.0 build. 2020-02-26 11:25:40 +00:00
Richard W.M. Jones
cc773e9127 OCaml 4.10.0 final. 2020-02-26 10:56:30 +00:00
Fedora Release Engineering
87ef8005d6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-01-29 19:38:32 +00:00
Jerry James
d562401933 Reenable coq support.
Add coq-menhirlib subpackage, without which coq support is rather pointless.
2020-01-22 09:24:15 -07:00
Jerry James
3b6c1d9171 Use find -delete for brevity and safety. 2020-01-21 19:45:36 -07:00
Richard W.M. Jones
4b910a31a7 OCaml 4.10.0+beta1 rebuild. 2020-01-19 13:32:42 +00:00
Richard W.M. Jones
75a5f25c7d Bump release. 2020-01-19 13:20:48 +00:00
Richard W.M. Jones
428110e6fc Disable coq for now.
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/
2020-01-19 13:19:53 +00:00
Richard W.M. Jones
a3209d48b4 Bump release and rebuild. 2019-12-06 09:10:27 +00:00
Richard W.M. Jones
0c08ced7e7 Bump release and rebuild. 2019-12-05 22:40:39 +00:00
Richard W.M. Jones
1acca65787 OCaml 4.09.0 (final) rebuild. 2019-12-05 20:10:09 +00:00
Jerry James
049c4053a7 New upstream version. BR coq to get coq_makefile. 2019-09-24 10:00:24 -06:00
Richard W.M. Jones
676b21d999 OCaml 4.08.1 (final) rebuild. 2019-08-16 11:03:36 +01:00
Richard W.M. Jones
87ba789914 OCaml 4.08.1 (rc2) rebuild. 2019-07-31 13:16:48 +01:00
Fedora Release Engineering
563f2cc3b1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-07-25 22:55:15 +00:00
Jerry James
3e877d7d06 New upstream version. 2019-07-13 11:21:57 -06:00
Richard W.M. Jones
11a3f75f88 OCaml 4.08.0 (final) rebuild. 2019-06-27 18:57:59 +01:00
Jerry James
dd89bda373 New upstream version. 2019-06-26 21:22:11 -06:00
Jerry James
69d7691402 New upstream version. 2019-06-18 20:33:57 -06:00
Richard W.M. Jones
7576fd2b90 OCaml 4.08.0 (beta 3) rebuild. 2019-04-29 19:23:43 +01:00
Jerry James
fdedf8bfa8 Add missing R on ocamlfind (bz 1692434). 2019-03-26 20:29:33 -06:00
Fedora Release Engineering
15e27eecca - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-02-01 16:52:26 +00:00
Jerry James
1b87cbf192 New upstream version. New source URL. 2018-11-14 18:48:44 -07:00
Jerry James
a5dd16fae4 New upstream version. Ship libraries in the main package. 2018-10-22 21:01:54 -06:00
Jerry James
f87119f415 New upstream version. 2018-09-27 21:03:01 -06:00
Fedora Release Engineering
8d5d43010d - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-07-13 14:44:58 +00:00