git.annexia.org / fedora-ocaml-rebuild.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Don't rebuild ocaml-odoc because it causes a loop.
[fedora-ocaml-rebuild.git] / Goalfile
2021-02-28 Richard W.M. JonesDon't rebuild ocaml-odoc because it causes a loop. blob | commitdiff
2021-02-28 Richard W.M. JonesFedora 35 OCaml 4.12.0 build. blob | commitdiff | diff to current
2021-02-28 Richard W.M. JonesEnable gappalib-coq again. blob | commitdiff | diff to current
2021-02-28 Richard W.M. JonesAdd ocaml-bigarray-compat ocaml-csexp ocaml-ctypes... blob | commitdiff | diff to current
2021-01-19 Richard W.M. JonesAdd ocaml-graphics. blob | commitdiff | diff to current
2020-09-03 Richard W.M. JonesF33 rebuild. blob | commitdiff | diff to current
2020-09-01 Richard W.M. JonesInclude separate Coq packages list in the main list. blob | commitdiff | diff to current
2020-09-01 Richard W.M. JonesOCaml 4.11.1 rebuild. blob | commitdiff | diff to current
2020-09-01 Richard W.M. JonesAdd prooftree. blob | commitdiff | diff to current
2020-08-24 Richard W.M. JonesEnable cairo and ssl again since dune bug fixed. blob | commitdiff | diff to current
2020-08-21 Richard W.M. JonesDisable ocaml-cairo and ocaml-ssl for now. blob | commitdiff | diff to current
2020-08-21 Richard W.M. JonesAdd all OCaml packages explicitly, get ready for OCaml... blob | commitdiff | diff to current
2020-05-05 Richard W.M. JonesReenable plplot. blob | commitdiff | diff to current
2020-05-05 Richard W.M. JonesRevert "Disable graphviz." blob | commitdiff | diff to current
2020-05-05 Richard W.M. JonesDisable graphviz. blob | commitdiff | diff to current
2020-05-04 Richard W.M. JonesNew build of OCaml 4.11.0+dev2-2020-04-22. blob | commitdiff | diff to current
2020-04-22 Richard W.M. JonesDisable Coq, libguestfs, virt-v2v. blob | commitdiff | diff to current
2020-04-21 Richard W.M. Jones4.11.0 pre release build attempt 2 blob | commitdiff | diff to current
2020-04-18 Richard W.M. JonesDisable ocaml-topkg. blob | commitdiff | diff to current
2020-04-17 Richard W.M. JonesNo camlp5 yet, and perl4caml fails to build. blob | commitdiff | diff to current
2020-04-17 Richard W.M. JonesAdd laby, build now fixed. blob | commitdiff | diff to current
2020-04-17 Richard W.M. JonesSet up for build of OCaml 4.11.0 prerelease in a side... blob | commitdiff | diff to current
2020-04-17 Richard W.M. JonesAdd utop. blob | commitdiff | diff to current
2020-04-06 Richard W.M. JonesRe-add gappalib-coq. blob | commitdiff | diff to current
2020-04-03 Richard W.M. JonesIgnore laby which FTBFS blob | commitdiff | diff to current
2020-04-02 Richard W.M. JonesUpdate all OCaml dependencies for RPM 4.16. blob | commitdiff | diff to current
2020-03-28 Richard W.M. JonesAdd more OCaml packages. blob | commitdiff | diff to current
2020-02-28 Richard W.M. JonesGet ready for F32 build into side tag. blob | commitdiff | diff to current
2020-02-27 Richard W.M. JonesDrop opam - FTBFS. blob | commitdiff | diff to current
2020-02-26 Richard W.M. JonesDisable plplot, still FTBFS. blob | commitdiff | diff to current
2020-02-26 Richard W.M. JonesRemove nbdkit, built by hand. blob | commitdiff | diff to current
2020-02-26 Richard W.M. JonesRemove now unused definitions of %koji and %fedpkg. blob | commitdiff | diff to current
2020-02-25 Richard W.M. JonesAnother tactic -> predicate replacement. blob | commitdiff | diff to current
2020-02-25 Richard W.M. JonesGet ready for OCaml 4.10.0 final rebuild. blob | commitdiff | diff to current
2020-02-25 Richard W.M. JonesRe-enable opam. blob | commitdiff | diff to current
2020-02-25 Richard W.M. JonesRe-enable z3. blob | commitdiff | diff to current
2020-02-25 Richard W.M. JonesRe-enable plplot. blob | commitdiff | diff to current
2020-02-25 Richard W.M. JonesRe-enable nbdkit. blob | commitdiff | diff to current
2020-02-25 Richard W.M. JonesRe-enable ocaml-lwt + dependent packages. blob | commitdiff | diff to current
2020-02-25 Richard W.M. JonesReenable ocaml-base + dependent packages. blob | commitdiff | diff to current
2020-01-19 Richard W.M. JonesAdd ocaml-base deps, and oaml-lwt + deps. blob | commitdiff | diff to current
2020-01-19 Richard W.M. JonesIgnore ocaml-base and opam, both FTBFS with OCaml 4.10. blob | commitdiff | diff to current
2020-01-19 Richard W.M. JonesCoq not in fact fixes, disable + deps again. blob | commitdiff | diff to current
2020-01-19 Richard W.M. JonesEnable coq again, disable z3 and coccinelle. blob | commitdiff | diff to current
2020-01-19 Richard W.M. JonesBlock coq + deps, and plplot. blob | commitdiff | diff to current
2020-01-18 Richard W.M. JonesDisable nbdkit for now - see comment. blob | commitdiff | diff to current
2020-01-18 Richard W.M. JonesInstead of using ignored list for camlp4 packages,... blob | commitdiff | diff to current
2020-01-18 Richard W.M. JonesAdjust to use new fedora.gl library in goals stdlib. blob | commitdiff | diff to current
2020-01-18 Richard W.M. JonesPrepare for OCaml 4.10.0 beta 1 rebuild. blob | commitdiff | diff to current
2020-01-18 Richard W.M. JonesRename *built-in-koji -> *koji-built. blob | commitdiff | diff to current
2020-01-10 Richard W.M. JonesRevert "Ignore some packages which failed to build... blob | commitdiff | diff to current
2020-01-10 Richard W.M. JonesIgnore some packages which failed to build on riscv64. blob | commitdiff | diff to current
2020-01-10 Richard W.M. JonesUse new wrap() function. blob | commitdiff | diff to current
2020-01-08 Richard W.M. JonesDo a git pull before bumping local version. blob | commitdiff | diff to current
2020-01-08 Richard W.M. JonesReduce verbosity of source-dependencies. blob | commitdiff | diff to current
2020-01-08 Richard W.M. JonesList blocked packages explicitly for now. blob | commitdiff | diff to current
2020-01-08 Richard W.M. JonesIgnore certain optional commands failing. blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesFix koji wait-repo so it adds --build option. blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesFix fedpkg build so it uses --target option. blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesFix koji wait-repo command. blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesFix for koji buildinfo. blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesAllow fedpkg to be overridden, for building into differ... blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesFix quoting of %koji. blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesBuild OCaml into riscv64 side tag. blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesUse koji build directly instead of fedpkg build. blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesWait for dependencies to appear in the repo before... blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesAllow koji to be changed. blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesRemove unused yum-repo variable. blob | commitdiff | diff to current
2020-01-07 Richard W.M. JonesInitial commit. blob | commitdiff | diff to current
Unnamed repository; edit this file 'description' to name the repository.