git.annexia.org
/
fedora-ocaml-rebuild.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Get ready for OCaml 4.10.0 final rebuild.
[fedora-ocaml-rebuild.git]
/
Goalfile
2020-02-25
Richard W.M. Jones
Get ready for OCaml 4.10.0 final rebuild.
blob
|
commitdiff
2020-02-25
Richard W.M. Jones
Re-enable opam.
blob
|
commitdiff
|
diff to current
2020-02-25
Richard W.M. Jones
Re-enable z3.
blob
|
commitdiff
|
diff to current
2020-02-25
Richard W.M. Jones
Re-enable plplot.
blob
|
commitdiff
|
diff to current
2020-02-25
Richard W.M. Jones
Re-enable nbdkit.
blob
|
commitdiff
|
diff to current
2020-02-25
Richard W.M. Jones
Re-enable ocaml-lwt + dependent packages.
blob
|
commitdiff
|
diff to current
2020-02-25
Richard W.M. Jones
Reenable ocaml-base + dependent packages.
blob
|
commitdiff
|
diff to current
2020-01-19
Richard W.M. Jones
Add ocaml-base deps, and oaml-lwt + deps.
blob
|
commitdiff
|
diff to current
2020-01-19
Richard W.M. Jones
Ignore ocaml-base and opam, both FTBFS with OCaml 4.10.
blob
|
commitdiff
|
diff to current
2020-01-19
Richard W.M. Jones
Coq not in fact fixes, disable + deps again.
blob
|
commitdiff
|
diff to current
2020-01-19
Richard W.M. Jones
Enable coq again, disable z3 and coccinelle.
blob
|
commitdiff
|
diff to current
2020-01-19
Richard W.M. Jones
Block coq + deps, and plplot.
blob
|
commitdiff
|
diff to current
2020-01-18
Richard W.M. Jones
Disable nbdkit for now - see comment.
blob
|
commitdiff
|
diff to current
2020-01-18
Richard W.M. Jones
Instead of using ignored list for camlp4 packages,...
blob
|
commitdiff
|
diff to current
2020-01-18
Richard W.M. Jones
Adjust to use new fedora.gl library in goals stdlib.
blob
|
commitdiff
|
diff to current
2020-01-18
Richard W.M. Jones
Prepare for OCaml 4.10.0 beta 1 rebuild.
blob
|
commitdiff
|
diff to current
2020-01-18
Richard W.M. Jones
Rename *built-in-koji -> *koji-built.
blob
|
commitdiff
|
diff to current
2020-01-10
Richard W.M. Jones
Revert "Ignore some packages which failed to build...
blob
|
commitdiff
|
diff to current
2020-01-10
Richard W.M. Jones
Ignore some packages which failed to build on riscv64.
blob
|
commitdiff
|
diff to current
2020-01-10
Richard W.M. Jones
Use new wrap() function.
blob
|
commitdiff
|
diff to current
2020-01-08
Richard W.M. Jones
Do a git pull before bumping local version.
blob
|
commitdiff
|
diff to current
2020-01-08
Richard W.M. Jones
Reduce verbosity of source-dependencies.
blob
|
commitdiff
|
diff to current
2020-01-08
Richard W.M. Jones
List blocked packages explicitly for now.
blob
|
commitdiff
|
diff to current
2020-01-08
Richard W.M. Jones
Ignore certain optional commands failing.
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Fix koji wait-repo so it adds --build option.
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Fix fedpkg build so it uses --target option.
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Fix koji wait-repo command.
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Fix for koji buildinfo.
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Allow fedpkg to be overridden, for building into differ...
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Fix quoting of %koji.
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Build OCaml into riscv64 side tag.
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Use koji build directly instead of fedpkg build.
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Wait for dependencies to appear in the repo before...
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Allow koji to be changed.
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Remove unused yum-repo variable.
blob
|
commitdiff
|
diff to current
2020-01-07
Richard W.M. Jones
Initial commit.
blob
|
commitdiff
|
diff to current