brettgilio [1] filed a deletion request for fsharp-git [2]: I have updated the fsharp package, you may remove this now. Thanks, Brett Gilio [1] https://aur.archlinux.org/account/brettgilio/ [2] https://aur.archlinux.org/pkgbase/fsharp-git/