clingo 5.4.1

[chenrui333]

Created with brew bump-formula-pr.

---

action-homebrew-bump-formula

[carlocab]

On 10.15:

Error: 1 failed steps!
brew test --retry --verbose hyperkit

Looks like hyperkit is well and truly broken. It used to only be broken on Big Sur. May be worth trying the fix suggested here: moby/hyperkit#297

[chenrui333]

I cannot actually install hyperkit from the source

#=== ERROR while installing num.1.4 ===========================================#
# context              2.0.7 | macos/x86_64 | ocaml-system.4.10.0 | https://opam.ocaml.org#f6cb1861
# path                 ~/.opam/default/.opam-switch/build/num.1.4
# command              /usr/local/Homebrew/Library/Homebrew/shims/mac/super/make findlib-install
# exit-code            2
# env-file             ~/.opam/log/num-94660-b972e7.env
# output-file          ~/.opam/log/num-94660-b972e7.out
### output ###
# /Applications/Xcode.app/Contents/Developer/usr/bin/make -C src findlib-install
# sed -e '/\^/d' -e 's/%%VERSION%%/1.4/g' META.in > META
# ocamlfind install num META nums.cma libnums.a big_int.cmi nat.cmi num.cmi ratio.cmi arith_status.cmi big_int.mli nat.mli num.mli ratio.mli arith_status.mli big_int.cmti nat.cmti num.cmti ratio.cmti arith_status.cmti nums.cmxa nums.a int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx nums.cmxs dllnums.so
# ocamlfind: Package num is already installed
#  - (file /private/tmp/hyperkit-20201212-92326-1ytms4t/hyperkit-0.20200908/.brew_home/.opam/default/lib/num/META already exists)
# make[1]: *** [findlib-install] Error 2
# make: *** [findlib-install] Error 2

---

relates to #64433