summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
35930e1)
Removed from upstream goals.
let fedora-branch = "master"
let fedora-tag = "f33-build-side-19773"
let fedora-branch = "master"
let fedora-tag = "f33-build-side-19773"
-let koji = "koji"
-#let koji = "koji -p riscv64"
-let fedpkg = "fedpkg"
-#let fedpkg = "fedpkg --user-config %HOME/d/fedora-ocaml-rebuild/fedpkg-user-config"
# The magic string that must appear in %changelog when the
# package has been rebuilt.
# The magic string that must appear in %changelog when the
# package has been rebuilt.