[PRQ#68905] Deletion Request for envision-git

MarsSeed [1] filed a deletion request for envision-git [2]: Unused, dead-on-arrival package from 2023. Upstream is EOL for 3 years. [a] Dependency AUR/vera++ from 2017 is not compatible with the latest Boost library since at least 2022, see last AUR comment. [b] [a]: https://github.com/dimitar-asenov/Envision [b]: https://aur.archlinux.org/packages/vera++ [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/envision-git/