Move fedora and ELN packages to separate included source files
[fedora-ocaml-rebuild.git] / Goalfile
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.