Feed for abdullin.am@aur in AUR

This feed is also available in atomAtom feed format

Enable autorefresh.

Date (UTC) Event
boolector-java 3.2.6 is now up to date
btor2tools-unstable is no longer maintained by abdullin.am@aur and/or was removed from AUR