Richard W.M. Jones
|
401aabeea7
|
OCaml 4.09.0 (final) rebuild.
|
2019-12-06 11:53:39 +00:00 |
|
Richard W.M. Jones
|
a1d73a2da4
|
OCaml 4.08.1 (final) rebuild.
|
2019-08-16 11:29:11 +01:00 |
|
Richard W.M. Jones
|
549469ed2f
|
Work around nodynlink issue on armv7.
https://github.com/ocaml/dune/issues/2527
|
2019-08-09 10:38:35 +01:00 |
|
Richard W.M. Jones
|
8868602918
|
Revert "Disable armv7 temporarily."
This reverts commit b3bad1d821.
|
2019-08-09 08:57:04 +01:00 |
|
Richard W.M. Jones
|
b3bad1d821
|
Disable armv7 temporarily.
See https://github.com/ocaml/dune/issues/2527
|
2019-08-08 17:38:36 +01:00 |
|
Richard W.M. Jones
|
5b72f4d47a
|
New version 1.11.0 (also required for camomile 1.0.2).
|
2019-08-08 16:21:06 +01:00 |
|
Ben Rosser
|
e1c4ce182d
|
Add new development subpackage. Install all compiled dune libraries.
|
2019-08-06 14:33:41 -04:00 |
|
Richard W.M. Jones
|
f1b8e426d5
|
OCaml 4.08.1 (rc2) rebuild.
|
2019-07-31 17:23:35 +01:00 |
|
Fedora Release Engineering
|
39473a4e59
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
|
2019-07-25 22:51:47 +00:00 |
|
Richard W.M. Jones
|
c1ebc8d06d
|
OCaml 4.08.0 (final) rebuild.
|
2019-06-27 19:25:05 +01:00 |
|
Andy Li
|
391b15504a
|
Updated to latest upstream release (#1715394).
|
2019-06-16 01:47:57 +08:00 |
|
Andy Li
|
d1b193a3a8
|
add source
|
2019-05-16 16:55:03 +08:00 |
|
Andy Li
|
904f3c9fac
|
Updated to latest upstream release (#1705660).
|
2019-05-16 16:52:17 +08:00 |
|
Richard W.M. Jones
|
1f11cd451a
|
OCaml 4.08.0 (beta 3) rebuild.
|
2019-04-30 09:06:25 +01:00 |
|
Andy Li
|
0afa631907
|
update to 1.9.1
|
2019-04-11 18:43:28 +08:00 |
|
Andy Li
|
6a5a36b0b3
|
Update to 1.9.0.
|
2019-04-10 11:57:51 +08:00 |
|
Andy Li
|
c73c65fa07
|
Add missing dependency on sphinx_rtd_theme.
|
2019-03-13 03:44:03 +08:00 |
|
Andy Li
|
a1a02d530f
|
Updated to latest upstream release (#1686836).
|
2019-03-13 02:37:43 +08:00 |
|
Andy Li
|
b2bdbf6204
|
Updated to latest upstream release (#1686466).
|
2019-03-08 11:35:20 +08:00 |
|
Andy Li
|
dc7b2e57aa
|
Initial import.
|
2019-03-05 09:52:44 +08:00 |
|
Gwyn Ciesla
|
9d198a2403
|
Added the README
|
2019-03-04 14:52:08 +00:00 |
|