 David Abdurachmanov
|
62b92b7296
|
Bump Release
Signed-off-by: David Abdurachmanov <david.abdurachmanov@sifive.com>
|
2021-04-25 10:24:42 +03:00 |
Richard W.M. Jones
|
22e03668ab
|
Bump release and rebuild.
|
2020-09-02 21:34:54 +01:00 |
|
Richard W.M. Jones
|
ae4ff4d737
|
OCaml 4.11.1 rebuild
|
2020-09-01 20:48:53 +01:00 |
|
Richard W.M. Jones
|
6791246c05
|
OCaml 4.11.0 rebuild
|
2020-08-21 12:45:50 +01:00 |
Robin Lee
|
f3180e11af
|
Update to 1.8.2
|
2020-08-10 09:13:25 +08:00 |
Fedora Release Engineering
|
645e76a9d8
|
- 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:40:11 +00:00 |
|
Fedora Release Engineering
|
e46db14178
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2020-07-28 12:14:28 +00:00 |
|
Richard W.M. Jones
|
aea2b1545b
|
OCaml 4.11.0+dev2-2020-04-22 rebuild
|
2020-05-05 10:58:52 +01:00 |
|
Richard W.M. Jones
|
9242f8cb63
|
OCaml 4.11.0 pre-release attempt 2
|
2020-04-21 19:33:41 +01:00 |
|
Richard W.M. Jones
|
7f4b528488
|
Update all OCaml dependencies for RPM 4.16.
|
2020-04-03 13:38:18 +01:00 |
|
Richard W.M. Jones
|
029de0154f
|
OCaml 4.10.0 final.
|
2020-02-26 16:40:18 +00:00 |
|
Fedora Release Engineering
|
b200ca3737
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2020-01-29 19:40:56 +00:00 |
|
Richard W.M. Jones
|
9cc2e4ba36
|
- Use dune install --destdir option.
|
2020-01-19 21:06:20 +00:00 |
|
Richard W.M. Jones
|
7f759c0f36
|
OCaml 4.10.0+beta1 rebuild.
|
2020-01-19 20:04:16 +00:00 |
|
Richard W.M. Jones
|
dbf51e959d
|
OCaml 4.09.0 (final) rebuild.
|
2019-12-06 15:51:45 +00:00 |
|
Richard W.M. Jones
|
aa0d8779d3
|
Bump release and rebuild.
|
2019-09-18 09:45:34 +01:00 |
|
Fedora Release Engineering
|
fc6c0313c0
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2019-07-25 22:57:20 +00:00 |
|
Robin Lee
|
d816aa6266
|
Initial import
|
2019-04-07 17:10:32 +08:00 |
Igor Gnatenko
|
57c1645ceb
|
Added the README
|
2019-04-07 09:02:05 +00:00 |