git.annexia.org / fedora-ocaml-rebuild.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fedora-ocaml-rebuild.git
2021-02-28 Richard W.M... Don't rebuild ocaml-odoc because it causes a loop. commit | commitdiff | tree | snapshot
2021-02-28 Richard W.M... Fedora 35 OCaml 4.12.0 build. commit | commitdiff | tree | snapshot
2021-02-28 Richard W.M... Enable gappalib-coq again. commit | commitdiff | tree | snapshot
2021-02-28 Richard W.M... Add ocaml-bigarray-compat ocaml-csexp ocaml-ctypes... commit | commitdiff | tree | snapshot
2021-01-19 Richard W.M... Add ocaml-graphics. commit | commitdiff | tree | snapshot
2020-09-03 Richard W.M... F33 rebuild. commit | commitdiff | tree | snapshot
2020-09-01 Richard W.M... Include separate Coq packages list in the main list. commit | commitdiff | tree | snapshot
2020-09-01 Richard W.M... OCaml 4.11.1 rebuild. commit | commitdiff | tree | snapshot
2020-09-01 Richard W.M... Add prooftree. commit | commitdiff | tree | snapshot
2020-08-24 Richard W.M... Enable cairo and ssl again since dune bug fixed. commit | commitdiff | tree | snapshot
2020-08-21 Richard W.M... Disable ocaml-cairo and ocaml-ssl for now. commit | commitdiff | tree | snapshot
2020-08-21 Richard W.M... Add all OCaml packages explicitly, get ready for OCaml... commit | commitdiff | tree | snapshot
2020-05-05 Richard W.M... Reenable plplot. commit | commitdiff | tree | snapshot
2020-05-05 Richard W.M... Revert "Disable graphviz." commit | commitdiff | tree | snapshot
2020-05-05 Richard W.M... Disable graphviz. commit | commitdiff | tree | snapshot
2020-05-04 Richard W.M... New build of OCaml 4.11.0+dev2-2020-04-22. commit | commitdiff | tree | snapshot
2020-04-22 Richard W.M... Disable Coq, libguestfs, virt-v2v. commit | commitdiff | tree | snapshot
2020-04-21 Richard W.M... 4.11.0 pre release build attempt 2 commit | commitdiff | tree | snapshot
2020-04-19 Richard W.M... Add full README describing how this works. commit | commitdiff | tree | snapshot
2020-04-18 Richard W.M... Disable ocaml-topkg. commit | commitdiff | tree | snapshot
2020-04-17 Richard W.M... No camlp5 yet, and perl4caml fails to build. commit | commitdiff | tree | snapshot
2020-04-17 Richard W.M... Add laby, build now fixed. commit | commitdiff | tree | snapshot
2020-04-17 Richard W.M... Set up for build of OCaml 4.11.0 prerelease in a side... commit | commitdiff | tree | snapshot
2020-04-17 Richard W.M... Add utop. commit | commitdiff | tree | snapshot
2020-04-06 Richard W.M... Re-add gappalib-coq. commit | commitdiff | tree | snapshot
2020-04-03 Richard W.M... Ignore laby which FTBFS commit | commitdiff | tree | snapshot
2020-04-02 Richard W.M... Update all OCaml dependencies for RPM 4.16. commit | commitdiff | tree | snapshot
2020-03-28 Richard W.M... Add more OCaml packages. commit | commitdiff | tree | snapshot
2020-02-28 Richard W.M... Get ready for F32 build into side tag. commit | commitdiff | tree | snapshot
2020-02-27 Richard W.M... Drop opam - FTBFS. commit | commitdiff | tree | snapshot
2020-02-26 Richard W.M... Disable plplot, still FTBFS. commit | commitdiff | tree | snapshot
2020-02-26 Richard W.M... Remove nbdkit, built by hand. commit | commitdiff | tree | snapshot
2020-02-26 Richard W.M... Remove now unused definitions of %koji and %fedpkg. commit | commitdiff | tree | snapshot
2020-02-25 Richard W.M... Another tactic -> predicate replacement. commit | commitdiff | tree | snapshot
2020-02-25 Richard W.M... Get ready for OCaml 4.10.0 final rebuild. commit | commitdiff | tree | snapshot
2020-02-25 Richard W.M... Re-enable opam. commit | commitdiff | tree | snapshot
2020-02-25 Richard W.M... Re-enable z3. commit | commitdiff | tree | snapshot
2020-02-25 Richard W.M... Re-enable plplot. commit | commitdiff | tree | snapshot
2020-02-25 Richard W.M... Re-enable nbdkit. commit | commitdiff | tree | snapshot
2020-02-25 Richard W.M... Re-enable ocaml-lwt + dependent packages. commit | commitdiff | tree | snapshot
2020-02-25 Richard W.M... Reenable ocaml-base + dependent packages. commit | commitdiff | tree | snapshot
2020-01-19 Richard W.M... Add ocaml-base deps, and oaml-lwt + deps. commit | commitdiff | tree | snapshot
2020-01-19 Richard W.M... Ignore ocaml-base and opam, both FTBFS with OCaml 4.10. commit | commitdiff | tree | snapshot
2020-01-19 Richard W.M... Coq not in fact fixes, disable + deps again. commit | commitdiff | tree | snapshot
2020-01-19 Richard W.M... Enable coq again, disable z3 and coccinelle. commit | commitdiff | tree | snapshot
2020-01-19 Richard W.M... Block coq + deps, and plplot. commit | commitdiff | tree | snapshot
2020-01-18 Richard W.M... Disable nbdkit for now - see comment. commit | commitdiff | tree | snapshot
2020-01-18 Richard W.M... Instead of using ignored list for camlp4 packages,... commit | commitdiff | tree | snapshot
2020-01-18 Richard W.M... Adjust to use new fedora.gl library in goals stdlib. commit | commitdiff | tree | snapshot
2020-01-18 Richard W.M... Prepare for OCaml 4.10.0 beta 1 rebuild. commit | commitdiff | tree | snapshot
2020-01-18 Richard W.M... Rename *built-in-koji -> *koji-built. commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... Revert "Ignore some packages which failed to build... commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... Ignore some packages which failed to build on riscv64. commit | commitdiff | tree | snapshot
2020-01-10 Richard W.M... Use new wrap() function. commit | commitdiff | tree | snapshot
2020-01-08 Richard W.M... Do a git pull before bumping local version. commit | commitdiff | tree | snapshot
2020-01-08 Richard W.M... Reduce verbosity of source-dependencies. commit | commitdiff | tree | snapshot
2020-01-08 Richard W.M... List blocked packages explicitly for now. commit | commitdiff | tree | snapshot
2020-01-08 Richard W.M... Ignore certain optional commands failing. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Fix koji wait-repo so it adds --build option. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Fix fedpkg build so it uses --target option. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Fix koji wait-repo command. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Fix for koji buildinfo. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Allow fedpkg to be overridden, for building into differ... commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Fix quoting of %koji. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Build OCaml into riscv64 side tag. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Use koji build directly instead of fedpkg build. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Wait for dependencies to appear in the repo before... commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Allow koji to be changed. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Remove unused yum-repo variable. commit | commitdiff | tree | snapshot
2020-01-07 Richard W.M... Initial commit. commit | commitdiff | tree | snapshot
Unnamed repository; edit this file 'description' to name the repository.