Change following files, path given from source top level directoryconfigure.in: GIACLIB_MAJOR_VERSION=0 GIACLIB_MINOR_VERSION=3 GIACLIB_MICRO_VERSION=0giac.specs, giac.specs32: version/releasedebian/changelog, debianold/changelogmkdebianIf you have links, update them, e.g.cd ..rm docln -s giac-0.3.x/docetc...