Commit Graph

24 Commits

Author SHA1 Message Date
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