annexia.org >> repositories - fedora-ocaml-rebuild.git/search

git.annexia.org / fedora-ocaml-rebuild.git / search

2020-04-06	Richard W.M. Jones	Re-add gappalib-coq.	commit \| commitdiff \| tree
2020-04-03	Richard W.M. Jones	Ignore laby which FTBFS	commit \| commitdiff \| tree
2020-04-02	Richard W.M. Jones	Update all OCaml dependencies for RPM 4.16.	commit \| commitdiff \| tree
2020-03-28	Richard W.M. Jones	Add more OCaml packages.	commit \| commitdiff \| tree
2020-02-28	Richard W.M. Jones	Get ready for F32 build into side tag.	commit \| commitdiff \| tree
2020-02-27	Richard W.M. Jones	Drop opam - FTBFS.	commit \| commitdiff \| tree
2020-02-26	Richard W.M. Jones	Disable plplot, still FTBFS.	commit \| commitdiff \| tree
2020-02-26	Richard W.M. Jones	Remove nbdkit, built by hand.	commit \| commitdiff \| tree
2020-02-26	Richard W.M. Jones	Remove now unused definitions of %koji and %fedpkg.	commit \| commitdiff \| tree
2020-02-25	Richard W.M. Jones	Another tactic -> predicate replacement.	commit \| commitdiff \| tree
2020-02-25	Richard W.M. Jones	Get ready for OCaml 4.10.0 final rebuild.	commit \| commitdiff \| tree
2020-02-25	Richard W.M. Jones	Re-enable opam.	commit \| commitdiff \| tree
2020-02-25	Richard W.M. Jones	Re-enable z3.	commit \| commitdiff \| tree
2020-02-25	Richard W.M. Jones	Re-enable plplot.	commit \| commitdiff \| tree
2020-02-25	Richard W.M. Jones	Re-enable nbdkit.	commit \| commitdiff \| tree
2020-02-25	Richard W.M. Jones	Re-enable ocaml-lwt + dependent packages.	commit \| commitdiff \| tree
2020-02-25	Richard W.M. Jones	Reenable ocaml-base + dependent packages.	commit \| commitdiff \| tree
2020-01-19	Richard W.M. Jones	Add ocaml-base deps, and oaml-lwt + deps.	commit \| commitdiff \| tree
2020-01-19	Richard W.M. Jones	Ignore ocaml-base and opam, both FTBFS with OCaml 4.10.	commit \| commitdiff \| tree
2020-01-19	Richard W.M. Jones	Coq not in fact fixes, disable + deps again.	commit \| commitdiff \| tree
2020-01-19	Richard W.M. Jones	Enable coq again, disable z3 and coccinelle.	commit \| commitdiff \| tree
2020-01-19	Richard W.M. Jones	Block coq + deps, and plplot.	commit \| commitdiff \| tree
2020-01-18	Richard W.M. Jones	Disable nbdkit for now - see comment.	commit \| commitdiff \| tree
2020-01-18	Richard W.M. Jones	Instead of using ignored list for camlp4 packages,...	commit \| commitdiff \| tree
2020-01-18	Richard W.M. Jones	Adjust to use new fedora.gl library in goals stdlib.	commit \| commitdiff \| tree
2020-01-18	Richard W.M. Jones	Prepare for OCaml 4.10.0 beta 1 rebuild.	commit \| commitdiff \| tree
2020-01-18	Richard W.M. Jones	Rename built-in-koji -> koji-built.	commit \| commitdiff \| tree
2020-01-10	Richard W.M. Jones	Revert "Ignore some packages which failed to build...	commit \| commitdiff \| tree
2020-01-10	Richard W.M. Jones	Ignore some packages which failed to build on riscv64.	commit \| commitdiff \| tree
2020-01-10	Richard W.M. Jones	Use new wrap() function.	commit \| commitdiff \| tree
2020-01-08	Richard W.M. Jones	Do a git pull before bumping local version.	commit \| commitdiff \| tree
2020-01-08	Richard W.M. Jones	Reduce verbosity of source-dependencies.	commit \| commitdiff \| tree
2020-01-08	Richard W.M. Jones	List blocked packages explicitly for now.	commit \| commitdiff \| tree
2020-01-08	Richard W.M. Jones	Ignore certain optional commands failing.	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Fix koji wait-repo so it adds --build option.	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Fix fedpkg build so it uses --target option.	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Fix koji wait-repo command.	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Fix for koji buildinfo.	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Allow fedpkg to be overridden, for building into different...	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Fix quoting of %koji.	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Build OCaml into riscv64 side tag.	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Use koji build directly instead of fedpkg build.	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Wait for dependencies to appear in the repo before...	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Allow koji to be changed.	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Remove unused yum-repo variable.	commit \| commitdiff \| tree
2020-01-07	Richard W.M. Jones	Initial commit.	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom