micwoj92 [1] filed an orphan request for python-coq-jupyter [2]: Fails to launch with missing ipykernel dep, mentioned in comments 1 month ago, not fixed.
[1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/python-coq-jupyter/
