Commit Graph

40 Commits

Author SHA1 Message Date
Fedora Release Engineering 217a2f865f - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-07-13 14:49:07 +00:00
Richard W.M. Jones 76ac5c961c OCaml 4.07.0 (final) rebuild. 2018-07-11 20:02:56 +01:00
Richard W.M. Jones 2eed69c543 OCaml 4.07.0-rc1 rebuild. 2018-06-20 21:47:10 +01:00
Fedora Release Engineering 5158c72e11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-02-08 08:59:38 +00:00
Jerry James a4b8f7c376 Build with the PIC version of libasmrun. Fix the mlgmpidl interface. 2017-12-03 21:26:00 -07:00
Richard W.M. Jones 4135bf0b9f Add BR ocaml-num, now a separate subpackage. 2017-11-22 22:24:23 +00:00
Richard W.M. Jones 1601506283 OCaml 4.06.0 rebuild. 2017-11-18 00:46:40 +00:00
Richard W.M. Jones 5754240751 OCaml 4.05.0 rebuild. 2017-08-09 11:07:27 +01:00
Fedora Release Engineering 238f8ea0cf - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-03 04:20:01 +00:00
Fedora Release Engineering 691363983b - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-27 01:31:53 +00:00
Richard W.M. Jones b65521451f OCaml 4.04.2 rebuild. 2017-06-27 13:52:04 +01:00
Richard W.M. Jones f76e530dea OCaml 4.04.1 rebuild. 2017-05-13 13:19:50 +01:00
Fedora Release Engineering 2931e7e39c - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-11 00:36:06 +00:00
Dan Horák 41a5c0972b - rebuild for s390x codegen bug 2016-11-09 19:01:14 +01:00
Richard W.M. Jones 6fff29c77b - Add explicit dependency on ocamlbuild. 2016-11-07 21:44:04 +00:00
Richard W.M. Jones bae746afbc Rebuild for OCaml 4.04.0. 2016-11-07 21:39:05 +00:00
Fedora Release Engineering 2232a0838e - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-04 11:11:07 +00:00
Jerry James 9b43a55b6a Rebuild for ocaml-zarith 1.4.1. 2015-11-25 19:42:59 -07:00
Richard W.M. Jones 91e47ebf88 OCaml 4.02.3 rebuild. 2015-07-29 00:18:34 +01:00
Richard W.M. Jones ac527d5e94 ocaml-4.02.2 final rebuild. 2015-06-25 00:33:34 +01:00
Richard W.M. Jones 8d561a633d ocaml-4.02.2 rebuild. 2015-06-18 15:55:54 +01:00
Dennis Gilmore 79ac593815 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-17 23:37:00 +00:00
Richard W.M. Jones e62854dd77 ocaml-4.02.1 rebuild. 2015-02-18 19:42:38 +00:00
Jerry James cdafd48220 Rebuild for ocaml-zarith 1.3. 2014-10-14 10:32:18 -06:00
Jerry James 732a5dd081 Add -ocamlbuild patch to fix build with ocaml 4.02.0.
Fix license handling.
2014-09-19 15:16:15 -06:00
Richard W.M. Jones a4de5b755b Bump release and rebuild. 2014-08-24 14:55:44 +01:00
Richard W.M. Jones 010c3b4d29 ocaml-4.02.0+rc1 rebuild. 2014-08-24 00:24:50 +01:00
Peter Robinson 6361985181 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-17 13:09:55 +00:00
Richard W.M. Jones c0d04fdb91 ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. 2014-08-02 19:05:31 +01:00
Richard W.M. Jones 147d497172 OCaml 4.02.0 beta rebuild. 2014-07-25 12:19:31 +01:00
Dennis Gilmore 563bbd8768 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-07 10:51:31 -05:00
Jerry James 1a936a09d1 Remove ocaml_arches macro (bz 1087794).
Drop unnecessary gmp-devel BR.
2014-04-18 14:12:49 -06:00
Jerry James b26641681b Rebuild for OCaml 4.01.0.
Enable debuginfo.
2013-09-16 11:59:29 -06:00
Dennis Gilmore 4230ef03ac - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild 2013-08-03 10:04:21 -05:00
Jerry James 9962dca8ca Rebuild for ocaml-zarith 1.2.1. 2013-06-21 10:31:11 -06:00
Jerry James c958f8b3c0 Rebuild for ocaml-zarith 1.2. 2013-05-23 09:44:57 -06:00
Jerry James 06e1a41b86 New upstream release.
Upstream dropped MLGMPIDL support in favor of MLGMP, which we don't ship.
2013-02-19 14:41:53 -07:00
Dennis Gilmore a852dd0d46 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild 2013-02-14 03:04:42 -06:00
Jerry James aa3ce73a33 Initial import. 2013-01-17 08:14:32 -07:00
Fedora Release Engineering 75e45d9bc2 Initial setup of the repo 2013-01-17 12:02:55 +00:00