git.annexia.org / fedora-ocaml-rebuild.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add utop.
2020-04-17 Richard W.M. JonesAdd utop.
 commit | commitdiff | tree
2020-04-06 Richard W.M. JonesRe-add gappalib-coq.
 commit | commitdiff | tree
2020-04-03 Richard W.M. JonesIgnore laby which FTBFS
 commit | commitdiff | tree
2020-04-02 Richard W.M. JonesUpdate all OCaml dependencies for RPM 4.16.
 commit | commitdiff | tree
2020-03-28 Richard W.M. JonesAdd more OCaml packages.
 commit | commitdiff | tree
2020-02-28 Richard W.M. JonesGet ready for F32 build into side tag.
 commit | commitdiff | tree
2020-02-27 Richard W.M. JonesDrop opam - FTBFS.
 commit | commitdiff | tree
2020-02-26 Richard W.M. JonesDisable plplot, still FTBFS.
 commit | commitdiff | tree
2020-02-26 Richard W.M. JonesRemove nbdkit, built by hand.
 commit | commitdiff | tree
2020-02-26 Richard W.M. JonesRemove now unused definitions of %koji and %fedpkg.
 commit | commitdiff | tree
2020-02-25 Richard W.M. JonesAnother tactic -> predicate replacement.
 commit | commitdiff | tree
2020-02-25 Richard W.M. JonesGet ready for OCaml 4.10.0 final rebuild.
 commit | commitdiff | tree
2020-02-25 Richard W.M. JonesRe-enable opam.
 commit | commitdiff | tree
2020-02-25 Richard W.M. JonesRe-enable z3.
 commit | commitdiff | tree
2020-02-25 Richard W.M. JonesRe-enable plplot.
 commit | commitdiff | tree
2020-02-25 Richard W.M. JonesRe-enable nbdkit.
 commit | commitdiff | tree
2020-02-25 Richard W.M. JonesRe-enable ocaml-lwt + dependent packages.
 commit | commitdiff | tree
2020-02-25 Richard W.M. JonesReenable ocaml-base + dependent packages.
 commit | commitdiff | tree
2020-01-19 Richard W.M. JonesAdd ocaml-base deps, and oaml-lwt + deps.
 commit | commitdiff | tree
2020-01-19 Richard W.M. JonesIgnore ocaml-base and opam, both FTBFS with OCaml 4.10.
 commit | commitdiff | tree
2020-01-19 Richard W.M. JonesCoq not in fact fixes, disable + deps again.
 commit | commitdiff | tree
2020-01-19 Richard W.M. JonesEnable coq again, disable z3 and coccinelle.
 commit | commitdiff | tree
2020-01-19 Richard W.M. JonesBlock coq + deps, and plplot.
 commit | commitdiff | tree
2020-01-18 Richard W.M. JonesDisable nbdkit for now - see comment.
 commit | commitdiff | tree
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.