Richard W.M. Jones
|
6cb9ab237d
|
OCaml 4.11.0 rebuild
|
2020-08-21 20:16:56 +01:00 |
|
Fedora Release Engineering
|
f66b08363b
|
- 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:44:11 +00:00 |
|
Fedora Release Engineering
|
5849a905be
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2020-07-28 12:19:04 +00:00 |
|
Richard W.M. Jones
|
4e30b5ac73
|
OCaml 4.11.0+dev2-2020-04-22 rebuild
|
2020-05-05 19:28:56 +01:00 |
|
Richard W.M. Jones
|
6ea6f83b3d
|
OCaml 4.11.0 pre-release attempt 2
|
2020-04-22 16:11:42 +01:00 |
|
Richard W.M. Jones
|
97cc6484d7
|
Update all OCaml dependencies for RPM 4.16.
|
2020-04-05 01:21:40 +01:00 |
|
Richard W.M. Jones
|
75acac8940
|
OCaml 4.10.0 final.
|
2020-02-26 21:18:48 +00:00 |
|
Fedora Release Engineering
|
4b16fe26fb
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2020-01-29 19:46:03 +00:00 |
|
Andy Li
|
cb17faa106
|
Rebuild against latest ocaml package. Remove unneeded BuildRequires on opam-installer.
|
2020-01-01 05:07:53 +08:00 |
|
Andy Li
|
fd84d1e52c
|
Remove dependency on uchar.
|
2019-11-08 15:41:29 +08:00 |
|
Andy Li
|
6b0115b8c2
|
update to 2.1
|
2019-10-30 15:28:22 +08:00 |
|
Andy Li
|
23cfead6dc
|
Add ppx_tools_versioned.diff, fix build.
|
2019-08-06 21:58:55 +08:00 |
|
Fedora Release Engineering
|
1e9a808369
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2019-07-25 23:01:07 +00:00 |
|
Andy Li
|
526dec8857
|
Do not build in parallel since the Makefile does not support it.
|
2019-02-14 13:12:26 +08:00 |
|
Fedora Release Engineering
|
b6b8e1bd17
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2019-02-01 16:57:46 +00:00 |
|
Igor Gnatenko
|
a2dae5e953
|
Remove obsolete Group tag
References: https://fedoraproject.org/wiki/Changes/Remove_Group_Tag
|
2019-01-28 20:24:23 +01:00 |
|
Fedora Release Engineering
|
ac45a3a80f
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2018-07-13 14:48:30 +00:00 |
|
Fedora Release Engineering
|
1a21f78c2b
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2018-02-08 08:58:21 +00:00 |
|
Andy Li
|
b93730c489
|
initial import (#1533731)
|
2018-01-17 09:34:59 +08:00 |
|