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 |
|
Gwyn Ciesla
|
d8fc35de44
|
Added the README
|
2018-01-16 12:40:46 +00:00 |
|