git.annexia.org / fedora-ocaml-rebuild.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Instead of using ignored list for camlp4 packages, remove the sources.
2020-01-18 Richard W.M. JonesInstead of using ignored list for camlp4 packages,...
commit | commitdiff | tree
2020-01-18 Richard W.M. JonesAdjust to use new fedora.gl library in goals stdlib.
 commit | commitdiff | tree
2020-01-18 Richard W.M. JonesPrepare for OCaml 4.10.0 beta 1 rebuild.
 commit | commitdiff | tree
2020-01-18 Richard W.M. JonesRename *built-in-koji -> *koji-built.
 commit | commitdiff | tree
2020-01-10 Richard W.M. JonesRevert "Ignore some packages which failed to build...
commit | commitdiff | tree
2020-01-10 Richard W.M. JonesIgnore some packages which failed to build on riscv64.
 commit | commitdiff | tree
2020-01-10 Richard W.M. JonesUse new wrap() function.
 commit | commitdiff | tree
2020-01-08 Richard W.M. JonesDo a git pull before bumping local version.
 commit | commitdiff | tree
2020-01-08 Richard W.M. JonesReduce verbosity of source-dependencies.
 commit | commitdiff | tree
2020-01-08 Richard W.M. JonesList blocked packages explicitly for now.
 commit | commitdiff | tree
2020-01-08 Richard W.M. JonesIgnore certain optional commands failing.
 commit | commitdiff | tree
2020-01-07 Richard W.M. JonesFix koji wait-repo so it adds --build option.
 commit | commitdiff | tree
2020-01-07 Richard W.M. JonesFix fedpkg build so it uses --target option.
 commit | commitdiff | tree
2020-01-07 Richard W.M. JonesFix koji wait-repo command.
 commit | commitdiff | tree
2020-01-07 Richard W.M. JonesFix for koji buildinfo.
 commit | commitdiff | tree
2020-01-07 Richard W.M. JonesAllow fedpkg to be overridden, for building into different...
commit | commitdiff | tree
2020-01-07 Richard W.M. JonesFix quoting of %koji.
 commit | commitdiff | tree
2020-01-07 Richard W.M. JonesBuild OCaml into riscv64 side tag.
 commit | commitdiff | tree
2020-01-07 Richard W.M. JonesUse koji build directly instead of fedpkg build.
 commit | commitdiff | tree
2020-01-07 Richard W.M. JonesWait for dependencies to appear in the repo before...
commit | commitdiff | tree
2020-01-07 Richard W.M. JonesAllow koji to be changed.
 commit | commitdiff | tree
2020-01-07 Richard W.M. JonesRemove unused yum-repo variable.
 commit | commitdiff | tree
2020-01-07 Richard W.M. JonesInitial commit.
 commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.