# Compulsory line, this is a version 3 file
version=3

http://www.cs.nyu.edu/acsys/cvc3/releases/current/cvc3-([\d\.]+)\.tar\.gz



