Richard W.M. Jones
|
e14f625808
|
Miscellaneous build system updates.
|
2019-08-01 23:26:14 +01:00 |
|
Richard W.M. Jones
|
6d5551e15f
|
Bump release and rebuild.
|
2019-08-01 23:02:19 +01:00 |
|
Richard W.M. Jones
|
0b53600cb6
|
OCaml 4.08.1 (rc2) rebuild.
|
2019-08-01 22:57:19 +01:00 |
|
Fedora Release Engineering
|
03e65b632e
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2019-07-25 22:52:56 +00:00 |
|
Fedora Release Engineering
|
85c26a2813
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2019-02-01 16:50:15 +00:00 |
|
Igor Gnatenko
|
1accd4f856
|
Remove obsolete Group tag
References: https://fedoraproject.org/wiki/Changes/Remove_Group_Tag
|
2019-01-28 20:24:23 +01:00 |
|
Fedora Release Engineering
|
eb19ba1732
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2018-07-13 14:43:36 +00:00 |
|
Richard W.M. Jones
|
257aebdd55
|
OCaml 4.07.0 (final) rebuild.
|
2018-07-11 19:13:41 +01:00 |
|
Richard W.M. Jones
|
2b709d8bfa
|
OCaml 4.07.0-rc1 rebuild.
|
2018-06-20 20:31:22 +01:00 |
|
Fedora Release Engineering
|
bf086c3db2
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2018-02-08 08:50:27 +00:00 |
|
Andy Li
|
d0b54c8450
|
New upstream version 0.5.1. (RHBZ#1541679)
Also, enable debug package.
|
2018-02-05 12:26:37 +08:00 |
|
Richard W.M. Jones
|
68e6d85211
|
OCaml 4.06.0 rebuild.
|
2017-12-02 11:03:40 +00:00 |
|
Andy Li
|
6593e90a7a
|
New upstream version 0.5.
|
2017-11-17 10:54:00 +08:00 |
|
Andy Li
|
352e522df4
|
initial import (#1468939)
|
2017-10-12 09:52:51 +08:00 |
|
Gwyn Ciesla
|
ae0e68e946
|
Added the README
|
2017-10-11 12:49:56 +00:00 |
|