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 |
|