History of srcpkgs / cvc4 @master git clone https://git.gdritter.com/void-extra-packages/

• Blanket add all the build templates from mu Getty Ritter 6 years ago