yochananmarqos [1] filed a deletion request for icestorm-git-pinned [2]: This is identical to icestorm-git. A pinned commit isn't being used and should have been submitted as icestorm, anyway--actually using a static commit, of course. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/icestorm-git-pinned/