Commit Graph

19 Commits

Author SHA1 Message Date
Fedora Release Engineering
970da68553 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-07-28 12:19:56 +00:00
Fedora Release Engineering
f96a7ba584 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-01-29 19:47:15 +00:00
Richard W.M. Jones
3638fd4c00 Remove support for native profiling, see:
https://github.com/ocaml/ocaml/pull/2314
2019-12-06 14:12:59 +00:00
Fedora Release Engineering
72f07f9034 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-07-25 23:01:47 +00:00
Fedora Release Engineering
1a9d3da806 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-02-01 16:58:22 +00:00
Fedora Release Engineering
725547a408 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-07-13 14:48:54 +00:00
Fedora Release Engineering
13958e85a7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-02-08 08:58:58 +00:00
Richard W.M. Jones
1e9398b2e1 Bump and rebuild. 2017-08-08 12:58:36 +01:00
Richard W.M. Jones
cf050943c2 Add new macro ocaml_native_profiling. 2017-08-08 08:58:38 +01:00
Fedora Release Engineering
edc7de59c1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-27 01:31:40 +00:00
Fedora Release Engineering
21de03ba74 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-11 00:35:53 +00:00
Richard W.M. Jones
189b94b403 Add riscv64 as a native arch using out of tree backend. 2016-11-08 18:54:33 +00:00
Richard W.M. Jones
37a3249779 s390x is now a native architecture with OCaml 4.04 in Fedora >= 26. 2016-11-08 17:47:49 +00:00
Fedora Release Engineering
325f0a18c5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-04 11:10:53 +00:00
Dennis Gilmore
3ba186ca78 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-17 23:36:51 +00:00
Dennis Gilmore
8c271928ae - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-07 10:50:08 -05:00
Richard W.M. Jones
c8f37fabc6 Move macros to _rpmconfigdir (RHBZ#1093528). 2014-05-02 09:22:32 +01:00
Richard W.M. Jones
76b6b81058 New package. 2014-04-22 11:07:08 +01:00
Fedora Release Engineering
e4adb87be4 Initial setup of the repo 2014-04-17 10:04:58 +00:00