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

2021-09-11 Thread notify--- via aur-requests
Request #28074 has been accepted by ainola [1]. [1] https://aur.archlinux.org/account/ainola/

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

2021-09-08 Thread notify--- via aur-requests
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 t