[aur-requests] [PRQ#28074] Deletion Request for why3-git

notify at aur.archlinux.org notify at aur.archlinux.org
Wed Sep 8 07:31:10 UTC 2021

zoorat [1] filed a deletion request for why3-git [2]:

Missing 1 dependency,
Last Updated: 2016-04-16 12:18,
comment by @kaptoxic on 2017-11-21 06:18 "It seems why3 cannot be
compiled from sources with newer versions of automake tools (which are
current in the arch ecosystem). It seems this needs to be reported

[1] https://aur.archlinux.org/account/zoorat/
[2] https://aur.archlinux.org/pkgbase/why3-git/

More information about the aur-requests mailing list