| 2020-09-03 |
Richard W.M. Jones | F33 rebuild.
|
commit | commitdiff | tree |
| 2020-09-01 |
Richard W.M. Jones | Include separate Coq packages list in the main list.
|
commit | commitdiff | tree |
| 2020-09-01 |
Richard W.M. Jones | OCaml 4.11.1 rebuild.
|
commit | commitdiff | tree |
| 2020-09-01 |
Richard W.M. Jones | Add prooftree.
|
commit | commitdiff | tree |
| 2020-08-24 |
Richard W.M. Jones | Enable cairo and ssl again since dune bug fixed.
|
commit | commitdiff | tree |
| 2020-08-21 |
Richard W.M. Jones | Disable ocaml-cairo and ocaml-ssl for now.
|
commit | commitdiff | tree |
| 2020-08-21 |
Richard W.M. Jones | Add all OCaml packages explicitly, get ready for OCaml...
|
commit | commitdiff | tree |
| 2020-05-05 |
Richard W.M. Jones | Reenable plplot.
|
commit | commitdiff | tree |
| 2020-05-05 |
Richard W.M. Jones | Revert "Disable graphviz."
|
commit | commitdiff | tree |
| 2020-05-05 |
Richard W.M. Jones | Disable graphviz.
|
commit | commitdiff | tree |
| 2020-05-04 |
Richard W.M. Jones | New build of OCaml 4.11.0+dev2-2020-04-22.
|
commit | commitdiff | tree |
| 2020-04-22 |
Richard W.M. Jones | Disable Coq, libguestfs, virt-v2v.
|
commit | commitdiff | tree |
| 2020-04-21 |
Richard W.M. Jones | 4.11.0 pre release build attempt 2
|
commit | commitdiff | tree |
| 2020-04-19 |
Richard W.M. Jones | Add full README describing how this works.
|
commit | commitdiff | tree |
| 2020-04-18 |
Richard W.M. Jones | Disable ocaml-topkg.
|
commit | commitdiff | tree |
| 2020-04-17 |
Richard W.M. Jones | No camlp5 yet, and perl4caml fails to build.
|
commit | commitdiff | tree |
| 2020-04-17 |
Richard W.M. Jones | Add laby, build now fixed.
|
commit | commitdiff | tree |
| 2020-04-17 |
Richard W.M. Jones | Set up for build of OCaml 4.11.0 prerelease in a side...
|
commit | commitdiff | tree |
| 2020-04-17 |
Richard W.M. Jones | Add utop.
|
commit | commitdiff | tree |
| 2020-04-06 |
Richard W.M. Jones | Re-add gappalib-coq.
|
commit | commitdiff | tree |
| 2020-04-03 |
Richard W.M. Jones | Ignore laby which FTBFS
|
commit | commitdiff | tree |
| 2020-04-02 |
Richard W.M. Jones | Update all OCaml dependencies for RPM 4.16.
|
commit | commitdiff | tree |
| 2020-03-28 |
Richard W.M. Jones | Add more OCaml packages.
|
commit | commitdiff | tree |
| 2020-02-28 |
Richard W.M. Jones | Get ready for F32 build into side tag.
|
commit | commitdiff | tree |
| 2020-02-27 |
Richard W.M. Jones | Drop opam - FTBFS.
|
commit | commitdiff | tree |
| 2020-02-26 |
Richard W.M. Jones | Disable plplot, still FTBFS.
|
commit | commitdiff | tree |
| 2020-02-26 |
Richard W.M. Jones | Remove nbdkit, built by hand.
|
commit | commitdiff | tree |
| 2020-02-26 |
Richard W.M. Jones | Remove now unused definitions of %koji and %fedpkg.
|
commit | commitdiff | tree |
| 2020-02-25 |
Richard W.M. Jones | Another tactic -> predicate replacement.
|
commit | commitdiff | tree |
| 2020-02-25 |
Richard W.M. Jones | Get ready for OCaml 4.10.0 final rebuild.
|
commit | commitdiff | tree |
| 2020-02-25 |
Richard W.M. Jones | Re-enable opam.
|
commit | commitdiff | tree |
| 2020-02-25 |
Richard W.M. Jones | Re-enable z3.
|
commit | commitdiff | tree |
| 2020-02-25 |
Richard W.M. Jones | Re-enable plplot.
|
commit | commitdiff | tree |
| 2020-02-25 |
Richard W.M. Jones | Re-enable nbdkit.
|
commit | commitdiff | tree |
| 2020-02-25 |
Richard W.M. Jones | Re-enable ocaml-lwt + dependent packages.
|
commit | commitdiff | tree |
| 2020-02-25 |
Richard W.M. Jones | Reenable ocaml-base + dependent packages.
|
commit | commitdiff | tree |
| 2020-01-19 |
Richard W.M. Jones | Add ocaml-base deps, and oaml-lwt + deps.
|
commit | commitdiff | tree |
| 2020-01-19 |
Richard W.M. Jones | Ignore ocaml-base and opam, both FTBFS with OCaml 4.10.
|
commit | commitdiff | tree |
| 2020-01-19 |
Richard W.M. Jones | Coq not in fact fixes, disable + deps again.
|
commit | commitdiff | tree |
| 2020-01-19 |
Richard W.M. Jones | Enable coq again, disable z3 and coccinelle.
|
commit | commitdiff | tree |
| 2020-01-19 |
Richard W.M. Jones | Block coq + deps, and plplot.
|
commit | commitdiff | tree |
| 2020-01-18 |
Richard W.M. Jones | Disable nbdkit for now - see comment.
|
commit | commitdiff | tree |
| 2020-01-18 |
Richard W.M. Jones | Instead of using ignored list for camlp4 packages,...
|
commit | commitdiff | tree |
| 2020-01-18 |
Richard W.M. Jones | Adjust to use new fedora.gl library in goals stdlib.
|
commit | commitdiff | tree |
| 2020-01-18 |
Richard W.M. Jones | Prepare for OCaml 4.10.0 beta 1 rebuild.
|
commit | commitdiff | tree |
| 2020-01-18 |
Richard W.M. Jones | Rename *built-in-koji -> *koji-built.
|
commit | commitdiff | tree |
| 2020-01-10 |
Richard W.M. Jones | Revert "Ignore some packages which failed to build...
|
commit | commitdiff | tree |
| 2020-01-10 |
Richard W.M. Jones | Ignore some packages which failed to build on riscv64.
|
commit | commitdiff | tree |
| 2020-01-10 |
Richard W.M. Jones | Use new wrap() function.
|
commit | commitdiff | tree |
| 2020-01-08 |
Richard W.M. Jones | Do a git pull before bumping local version.
|
commit | commitdiff | tree |
| 2020-01-08 |
Richard W.M. Jones | Reduce verbosity of source-dependencies.
|
commit | commitdiff | tree |
| 2020-01-08 |
Richard W.M. Jones | List blocked packages explicitly for now.
|
commit | commitdiff | tree |
| 2020-01-08 |
Richard W.M. Jones | Ignore certain optional commands failing.
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Fix koji wait-repo so it adds --build option.
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Fix fedpkg build so it uses --target option.
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Fix koji wait-repo command.
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Fix for koji buildinfo.
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Allow fedpkg to be overridden, for building into different...
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Fix quoting of %koji.
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Build OCaml into riscv64 side tag.
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Use koji build directly instead of fedpkg build.
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Wait for dependencies to appear in the repo before...
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Allow koji to be changed.
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Remove unused yum-repo variable.
|
commit | commitdiff | tree |
| 2020-01-07 |
Richard W.M. Jones | Initial commit.
|
commit | commitdiff | tree |
|
git.annexia.org / fedora-ocaml-rebuild.git / search