Fedora Release Engineering
|
4e31f0f8bc
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2019-07-25 23:00:01 +00:00 |
|
Fedora Release Engineering
|
111d1f9b06
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2019-02-01 16:56:41 +00:00 |
|
Igor Gnatenko
|
c9d1707950
|
Remove obsolete Group tag
References: https://fedoraproject.org/wiki/Changes/Remove_Group_Tag
|
2019-01-28 20:24:23 +01:00 |
|
Fedora Release Engineering
|
ef17170bea
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2018-07-13 14:47:48 +00:00 |
|
Richard W.M. Jones
|
d5ca1ad131
|
OCaml 4.07.0 (final) rebuild.
|
2018-07-11 19:55:53 +01:00 |
|
Richard W.M. Jones
|
665e7c3224
|
OCaml 4.07.0-rc1 rebuild.
|
2018-06-20 21:42:08 +01:00 |
|
Andy Li
|
ded02ba38d
|
Rebuilt against ounit.
|
2018-05-14 10:22:05 +08:00 |
|
Fedora Release Engineering
|
979200da9f
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2018-02-08 08:57:20 +00:00 |
|
Andy Li
|
9b31451972
|
Use plain jbuilder command instead of make.
|
2018-02-05 12:01:54 +08:00 |
|
Andy Li
|
e5ad8c0dce
|
New upstream release. (RHBZ#1541681)
Also, enable debug package.
|
2018-02-05 11:54:44 +08:00 |
|
Richard W.M. Jones
|
90ea900a92
|
OCaml 4.06.0 rebuild.
|
2017-12-02 11:07:59 +00:00 |
|
Andy Li
|
cfa48cd31c
|
initial import (#1515080)
|
2017-11-21 14:29:12 +08:00 |
|
Gwyn Ciesla
|
dc88a33b3e
|
Added the README
|
2017-11-21 02:24:19 +00:00 |
|