Updating: very minorly improving
Updating: improving atspkgreloc_wget
Updating: minorly improving atspkgreloc-test
Updating: improving the wrapper for atspkgreloc_wget
Updating: fixing a bug in [auxfind2] called by [ccompenv_find_tailcalenv_cst]
Updating: adding more testing code for travis-ci
Updating: adding more testing code to travis-ci
Updating: very minorly improving
Updating: adding more testing to travis-ci
Updating: adding more testing to travis-ci
Updating: minorly improving
Updating: libxml2 has been moved to ATS-Postiats-contrib
Updating: moving contrib/SMT/Z3 out to ATS-Postiats-contrib
Updating: tidying-up contrib/libevent
Updating: improving the organization of ATS-Postiats-contrib
Updating: minorly tidying-up
Updating: keeping zlog-latest-stable for the moment
Updating: very minorly improving
Updating: improving jsonizing at level-2
Updating: very minorly improving