Remove arch package building script that is no longer maintained.#5854

Merged

NlightNFotis merged 1 commit intodiffblue:developfrom

NlightNFotis:remove_arch_linux_build_script

Feb 22, 2021

Commits on Feb 22, 2021

Revert "Add CBMC package build file for Arch Linux"
NlightNFotis
committed