Problems for abdullin.am@aur in AUR

Project Package name Problem
boolector-java boolector-java Homepage link http://boolector.github.io/ is a permanent redirect to its HTTPS counterpart https://boolector.github.io/ and should be updated.