directory	Package	Now		Update-To	TODO	MAINTAINER	MASTER_SITES (only the first one checked)
math/R	R	3.3.3	->	3.4.1	3.4.0	markd	http://cran.r-project.org/src/base/R-3/
math/R-CGIwithR	R-CGIwithR	0.73.0	->	0.0		mchittur@cs.n	http://cran.r-project.org/src/contrib/
math/R-DAAG	R-DAAG	1.20	->	1.22	1.22	pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-DBI	R-DBI	0.3.1	->	0.7		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-GRASS	R-GRASS	0.3.8	->	0.0		mchittur@cs.n	http://cran.r-project.org/src/contrib/
math/R-ISwR	R-ISwR	2.0.7	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-MatrixModels	R-MatrixModels	0.4.1	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-R2HTML	R-R2HTML	2.3.1	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-RArcInfo	R-RArcInfo	0.4.12	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-RColorBrewer	R-RColorBrewer	1.1.2	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-RPostgreSQL	R-RPostgreSQL	0.3.2	->	0.0	0.4	pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-RandomFields	R-RandomFields	2.0.66	->	3.1.50	3.1.8	pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-Rcmdr	R-Rcmdr	1.8.4	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-RcppEigen	R-RcppEigen	0.3.2.8.1	->	0.3.3.3.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-SparseM	R-SparseM	1.7	->	1.77		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-XML	R-XML	3.98.1.6	->	0.0		alnsn	http://cran.r-project.org/src/contrib/
math/R-abind	R-abind	1.4.5	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-akima	R-akima	0.5.7	->	0.0	11	pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-bitops	R-bitops	1.0.6	->	0.0		alnsn	http://cran.r-project.org/src/contrib/
math/R-car	R-car	2.0.18	->	0.0	25	pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-chron	R-chron	2.3.47	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-circular	R-circular	0.4.7	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-classInt	R-classInt	0.1.23	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-clim.pact	R-clim.pact	2.3.10	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-combinat	R-combinat	0.0.8	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-date	R-date	1.2.34	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-e1071	R-e1071	1.6.7	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-gdata	R-gdata	2.8.2	->	2.18.0	2.17.0	pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-geoR	R-geoR	1.7.5.1	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-geoRglm	R-geoRglm	0.9.8	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-gstat	R-gstat	1.1.2	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-httpRequest	R-httpRequest	0.0.9	->	0.0.10	0.0.10	pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-lmm	R-lmm	1.0	->	2.24		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-mapproj	R-mapproj	1.2.2	->	0.0	3	pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-maps	R-maps	2.3.9	->	0.0	3.1.0	pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-mvtnorm	R-mvtnorm	1.0.5	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-ncdf	R-ncdf	1.6.6	->	0.0	1.6.8	pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-pixmap	R-pixmap	0.4.11	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-plyr	R-plyr	1.8.3	->	1.8.4		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-quantreg	R-quantreg	5.29	->	5.33		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-randomForest	R-randomForest	4.6.10	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-sgeostat	R-sgeostat	1.0.25	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-sp	R-sp	1.1.0	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-spacetime	R-spacetime	1.1.4	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-splancs	R-splancs	2.01.39	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-statmod	R-statmod	1.4.26	->	1.4.30		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-wle	R-wle	0.9.9	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-xts	R-xts	0.9.7	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/R-zoo	R-zoo	1.7.14	->	0.0		pkgsrc-users	http://cran.r-project.org/src/contrib/
math/abs	abs	0.8	->	0.0		pkgsrc-users	http://home.scarlet.be/~pin01858/
math/admesh	admesh	0.95	->	0.95	0.98.2	pkgsrc-users	http://www.varlog.com/products/admesh/files/
math/amath	amath	1.8.3	->	0.0		cs@innolan.ne	http://dist1.innolan.net/
math/antixls	antixls	0.2b	->	0.0		pkgsrc-users	http://www.af0.net/~dan/
math/aribas	aribas	1.63	->	1.64	1.64	pkgsrc-users	ftp://ftp.mathematik.uni-muenchen.de/pub/forster/aribas/UNIX_LINUX/
math/blas	blas	3.7.0	->	3.7.1	3.7.1	adam	http://netlib.org/lapack/
math/blitz++	blitz++	0.8	->	0.10		pkgsrc-users	https://download.sourceforge.net/blitz
math/boolstuff	boolstuff	0.1.16	->	0.0		pkgsrc-users	http://perso.b2b2c.ca/~sarrazip/dev/
math/calc	calc	2.02f	->	0.0	2.11.10.1	pkgsrc-users	http://ftp.gnu.org/pub/gnu/calc/
math/calcoo	calcoo	1.3.18	->	2.1.0	2.1.0	pkgsrc-users	https://download.sourceforge.net/calcoo
math/capc-calc	capc-calc	2.12.4.13	->	2.12.6.0		pkgsrc-users	https://download.sourceforge.net/calc
math/cgal	cgal	3.9	->	3.9	4.6.1	reinoud	https://gforge.inria.fr/frs/download.php/29125/
math/djbfft	djbfft	0.76	->	0.0		schmonz	http://cr.yp.to/djbfft/
math/eigen2	eigen	2.0.17	->	0.0		pkgsrc-users	http://bitbucket.org/eigen/eigen/get/
math/eigen3	eigen3	3.2.9	->	0.0		pkgsrc-users	http://bitbucket.org/eigen/eigen/get/
math/ess	ess	13.09.1	->	0.0	15.09	markd	http://ess.r-project.org/downloads/ess/
math/eukleides	eukleides	1.5.4	->	0.0		ryoon	http://www.eukleides.org/files/
math/eukleides10	eukleides	1.0.3	->	0.0		tsadowski@gmx	http://www.eukleides.org/download/
math/extcalc	extcalc	0.9.3	->	1		pkgsrc-users	https://download.sourceforge.net/extcalc-linux
math/fftpack	fftpack	20001130	->	20001209		pkgsrc-users	http://cdn.NetBSD.org/pub/pkgsrc/distfiles/LOCAL_PORTS/
math/fftw2	fftw2	2.1.5	->	3.3.6		pkgsrc-users	ftp://ftp.fftw.org/pub/fftw/
math/fgmp	fgmp	1.0b5	->	10.10		pkgsrc-users	http://cdn.NetBSD.org/pub/pkgsrc/distfiles/
math/fityk	fityk	0.9.7	->	1.3.1		pkgsrc-users	https://cloud.github.com/downloads/wojdyr/fityk/
math/fricas	fricas	1.3.1	->	0.0		asau@inbox.ru	https://download.sourceforge.net/fricas
math/gap	gap	4.3.5	->	0.0	4r4p9	pkgsrc-users	ftp://ftp-gap.dcs.st-and.ac.uk/pub/gap/gap4/
math/gcalctool	gcalctool	5.32.2	->	6.6.2		pkgsrc-users	http://ftp.gnome.org/pub/GNOME/sources/gcalctool/5.32/
math/genius	genius	1.0.17	->	1.0.23	1.0.21	pkgsrc-users	http://ftp.5z.com/pub/genius/
math/gnome-calculator	gnome-calculator	3.22.2	->	3.25.90		prlw1@cam.ac.	http://ftp.gnome.org/pub/GNOME/sources/gnome-calculator/3.22/
math/gnumeric	gnumeric	1.8.4	->	0.0		pkgsrc-users	http://ftp.gnome.org/pub/GNOME/sources/gnumeric/1.8/
math/gnumeric110	gnumeric	1.10.17	->	0.0		pkgsrc-users	http://ftp.gnome.org/pub/GNOME/sources/gnumeric/1.10/
math/gnumeric112	gnumeric	1.12.23	->	1.12.35		pkgsrc-users	http://ftp.gnome.org/pub/GNOME/sources/gnumeric/1.12/
math/gp-autpgrp	gp-autpgrp	1.1	->	0.0		pkgsrc-users	ftp://ftp-gap.dcs.st-and.ac.uk/pub/gap/gap4/share/
math/gp-factint	gp-factint	1.3	->	0.0		pkgsrc-users	http://www.cip.mathematik.uni-stuttgart.de/~kohlsn/factint/
math/gp-fplsa	gp-fplsa	1.0	->	0.0		pkgsrc-users	ftp://ftp-gap.dcs.st-and.ac.uk/pub/gap/gap4/share/
math/gp-grape	gp-grape	4.1	->	0.0		pkgsrc-users	http://www.maths.qmul.ac.uk/~leonard/grape4r1/
math/gp-grpconst	gp-grpconst	2.0	->	0.0		pkgsrc-users	ftp://ftp-gap.dcs.st-and.ac.uk/pub/gap/gap4/share/
math/gp-lag	gp-lag	2.1	->	0.0		pkgsrc-users	ftp://ftp-gap.dcs.st-and.ac.uk/pub/gap/gap4/share/
math/grpn	grpn	1.3.3	->	0.0		dmcmahill	http://www.getreu.net/public/downloads/software/grpn/grpn-1.3.3/
math/harminv	harminv	1.3.1	->	1.4.1	1.4	pkgsrc-users	http://ab-initio.mit.edu/harminv/
math/hs-distributive	hs-distributive	0.4.4	->	0.5.3	0.5.0.2	pho@cielonegr	http://hackage.haskell.org/package/distributive-0.4.4/
math/hs-mwc-random	hs-mwc-random	0.13.3.2	->	0.13.6.0	0.13.4.0	szptvlfn	http://hackage.haskell.org/package/mwc-random-0.13.3.2/
math/hs-nats	hs-nats	0.2	->	1.1.1	1.1	pho@cielonegr	http://hackage.haskell.org/package/nats-0.2/
math/hs-scientific	hs-scientific	0.3.3.5	->	0.3.5.1	0.3.4.4	szptvlfn	http://hackage.haskell.org/package/scientific-0.3.3.5/
math/hs-semigroups	hs-semigroups	0.15.3	->	0.18.3	0.18.1	pho@cielonegr	http://hackage.haskell.org/package/semigroups-0.15.3/
math/ipopt	Ipopt	3.11.5	->	3.12.8		asau@inbox.ru	http://www.coin-or.org/download/source/Ipopt/
math/isl	isl	0.17.1	->	0.18		pkgsrc-users	http://isl.gforge.inria.fr/
math/itpp	itpp	4.0.7	->	4.3.1		agc	https://download.sourceforge.net/itpp
math/lapack	lapack	3.7.0	->	3.7.1	3.7.1	adam	http://netlib.org/lapack/
math/libint	libint	2.0.0	->	2.0.3		asau@inbox.ru	https://download.sourceforge.net/libint
math/libixion	libixion	0.12.2	->	0.0		pkgsrc-users	http://kohei.us/files/ixion/src/
math/libshorttext	libshorttext	1.1	->	0.0		cheusov	http://www.csie.ntu.edu.tw/~cjlin/libshorttext/
math/libsvm	libsvm	3.20	->	0.0		rodent	http://www.csie.ntu.edu.tw/~cjlin/libsvm/
math/lp_solve	lp_solve	5.5.2.3	->	5.5.2.5		pkgsrc-users	https://download.sourceforge.net/lpsolve
math/mapm	mapm	4.9.5a	->	0.0		pkgsrc-users	http://www.tc.umn.edu/~ringx004/
math/mathomatic	mathomatic	16.0.4	->	0.0		minskim	http://mathomatic.org/
math/maxima	maxima	5.38.0	->	5.40.0	5.40.0	pkgsrc-users	https://download.sourceforge.net/maxima
math/mcsim	mcsim	5.4.0	->	5.6.6	5.6.5	pkgsrc-users	http://ftp.gnu.org/pub/gnu/mcsim/
math/meschach	meschach	1.2b	->	0.0		pkgsrc-users	http://www.math.uiowa.edu/~dstewart/meschach/
math/metis	metis	4.0.3	->	0.0	5.1.0	pkgsrc-users	http://glaros.dtc.umn.edu/gkhome/fetch/sw/metis/
math/mprime-bin	mprime-bin	24.14	->	0.0		pkgsrc-users	ftp://mersenne.org/gimps/
math/mtl	mtl	2.1.2.22	->	0.0		pkgsrc-users	http://www.osl.iu.edu/download/research/mtl/
math/muparser	muparser	200.2.2.2	->	0.0		pkgsrc-users	https://download.sourceforge.net/muparser
math/nlopt	nlopt	2.4.2	->	0.0		pkgsrc-users	http://ab-initio.mit.edu/nlopt/
math/ntl	ntl	6.0.0	->	0.0		pkgsrc-users	http://www.shoup.net/ntl/
math/ocaml-zarith	ocaml-zarith	1.4.1	->	1.5		markd	https://github.com/ocaml/
math/octave	octave	4.2.0	->	4.2.1		adam	http://ftp.gnu.org/pub/gnu/octave/
math/openaxiom	openaxiom	1.4.1	->	1.4.2		asau@inbox.ru	https://download.sourceforge.net/open-axiom
math/openfst	openfst	1.1	->	0.0		pallegra@gmai	http://www.openfst.org/twiki/pub/FST/FstDownload/
math/ordCalc	ordCalc	0.2	->	0.0		is	http://mtnmath.com/ord/
math/otter	otter	3.0.6	->	0.0		pkgsrc-users	ftp://info.mcs.anl.gov/pub/Otter/
math/p5-Algorithm-Cluster	p5-Algorithm-Cluster	1.52	->	1.53		pkgsrc-users	http://cpan.perl.org/CPAN/modules/by-module/Algorithm/
math/p5-Math-GMP	p5-Math-GMP	2.14	->	2.15		pkgsrc-users	http://cpan.perl.org/CPAN/modules/by-module/Math/
math/p5-Spreadsheet-Read	p5-Spreadsheet-Read	0.70	->	0.73		pkgsrc-users	http://cpan.perl.org/CPAN/modules/by-module/Spreadsheet/
math/pari	pari	2.7.6	->	2.9.3	2.9.2	pkgsrc-users	http://pari.math.u-bordeaux.fr/pub/pari/unix/
math/pari-galdata	pari-galdata	2.2	->	0.0		pkgsrc-users	ftp://pari.math.u-bordeaux.fr/pub/pari/packages/
math/pari23	pari	2.3.5	->	2.9.3	2.9.2	pkgsrc-users	http://pari.math.u-bordeaux.fr/pub/pari/unix/
math/pcg	pcg	0.94	->	0.0		agc	http://www.pcg-random.org/downloads/
math/pear-Math_BigInteger	php56-pear-Math_BigInteger	1.0.3	->	0.0		pkgsrc-users	http://download.pear.php.net/package/
math/pear-Numbers_Roman	php56-pear-Numbers_Roman	1.0.2	->	0.0		pkgsrc-users	http://download.pear.php.net/package/
math/pear-Numbers_Words	php56-pear-Numbers_Words	0.18.1	->	0.0		pkgsrc-users	http://download.pear.php.net/package/
math/php-bcmath	php56-bcmath	5.6.31	->	7.1.8		pkgsrc-users	http://www.php.net/distributions/
math/ppl	ppl	1.1	->	1.1	1.2	pkgsrc-users	ftp://ftp.cs.unipr.it/pub/ppl/releases/1.1/
math/prng	prng	3.0.2	->	0.0		wenheping@gma	http://statistik.wu-wien.ac.at/software/prng/
math/pspp	pspp	0.6.2	->	1.0.0	0.10.1	pkgsrc-users	http://ftp.gnu.org/pub/gnu/pspp/
math/py-Numeric	py27-Numeric	24.2	->	0.0		pkgsrc-users	https://download.sourceforge.net/numpy
math/py-Scientific	py27-Scientific	2.8.1	->	0.0		pkgsrc-users	http://sourcesup.cru.fr/frs/download.php/4411/
math/py-Scientific-doc	py-Scientific-doc	2.4.5	->	0.0	2.5.5	pkgsrc-users	http://starship.python.net/crew/hinsen/ScientificPython/
math/py-autograd	py27-autograd	1.1.5	->	1.1.12		pkgsrc-users	https://files.pythonhosted.org/packages/source/a/autograd/
math/py-cdecimal	py27-cdecimal	2.3	->	0.0		pkgsrc-users	http://www.bytereef.org/software/mpdecimal/releases/
math/py-ephem	py27-ephem	3.7.5.1	->	3.7.6.0		pkgsrc-users	https://files.pythonhosted.org/packages/source/p/pyephem/
math/py-ephem3	py36-ephem	3.7.5.1	->	3.7.6.0		pkgsrc-users	https://files.pythonhosted.org/packages/source/e/ephem/
math/py-gmpy	py27-gmpy	1.15	->	0.0		kamel.derouic	http://gmpy.googlecode.com/files/
math/py-infinity	py27-infinity	1.3	->	1.4		rodent	https://files.pythonhosted.org/packages/source/i/infinity/
math/py-intervals	py27-intervals	0.3.1	->	0.8.0		rodent	https://files.pythonhosted.org/packages/source/i/intervals/
math/py-lmfit	py27-lmfit	0.9.5	->	0.9.7		prlw1@cam.ac.	https://files.pythonhosted.org/packages/source/l/lmfit/
math/py-munkres	py27-munkres	1.0.11	->	1.0.12		pkgsrc-users	https://files.pythonhosted.org/packages/source/m/munkres/
math/py-numarray	py27-numarray	1.5.2	->	0.0		pkgsrc-users	https://download.sourceforge.net/numpy
math/py-numexpr	py27-numexpr	2.6.2	->	3.0		pkgsrc-users	https://files.pythonhosted.org/packages/source/n/numexpr/
math/py-rpy	py27-rpy	2.5.6	->	2.9.0		pkgsrc-users	https://files.pythonhosted.org/packages/source/r/rpy2/
math/py-scikit-learn	py27-scikit-learn	0.18.1	->	0.19.0		filip@joyent.	https://files.pythonhosted.org/packages/source/s/scikit-learn/
math/py-simpleeval	py27-simpleeval	0.8.2	->	0.9.5		pkgsrc-users	https://files.pythonhosted.org/packages/source/s/simpleeval/
math/py-sympy	py27-sympy	1.0	->	1.1.1		pkgsrc-users	https://github.com/sympy/
math/qalculate	qalculate	0.9.7	->	0.9.12		adam	https://download.sourceforge.net/qalculate
math/qalculate-gtk	qalculate-gtk	0.9.7	->	0.9.12		adam	https://download.sourceforge.net/qalculate
math/qalculate-kde	qalculate-kde	0.9.5	->	0.9.7		adam	https://download.sourceforge.net/qalculate
math/qhull	qhull	2015.2	->	7.2.0		pkgsrc-users	http://www.qhull.org/download/
math/scilab	scilab	4.1	->	6.0.0	5.5.2	dmcmahill	http://www.scilab.org/download/4.1/
math/slatec	slatec	4.1	->	0.0		adam	http://netlib.org/slatec/
math/snns	snns	4.3	->	0.0		pkgsrc-users	http://www-ra.informatik.uni-tuebingen.de/downloads/SNNS/
math/speedcrunch	speedcrunch	0.10.1	->	0.0		pkgsrc-users	http://speedcrunch.googlecode.com/files/
math/statist	statist	1.0.1	->	0.0	1.3.0	pkgsrc-users	http://www.usf.uni-osnabrueck.de/~breiter/tools/statist/v1.0.1nb3/
math/superlu	superlu	3.0.1	->	5.2.1	5.1.1	pkgsrc-users	http://crd.lbl.gov/~xiaoye/SuperLU/
math/superlu	superlu	3.0.1	->	0.0	5.1.1	pkgsrc-users	http://crd.lbl.gov/~xiaoye/SuperLU/
math/svmlin	svmlin	1.0	->	0.0		cheusov	http://vikas.sindhwani.org/
math/tasp-vsipl	tasp-vsipl	20030710	->	0.0		pkgsrc-users	http://www.vsipl.org/software/
math/texdrive	texdrive	0.0.20081126.17..	->	0.0		pkgsrc-users	http://www.djcbsoftware.nl/code/texdrive/
math/tochnog	tochnog	20010429	->	0.0		pkgsrc-users	http://sourceforge.net/projects/tochnog/files/tochnog/
math/udunits	udunits	1.12.1	->	2.2.25	2.1.17	pkgsrc-users	ftp://ftp.unidata.ucar.edu/pub/udunits/
math/units	units	2.01	->	2.14	2.12	cameron@patri	http://ftp.gnu.org/pub/gnu/units/
math/vista	vista	5.05	->	0.0		pkgsrc-users	http://forrest.psych.unc.edu/research/vista-frames/ftp/
math/vowpal_wabbit	vowpal_wabbit	8.2.0	->	8.4.0		cheusov	https://github.com/JohnLangford/
math/wxmaxima	wxmaxima	14.09.0	->	16.12.2		helgoman@user	https://download.sourceforge.net/wxmaxima
math/xeukleides10	xeukleides	1.0.1	->	0.0		tsadowski@gmx	http://www.eukleides.org/download/
math/xgap	xgap	4.16	->	0.0		pkgsrc-users	ftp://ftp-gap.dcs.st-and.ac.uk/pub/gap/gap4/share/
math/xlispstat	xlispstat	3.52.20	->	0.0		pkgsrc-users	http://lib.stat.cmu.edu/xlispstat/Src/3-52/
math/xylib	xylib	1.0	->	1.2		pkgsrc-users	https://download.sourceforge.net/xylib
math/yacas	yacas	1.2.2	->	0.0	1.6.1	pkgsrc-users	http://yacas.sourceforge.net/backups/
math/yorick	yorick	1.6.02	->	1.6.02	2.1.05	pkgsrc-users	ftp://ftp.stack.nl/pub/users/johans/yorick/
math/z3	z3	4.4.1	->	4.5.0		dholland	https://github.com/Z3Prover/