MarsSeed [1] filed a deletion request for ptxdist-2018.12 [2]: Unneeded, abandoned old pinned release from 2018 of the actively maintained AUR/ptxdist package. [a]
Fails to build from source. [a]: https://aur.archlinux.org/packages/ptxdist [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/ptxdist-2018.12/
