Drop opam - FTBFS.
[fedora-ocaml-rebuild.git] / Goalfile
2020-02-27 Richard W.M. JonesDrop opam - FTBFS.
2020-02-26 Richard W.M. JonesDisable plplot, still FTBFS.
2020-02-26 Richard W.M. JonesRemove nbdkit, built by hand.
2020-02-26 Richard W.M. JonesRemove now unused definitions of %koji and %fedpkg.
2020-02-25 Richard W.M. JonesAnother tactic -> predicate replacement.
2020-02-25 Richard W.M. JonesGet ready for OCaml 4.10.0 final rebuild.
2020-02-25 Richard W.M. JonesRe-enable opam.
2020-02-25 Richard W.M. JonesRe-enable z3.
2020-02-25 Richard W.M. JonesRe-enable plplot.
2020-02-25 Richard W.M. JonesRe-enable nbdkit.
2020-02-25 Richard W.M. JonesRe-enable ocaml-lwt + dependent packages.
2020-02-25 Richard W.M. JonesReenable ocaml-base + dependent packages.
2020-01-19 Richard W.M. JonesAdd ocaml-base deps, and oaml-lwt + deps.
2020-01-19 Richard W.M. JonesIgnore ocaml-base and opam, both FTBFS with OCaml 4.10.
2020-01-19 Richard W.M. JonesCoq not in fact fixes, disable + deps again.
2020-01-19 Richard W.M. JonesEnable coq again, disable z3 and coccinelle.
2020-01-19 Richard W.M. JonesBlock coq + deps, and plplot.
2020-01-18 Richard W.M. JonesDisable nbdkit for now - see comment.
2020-01-18 Richard W.M. JonesInstead of using ignored list for camlp4 packages,...
2020-01-18 Richard W.M. JonesAdjust to use new fedora.gl library in goals stdlib.
2020-01-18 Richard W.M. JonesPrepare for OCaml 4.10.0 beta 1 rebuild.
2020-01-18 Richard W.M. JonesRename *built-in-koji -> *koji-built.
2020-01-10 Richard W.M. JonesRevert "Ignore some packages which failed to build...
2020-01-10 Richard W.M. JonesIgnore some packages which failed to build on riscv64.
2020-01-10 Richard W.M. JonesUse new wrap() function.
2020-01-08 Richard W.M. JonesDo a git pull before bumping local version.
2020-01-08 Richard W.M. JonesReduce verbosity of source-dependencies.
2020-01-08 Richard W.M. JonesList blocked packages explicitly for now.
2020-01-08 Richard W.M. JonesIgnore certain optional commands failing.
2020-01-07 Richard W.M. JonesFix koji wait-repo so it adds --build option.
2020-01-07 Richard W.M. JonesFix fedpkg build so it uses --target option.
2020-01-07 Richard W.M. JonesFix koji wait-repo command.
2020-01-07 Richard W.M. JonesFix for koji buildinfo.
2020-01-07 Richard W.M. JonesAllow fedpkg to be overridden, for building into differ...
2020-01-07 Richard W.M. JonesFix quoting of %koji.
2020-01-07 Richard W.M. JonesBuild OCaml into riscv64 side tag.
2020-01-07 Richard W.M. JonesUse koji build directly instead of fedpkg build.
2020-01-07 Richard W.M. JonesWait for dependencies to appear in the repo before...
2020-01-07 Richard W.M. JonesAllow koji to be changed.
2020-01-07 Richard W.M. JonesRemove unused yum-repo variable.
2020-01-07 Richard W.M. JonesInitial commit.