Jerry James
3585e93217
Spec file cleanup.
...
- Add -emacs patch to adapt to Emacs 27.1.
- Build documentation with odoc.
- Fix non-Unicode man page.
- Generate autoloads for the Emacs interface.
- Byte compile the Emacs interface.
2021-02-23 12:07:54 -07:00
Jerry James
3fe10ae709
Rebuild for changed dynlink dependency.
2021-02-21 10:25:00 -07:00
Fedora Release Engineering
56397441a1
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
...
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2021-01-26 22:02:22 +00: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
