Franco Fichtner 02408012e6 */*: sync with upstream ... Taken from: HardenedBSD		2018-06-16 10:31:02 +02:00
..
aamath	*/*: sync with upstream	2017-06-28 01:50:08 +02:00
abakus	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
abs	*/*: sync previously available, but unused ports	2015-04-22 06:45:04 +02:00
acalc	*/*: sync with upstream	2017-05-22 14:28:23 +02:00
add	*/*: sync with upstream	2018-06-14 11:40:49 +02:00
adept	*/*: sync with upstream	2018-03-27 04:30:24 +02:00
algae	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
alglib	*/*: sync with upstream	2018-01-12 06:50:29 +01:00
algotutor	*/*: sync with upstream	2018-01-12 19:07:06 +01:00
alt-ergo	*/*: sync with upstream	2016-06-28 08:15:05 +02:00
amath	*/*: sync with upstream	2017-08-18 06:15:44 +02:00
ambit	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
analitza	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
analitza-kde4	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
ann	*/*: sync with upstream	2016-05-24 07:06:12 +02:00
antic	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
apc	*/*: sync with upstream	2016-05-19 16:29:05 +02:00
arb	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
aribas	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
armadillo	*/*: sync with upstream	2018-05-20 09:35:58 +02:00
arpack	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
arpack++	*/*: sync with upstream	2018-04-26 07:06:11 +02:00
arpack-ng	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
arpack-ng-mpich	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
aspcud	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
asymptote	*/*: sync with upstream	2018-06-16 10:31:02 +02:00
atlas	*/*: sync with upstream	2018-05-13 16:20:27 +02:00
biggles	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
blacs	*/*: sync with upstream	2018-05-06 05:29:22 +02:00
blas	*/*: sync with upstream	2018-03-11 22:56:45 +01:00
blis	*/*: sync with upstream	2018-05-24 09:09:32 +02:00
blitz++	*/*: sync with upstream	2018-03-19 05:59:50 +01:00
blocksolve95	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
bsdnt	*/*: sync with upstream	2018-03-29 04:01:47 +02:00
cadabra2	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
calc	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
calcoo	*/*: sync with upstream	2016-12-09 07:25:04 +01:00
calctool	*/*: sync with upstream	2016-04-02 16:03:17 +02:00
cantor	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
cantor-kde4	*/*: sync with upstream	2018-02-27 07:43:58 +01:00
cbc	*/*: sync with upstream	2018-04-15 23:00:06 +02:00
cblas	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
ccmath	*/*: sync with upstream	2017-06-26 12:24:38 +02:00
ceres-solver	*/*: sync with upstream	2018-05-15 16:55:35 +02:00
cgal	*/*: sync with upstream	2018-05-13 16:20:27 +02:00
cgl	*/*: sync with upstream	2018-04-15 23:00:06 +02:00
chaco	*/*: sync with upstream	2016-12-30 14:35:11 +01:00
chryzodus	*/*: sync with upstream	2016-04-02 16:03:17 +02:00
clasp	*/*: sync with upstream	2016-09-18 16:09:05 +02:00
clblas	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
clblast	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
clfft	*/*: sync with upstream	2018-01-16 20:42:50 +01:00
cln	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
cloog	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
clp	*/*: sync with upstream	2018-04-15 23:00:06 +02:00
clrng	*/*: sync with upstream	2017-05-14 12:46:30 +02:00
cminpack	*/*: sync with upstream	2018-03-14 07:30:07 +01:00
cmlib	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
coinmp	*/*: sync with upstream	2018-03-17 08:17:44 +01:00
concorde	*/*: sync previously available, but unused ports	2015-04-22 06:45:04 +02:00
convertall	*/*: sync with upstream	2018-04-06 12:58:11 +02:00
coq	*/*: sync with upstream	2018-05-31 08:24:41 +02:00
crlibm	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
cryptominisat	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
cvc3	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
diehard	*/*: sync with upstream	2015-11-11 07:11:56 +01:00
dieharder	*/*: sync with upstream	2017-07-04 01:23:12 +02:00
djbfft	*/*: sync previously available, but unused ports	2015-04-22 06:45:04 +02:00
drgeo	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
dynare	*/*: sync with upstream	2018-04-26 07:06:11 +02:00
e	*/*: sync previously available, but unused ports	2015-04-22 06:45:04 +02:00
ecos	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
edenmath	*/*: sync with upstream	2017-12-04 05:06:36 +01:00
eigen2	*/*: sync with upstream	2016-05-24 07:06:12 +02:00
eigen3	*/*: sync with upstream	2018-02-04 12:49:34 +01:00
eispack	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
emc2	*/*: sync with upstream	2018-01-12 06:50:29 +01:00
ent	*/*: sync with upstream	2016-06-30 07:11:11 +02:00
entropy	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
eprover	*/*: sync with upstream	2017-11-20 04:39:06 +01:00
ess	*/*: sync with upstream	2018-05-31 08:24:41 +02:00
eukleides	*/*: sync with upstream	2017-06-28 01:50:08 +02:00
eval	*/*: sync with upstream	2017-06-28 01:50:08 +02:00
facile	*/*: sync with upstream	2016-12-29 07:41:55 +01:00
fann	math/fann: sync with upstream	2017-10-30 00:38:31 +01:00
fflas-ffpack	*/*: sync with upstream	2017-09-10 16:31:24 +02:00
fftw	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
fftw-float	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
fftw3	*/*: sync with upstream	2018-01-28 13:12:26 +01:00
fftw3-float	*/*: sync with upstream	2017-01-17 07:27:11 +01:00
fftw3-long	*/*: sync with upstream	2017-01-17 07:27:11 +01:00
fftw3-quad	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
fityk	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
flann	*/*: sync with upstream	2017-12-30 19:55:16 +01:00
flint2	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
form	*/*: sync with upstream	2017-08-05 12:09:08 +02:00
fpc-fftw	*/*: sync with upstream	2018-04-05 02:21:02 +02:00
fpc-gmp	*/*: sync with upstream	2018-04-05 02:21:02 +02:00
fpc-numlib	*/*: sync with upstream	2018-04-05 02:21:02 +02:00
freemat	*/*: sync with upstream	2018-05-06 05:29:22 +02:00
fxt	*/*: sync with upstream	2017-09-10 16:31:24 +02:00
g2o	*/*: sync with upstream	2018-04-26 07:06:11 +02:00
galculator	*/*: sync with upstream	2016-12-30 14:35:11 +01:00
gambit	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
gap	*/*: sync with upstream	2018-02-11 05:06:04 +01:00
gdcalc	*/*: sync with upstream	2018-03-27 04:30:24 +02:00
geg	*/*: sync with upstream	2016-12-09 07:25:04 +01:00
geogebra	*/*: sync with upstream	2018-03-28 03:35:49 +02:00
geonext	*/*: sync with upstream	2017-01-19 09:56:53 +01:00
gexpr	*/*: sync with upstream	2016-05-19 16:29:05 +02:00
ggobi	*/*: sync with upstream	2016-12-09 07:25:04 +01:00
giacxcas	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
GiNaC	*/*: sync with upstream	2017-06-25 10:21:59 +02:00
givaro	*/*: sync with upstream	2018-06-15 08:21:34 +02:00
gkmap	*/*: sync with upstream	2017-01-21 18:28:10 +01:00
glgraph	*/*: sync with upstream	2017-08-29 14:09:16 +02:00
glm	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
glpk	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
glucose	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
gmm++	*/*: sync with upstream	2017-01-23 06:21:51 +01:00
gmp	math/gmp: sync with upstream	2018-02-26 09:20:06 +01:00
gmp-ecm	*/*: sync with upstream	2018-04-04 01:50:27 +02:00
gnome-calculator	*/*: sync with upstream	2018-05-13 16:20:27 +02:00
gnubc	*/*: sync with upstream	2018-06-13 06:06:57 +02:00
gnumeric	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
gnuplot	*/*: sync with upstream	2018-05-20 09:35:58 +02:00
gnuplot-lite	*/*: sync with upstream	2017-12-13 13:25:56 +01:00
gnuplot-tex-extras	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
goblin	*/*: sync with upstream	2017-02-03 10:52:17 +01:00
gotoblas	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
grace	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
gracetmpl	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
graphthing	*/*: sync with upstream	2016-08-16 19:16:58 +02:00
gretl	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
gri	*/*: sync with upstream	2018-03-29 04:01:47 +02:00
gringo	*/*: sync with upstream	2017-09-10 16:31:24 +02:00
grpn	*/*: sync with upstream	2016-12-09 07:25:04 +01:00
gsl	*/*: sync with upstream	2017-07-04 01:23:12 +02:00
hexcalc	*/*: sync with upstream	2016-01-12 23:08:37 +01:00
hfst	*/*: sync with upstream	2018-03-15 08:19:08 +01:00
hs-adjunctions	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-Agda	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-Agda-stdlib	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-categories	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-comonad	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-contravariant	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-data-lens	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-data-lens-template	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-distributive	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-erf	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-fixed	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-half	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-ieee754	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-integer-logarithms	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-kan-extensions	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-math-functions	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-mwc-random	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-NumInstances	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-pointed	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-probability	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-semigroupoids	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-semigroups	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-statistics	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
hs-vector-space	*/*: sync with upstream	2018-05-27 12:33:45 +02:00
igraph	*/*: sync with upstream	2016-10-22 19:45:15 +02:00
intervaltree	*/*: sync with upstream	2018-04-16 19:20:41 +02:00
ipopt	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
ised	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
jacal	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
jags	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
jakarta-commons-math	*/*: sync with upstream	2018-03-22 15:46:02 +01:00
jakarta-commons-math3	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
jama	*/*: sync with upstream	2016-05-19 16:29:05 +02:00
jeuclid	*/*: sync with upstream	2016-11-01 21:45:36 +01:00
jlatexmath	*/*: sync with upstream	2017-02-04 01:11:18 +01:00
jsmath-fonts	*/*: sync previously available, but unused ports	2015-04-22 06:45:04 +02:00
jtransforms	*/*: sync with upstream	2017-11-18 07:44:25 +01:00
jts	*/*: sync with upstream	2016-07-17 12:54:50 +02:00
kalgebra	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
kalgebra-kde4	*/*: sync with upstream	2018-03-24 15:51:01 +01:00
kbruch	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
kbruch-kde4	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
kcalc	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
kcalc-kde4	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
kig	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
kig-kde4	*/*: sync with upstream	2018-05-02 17:27:24 +02:00
kktdirect	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
kmplot	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
kmplot-kde4	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
labplot	*/*: sync with upstream	2017-10-22 11:38:47 +02:00
lambda	*/*: sync with upstream	2017-06-28 01:50:08 +02:00
lapack	*/*: sync with upstream	2018-03-11 22:56:45 +01:00
lapack++	*/*: sync with upstream	2018-03-11 22:56:45 +01:00
lapack95	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
lapacke	*/*: sync with upstream	2016-05-19 16:29:05 +02:00
laspack	*/*: sync with upstream	2016-06-28 08:15:05 +02:00
ldouble	*/*: sync with upstream	2016-09-16 14:21:20 +02:00
levmar	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
libflame	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
liblbfgs	*/*: sync with upstream	2017-12-26 10:34:14 +01:00
libmesh	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
libmissing	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
libocas	*/*: sync with upstream	2018-06-16 10:31:02 +02:00
liborigin	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
libqalculate	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
libranlip	*/*: sync with upstream	2018-01-12 06:50:29 +01:00
libRmath	*/*: sync with upstream	2018-04-24 19:15:21 +02:00
librsb	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
libtommath	*/*: sync with upstream	2017-11-18 07:44:25 +01:00
libtsnnls	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
libxls	*/*: sync with upstream	2017-01-28 11:26:20 +01:00
libxlsxwriter	*/*: sync with upstream	2018-05-18 06:59:16 +02:00
linpack	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
lll_spect	*/*: sync with upstream	2016-06-28 08:15:05 +02:00
lp_solve	*/*: sync with upstream	2017-10-11 16:28:17 +02:00
lrng	*/*: sync with upstream	2016-06-28 08:15:05 +02:00
ltl	*/*: sync with upstream	2018-03-13 07:47:18 +01:00
ltl2ba	*/*: sync with upstream	2018-05-25 06:42:27 +02:00
lybniz	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
mate-calc	*/*: sync with upstream	2018-04-15 06:37:45 +02:00
math77	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
mathgl	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
mathmod	*/*: sync with upstream	2018-05-30 18:42:27 +02:00
mathomatic	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
matio	*/*: sync with upstream	2017-05-30 07:31:14 +02:00
matlab-installer	*/*: sync with upstream	2018-01-31 07:43:13 +01:00
maxima	*/*: sync with upstream	2018-01-28 13:12:26 +01:00
mbasecalc	*/*: sync with upstream	2016-04-02 16:03:17 +02:00
metis	*/*: sync with upstream	2018-05-06 05:29:22 +02:00
metis-edf	*/*: sync with upstream	2018-06-01 06:09:05 +02:00
metis4	*/*: sync with upstream	2016-06-28 08:15:05 +02:00
mingw32-libgmp	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
minisat	*/*: sync with upstream	2018-01-26 19:46:35 +01:00
miracl	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
mlpack	*/*: sync with upstream	2018-05-20 09:35:58 +02:00
moo	*/*: sync with upstream	2017-07-28 06:50:35 +02:00
mosesdecoder	*/*: sync with upstream	2018-06-15 08:21:34 +02:00
mpc	*/*: sync with upstream	2018-05-25 06:42:27 +02:00
mpexpr	*/*: sync with upstream	2016-09-27 00:22:49 +02:00
mpfr	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
mpir	*/*: sync with upstream	2017-06-25 10:21:59 +02:00
mppp	*/*: sync with upstream	2018-05-23 07:08:18 +02:00
mprime	*/*: sync with upstream	2017-11-23 06:11:18 +01:00
msieve	*/*: sync with upstream	2018-04-06 12:58:11 +02:00
mtl	*/*: sync with upstream	2018-05-24 09:09:32 +02:00
mtrxmath	*/*: sync with upstream	2017-01-23 06:21:51 +01:00
multichoose	*/*: sync with upstream	2018-04-16 19:20:41 +02:00
mumps	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
mumps-edf	*/*: sync with upstream	2018-05-06 05:29:22 +02:00
mumps-mpich	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
muparser	*/*: sync with upstream	2018-01-09 19:05:39 +01:00
naturalmath	*/*: sync previously available, but unused ports	2015-04-22 06:45:04 +02:00
nauty	*/*: sync with upstream	2016-12-28 12:42:23 +01:00
ndiff	*/*: sync with upstream	2017-08-29 14:09:16 +02:00
newmat	*/*: sync with upstream	2017-06-25 10:21:59 +02:00
nfft	*/*: sync with upstream	2018-01-20 09:37:12 +01:00
ngraph	*/*: sync with upstream	2017-02-28 07:56:01 +01:00
nlopt	*/*: sync with upstream	2018-03-18 09:15:16 +01:00
ntl	*/*: sync with upstream	2016-07-20 03:30:21 +02:00
numdiff	*/*: sync with upstream	2017-02-27 09:46:33 +01:00
nyh-hoc	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
ocaml-ocamlgraph	*/*: sync with upstream	2017-07-07 05:02:23 +02:00
ocaml-zarith	*/*: sync with upstream	2017-04-28 19:36:49 +02:00
ocamlgsl	*/*: sync with upstream	2017-07-04 01:23:12 +02:00
octave	*/*: sync with upstream	2018-05-07 16:55:33 +02:00
octave-forge	*/*: sync with upstream	2018-05-21 11:07:38 +02:00
octave-forge-actuarial	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-audio	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-base	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
octave-forge-bim	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-bioinfo	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-bsltl	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-cgi	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-civil-engineering	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-communications	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-control	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-data-smoothing	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-database	*/*: sync with upstream	2018-05-21 11:07:38 +02:00
octave-forge-dataframe	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-dicom	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-divand	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-doctest	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-econometrics	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-engine	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-fenv	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-financial	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-fits	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-fl-core	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-fpl	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-fuzzy-logic-toolkit	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
octave-forge-ga	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-general	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
octave-forge-generate_html	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-geometry	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-gnuplot	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-gsl	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-ident	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-image	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-informationtheory	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-integration	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-interval	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-io	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-irsa	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-level-set	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-linear-algebra	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
octave-forge-lssa	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-ltfat	*/*: sync with upstream	2018-05-13 16:20:27 +02:00
octave-forge-mapping	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-mechanics	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
octave-forge-miscellaneous	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
octave-forge-missing-functions	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-msh	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-multicore	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-mvn	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-nan	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-ncarray	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-netcdf	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-nlwing2	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-nnet	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-nurbs	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-oct2mat	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-octclip	*/*: sync with upstream	2018-05-24 09:09:32 +02:00
octave-forge-octproj	*/*: sync with upstream	2018-05-23 07:08:18 +02:00
octave-forge-odebvp	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-optics	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-optim	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-optiminterp	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-outliers	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-parallel	*/*: sync with upstream	2018-05-20 09:35:58 +02:00
octave-forge-pdb	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-plot	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-quaternion	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-queueing	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-secs1d	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-secs2d	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-secs3d	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-signal	*/*: sync with upstream	2018-05-07 16:55:33 +02:00
octave-forge-simp	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-sockets	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-sparsersb	*/*: sync with upstream	2018-05-21 11:07:38 +02:00
octave-forge-specfun	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-special-matrix	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-splines	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-statistics	*/*: sync with upstream	2018-05-20 09:35:58 +02:00
octave-forge-stk	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-strings	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-struct	*/*: sync with upstream	2018-05-20 09:35:58 +02:00
octave-forge-symband	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-symbolic	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-tcl-octave	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-tisean	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
octave-forge-tsa	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-video	*/*: sync with upstream	2018-05-21 11:07:38 +02:00
octave-forge-zenity	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
octave-forge-zeromq	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
ogdf	*/*: sync with upstream	2018-03-01 17:40:23 +01:00
oleo	*/*: sync with upstream	2018-03-29 04:01:47 +02:00
openblas	*/*: sync with upstream	2018-03-30 06:45:57 +02:00
openfst	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
openlibm	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
opensolaris-libm	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
orpie	*/*: sync with upstream	2017-07-04 01:23:12 +02:00
p5-AI-DecisionTree	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-AI-Genetic	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-AI-NeuralNet-BackProp	*/*: sync with upstream	2017-09-16 12:42:43 +02:00
p5-AI-Perceptron	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Algorithm-Combinatorics	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Algorithm-CurveFit	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Algorithm-KMeans	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Algorithm-Munkres	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-bignum	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Bit-ShiftReg	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Bit-Vector	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Bit-Vector-Minimal	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-CAD-Calc	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Chart-Math-Axis	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Data-Float	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Date-Handler	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Geo-Coordinates-UTM	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Geo-Distance	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Geo-Distance-XS	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-GIS-Distance	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-GIS-Distance-Fast	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-GIS-Distance-Lite	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Graph	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Algebra-Symbols	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Base36	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Base85	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-BaseCalc	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-BaseCnv	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Bezier	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Bezier-Convert	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-BigInt	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-BigInt-FastCalc	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-BigInt-GMP	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-BigInt-Lite	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-BigInt-Pari	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-BigRat	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Calc-Units	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-CDF	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Cephes	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Combinatorics	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Complex	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-ConvexHull	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Currency	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Derivative	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Evol	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Expr	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
p5-Math-FFT	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-FixedPrecision	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Fleximal	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Geometry	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Geometry-Planar	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Geometry-Planar-GPC	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Geometry-Planar-GPC-PolygonXS	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Geometry-Planar-Offset	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Geometry-Voronoi	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-GMP	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-GMPf	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-GMPq	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-GMPz	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Gradient	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-GSL	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Int64	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Int128	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Interpolate	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Intersection-StraightLine	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Logic	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Matrix	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-MatrixReal	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-MPC	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-MPFR	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-NumberCruncher	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Pari	*/*: sync with upstream	2018-06-13 06:06:57 +02:00
p5-Math-Polygon	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Polygon-Tree	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Polynomial-Solve	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Prime-XS	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-ProvablePrime	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Random	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Random-ISAAC	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Random-ISAAC-XS	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Random-MT	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Random-MT-Auto	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Random-OO	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Random-Secure	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-RandomOrg	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Round	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Round-Var	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-RPN	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Sequence	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Series	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-SigFigs	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-SimpleVariable	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Spline	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-String	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Symbolic	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Symbolic-Custom-CCompiler	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Symbolic-Custom-Contains	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Symbolic-Custom-ErrorPropagation	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Symbolic-Custom-LaTeXDumper	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Symbolic-Custom-Pattern	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Symbolic-Custom-Simplification	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Symbolic-Custom-Transformation	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-SymbolicX-BigNum	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-SymbolicX-Complex	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-SymbolicX-Error	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-SymbolicX-Inline	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-SymbolicX-NoSimplification	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-SymbolicX-ParserExtensionFactory	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-SymbolicX-Statistics-Distributions	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-TrulyRandom	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Units	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Utils	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-Vec	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Math-VecStat	*/*: sync with upstream	2017-09-16 12:42:43 +02:00
p5-Math-VectorReal	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-NetCDF	*/*: sync with upstream	2017-10-22 11:38:47 +02:00
p5-Number-Compare	math/p5-Number-Compare: sync with upstream	2018-05-28 08:19:28 +02:00
p5-Number-Fraction	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Number-Misc	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Number-Uncertainty	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Number-WithError	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Number-WithError-LaTeX	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Parse-Range	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Roman	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Set-IntSpan	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Set-IntSpan-Fast	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Set-IntSpan-Fast-XS	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Set-Partition	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Set-Window	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-Basic	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-Benford	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-ChiSquare	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-Contingency	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-Descriptive	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-Descriptive-Discrete	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-Distributions	*/*: sync previously available, but unused ports	2015-04-22 06:45:04 +02:00
p5-Statistics-Forecast	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-Frequency	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-LineFit	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-Lite	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-LTU	*/*: sync previously available, but unused ports	2015-04-22 06:45:04 +02:00
p5-Statistics-OLS	*/*: sync previously available, but unused ports	2015-04-22 06:45:04 +02:00
p5-Statistics-R	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-Regression	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Statistics-TTest	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Task-Math-Symbolic	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
p5-Text-AsciiTeX	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
pantheon-calculator	*/*: sync with upstream	2018-03-22 15:46:02 +01:00
pari	*/*: sync with upstream	2018-05-20 09:35:58 +02:00
parmetis	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
parmgridgen	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
pdal	*/*: sync with upstream	2018-05-23 07:08:18 +02:00
PDL	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
pear-Math_BigInteger	*/*: sync with upstream	2016-12-14 09:28:31 +01:00
pear-Math_Combinatorics	*/*: sync with upstream	2017-06-11 11:06:07 +02:00
pecl-big_int	*/*: sync with upstream	2017-12-14 17:19:33 +01:00
pecl-bitset	*/*: sync with upstream	2017-10-08 10:01:43 +02:00
pecl-bitset2	*/*: sync with upstream	2018-03-09 03:40:20 +01:00
pecl-stats	*/*: sync with upstream	2018-03-20 11:09:32 +01:00
pecl-stats2	*/*: sync with upstream	2018-03-20 11:09:32 +01:00
pecl-trader	*/*: sync with upstream	2017-12-14 17:19:33 +01:00
petiga	*/*: sync with upstream	2018-05-22 08:51:30 +02:00
php56-bcmath	*/*: sync with upstream	2016-09-24 04:07:58 +02:00
php56-gmp	*/*: sync with upstream	2016-09-24 04:07:58 +02:00
php70-bcmath	*/*: sync with upstream	2016-09-23 04:00:28 +02:00
php70-gmp	*/*: sync with upstream	2016-09-23 04:00:28 +02:00
php71-bcmath	*/*: sync with upstream	2017-01-24 15:33:20 +01:00
php71-gmp	*/*: sync with upstream	2017-01-24 15:33:20 +01:00
php72-bcmath	*/*: sync with upstream	2017-11-18 07:44:25 +01:00
php72-gmp	*/*: sync with upstream	2017-11-18 07:44:25 +01:00
physcalc	*/*: sync with upstream	2016-05-16 11:27:06 +02:00
picosat	*/*: sync with upstream	2016-06-28 08:15:05 +02:00
piranha	*/*: sync with upstream	2018-05-17 07:00:10 +02:00
plman	*/*: sync with upstream	2015-05-23 07:42:34 +02:00
ploticus	*/*: sync with upstream	2016-07-22 05:22:19 +02:00
ploticus-nox11	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
plplot	*/*: sync with upstream	2017-12-20 22:50:10 +01:00
plplot-ada	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
primegen	*/*: sync with upstream	2017-05-30 07:31:14 +02:00
prng	*/*: sync with upstream	2018-01-14 08:16:55 +01:00
proofgeneral	*/*: sync with upstream	2018-05-31 08:24:41 +02:00
pspp	*/*: sync with upstream	2017-10-13 05:41:46 +02:00
pure-mpfr	*/*: sync with upstream	2017-03-16 01:55:51 +01:00
pure-rational	*/*: sync with upstream	2017-03-16 01:55:51 +01:00
py-algopy	*/*: sync with upstream	2018-04-17 19:38:48 +02:00
py-altgraph	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-apgl	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-basemap	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-basemap-data	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
py-bitmath	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
py-bitvector	*/*: sync with upstream	2018-03-26 04:48:47 +02:00
py-bottleneck	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-cdecimal	*/*: sync with upstream	2016-01-25 04:28:58 +01:00
py-colormath	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-cryptominisat	*/*: sync with upstream	2017-09-10 16:31:24 +02:00
py-cvxopt	*/*: sync with upstream	2018-04-26 07:06:11 +02:00
py-cyipopt	*/*: sync with upstream	2018-04-01 07:40:24 +02:00
py-Diofant	*/*: sync with upstream	2018-03-30 06:45:57 +02:00
py-fastcluster	*/*: sync with upstream	2018-06-02 09:27:41 +02:00
py-ffc	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
py-fiat	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-fpconst	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-gato	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
py-gmpy	*/*: sync with upstream	2016-09-16 14:21:20 +02:00
py-gmpy2	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-gnuplot	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-graphillion	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
py-GridDataFormats	*/*: sync with upstream	2018-05-13 16:20:27 +02:00
py-igakit	*/*: sync with upstream	2018-05-22 08:51:30 +02:00
py-igraph	*/*: sync with upstream	2018-01-12 19:07:06 +01:00
py-intspan	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-keras	*/*: sync with upstream	2018-04-30 21:13:37 +02:00
py-levmar	*/*: sync with upstream	2018-04-01 07:40:24 +02:00
py-luminol	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-mathdom	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-matplotlib	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-mpmath	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
py-munkres	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
py-networkx	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-numarray	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
py-numeric	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
py-numexpr	*/*: sync with upstream	2018-05-03 16:27:10 +02:00
py-numpy	*/*: sync with upstream	2018-05-25 06:42:27 +02:00
py-nzmath	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
py-pandas	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
py-pandas-datareader	*/*: sync with upstream	2018-06-15 08:21:34 +02:00
py-patsy	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-petsc4py	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
py-piranha	*/*: sync with upstream	2018-05-18 06:59:16 +02:00
py-plastex	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
py-probstat	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
py-pyasp	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-pybloom	*/*: sync with upstream	2017-11-30 18:31:08 +01:00
py-pycosat	*/*: sync with upstream	2016-05-19 16:29:05 +02:00
py-pygsl	*/*: sync with upstream	2018-03-14 07:30:07 +01:00
py-pyhull	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-pyipopt	*/*: sync with upstream	2018-04-17 19:38:48 +02:00
py-pymc	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-pymc3	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
py-PyMetis	*/*: sync with upstream	2018-05-25 06:42:27 +02:00
py-pyneqsys	*/*: sync with upstream	2018-04-01 07:40:24 +02:00
py-pynleq2	*/*: sync with upstream	2018-04-23 07:02:47 +02:00
py-pyodesys	*/*: sync with upstream	2018-05-06 05:29:22 +02:00
py-Pyomo	*/*: sync with upstream	2018-04-15 06:37:45 +02:00
py-PySCIPOpt	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
py-pysparse	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-pysym	*/*: sync with upstream	2018-03-31 14:24:05 +02:00
py-pyvtk	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
py-PyWavelets	*/*: sync with upstream	2018-03-24 09:42:06 +01:00
py-random2	*/*: sync with upstream	2018-04-28 23:11:06 +02:00
py-roman	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
py-scientific	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-scikit-umfpack	*/*: sync with upstream	2018-05-22 08:51:30 +02:00
py-seaborn	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-secp256k1	*/*: sync with upstream	2018-05-29 18:24:47 +02:00
py-simhash	*/*: sync with upstream	2018-06-16 10:31:02 +02:00
py-statsmodels	*/*: sync with upstream	2018-05-20 09:35:58 +02:00
py-svgmath	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
py-sym	*/*: sync with upstream	2018-04-01 07:40:24 +02:00
py-symcxx	*/*: sync with upstream	2018-03-30 06:45:57 +02:00
py-symeig	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
py-sympy	*/*: sync with upstream	2018-01-16 20:42:50 +01:00
py-theano	*/*: sync with upstream	2018-03-24 09:42:06 +01:00
py-ufl	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
py-uncertainties	*/*: sync with upstream	2018-03-20 11:09:32 +01:00
py-viper	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
py-yt	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
qalculate	*/*: sync with upstream	2018-02-27 07:43:58 +01:00
qd	*/*: sync with upstream	2018-03-11 22:56:45 +01:00
qhull	*/*: sync with upstream	2016-12-12 07:56:30 +01:00
qhull5	*/*: sync with upstream	2018-01-09 19:05:39 +01:00
qrupdate	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
qtiplot	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
qtiplot-doc	*/*: sync with upstream	2016-10-22 19:45:15 +02:00
qtoctave	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
qwtplot3d-qt4	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
R	*/*: sync with upstream	2018-05-28 08:06:42 +02:00
R-cran-Amelia	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
R-cran-assertthat	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-backports	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-bdsmatrix	*/*: sync with upstream	2018-03-17 08:17:44 +01:00
R-cran-car	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-carData	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
R-cran-ChangeAnomalyDetection	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-coda	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-combinat	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-conf.design	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-CVST	*/*: sync with upstream	2018-05-29 07:16:41 +02:00
R-cran-ddalpha	*/*: sync with upstream	2018-05-08 16:43:10 +02:00
R-cran-deldir	*/*: sync with upstream	2018-04-12 03:54:01 +02:00
R-cran-DEoptimR	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-dimRed	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-dlmodeler	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-dplyr	*/*: sync with upstream	2018-05-24 09:09:32 +02:00
R-cran-DRR	*/*: sync with upstream	2018-03-22 15:46:02 +01:00
R-cran-expm	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-forecast	*/*: sync with upstream	2018-04-15 23:00:06 +02:00
R-cran-Formula	*/*: sync with upstream	2018-05-13 16:20:27 +02:00
R-cran-fracdiff	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-geepack	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-geometry	*/*: sync with upstream	2018-04-12 03:54:01 +02:00
R-cran-gmp	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-gower	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-gpclib	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-gss	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
R-cran-gtable	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-igraph	*/*: sync with upstream	2018-03-30 06:45:57 +02:00
R-cran-influenceR	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-inline	*/*: sync with upstream	2018-05-24 09:09:32 +02:00
R-cran-ipred	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-irlba	*/*: sync with upstream	2018-03-12 02:08:23 +01:00
R-cran-KFAS	*/*: sync with upstream	2018-05-24 09:09:32 +02:00
R-cran-labeling	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-lava	*/*: sync with upstream	2018-04-12 03:54:01 +02:00
R-cran-lazyeval	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-LearnBayes	*/*: sync with upstream	2018-03-28 03:35:49 +02:00
R-cran-lme4	*/*: sync with upstream	2018-04-12 03:54:01 +02:00
R-cran-magic	*/*: sync with upstream	2018-04-12 03:54:01 +02:00
R-cran-Matching	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
R-cran-MatchIt	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-MatrixModels	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-maxLik	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-mcmc	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-MCMCpack	*/*: sync with upstream	2018-05-18 06:59:16 +02:00
R-cran-memisc	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-minqa	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-miscTools	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-MSwM	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-mvtnorm	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-nloptr	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-NMF	*/*: sync with upstream	2018-03-24 09:42:06 +01:00
R-cran-nnls	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-nortest	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-numDeriv	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-outliers	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-pbkrtest	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-prodlim	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-psych	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-quadprog	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-qualityTools	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-quantreg	*/*: sync with upstream	2018-06-01 06:09:05 +02:00
R-cran-RcppArmadillo	*/*: sync with upstream	2018-05-08 16:43:10 +02:00
R-cran-RcppEigen	*/*: sync with upstream	2018-03-29 04:01:47 +02:00
R-cran-RcppRoll	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
R-cran-recipes	*/*: sync with upstream	2018-03-15 08:19:08 +01:00
R-cran-rgenoud	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
R-cran-RHmm	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-Rmpfr	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
R-cran-robustbase	*/*: sync with upstream	2018-04-25 22:09:27 +02:00
R-cran-Rsolnp	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-RSvgDevice	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-sandwich	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-sf	*/*: sync with upstream	2018-05-20 09:35:58 +02:00
R-cran-sm	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
R-cran-sp	*/*: sync with upstream	2018-06-16 10:31:02 +02:00
R-cran-SparseM	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-spData	*/*: sync with upstream	2018-04-02 15:35:44 +02:00
R-cran-spdep	*/*: sync with upstream	2018-04-12 03:54:01 +02:00
R-cran-SQUAREM	*/*: sync with upstream	2018-04-12 03:54:01 +02:00
R-cran-sspir	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-stabledist	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-survey	*/*: sync with upstream	2018-03-18 09:15:16 +01:00
R-cran-truncnorm	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-units	*/*: sync with upstream	2018-04-02 15:35:44 +02:00
R-cran-uroot	*/*: sync with upstream	2018-04-15 06:37:45 +02:00
R-cran-VGAM	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
R-cran-xts	*/*: sync with upstream	2018-03-16 07:16:30 +01:00
R-cran-Zelig	*/*: sync with upstream	2018-03-11 22:56:45 +01:00
R-cran-zoo	*/*: sync with upstream	2018-03-22 15:46:02 +01:00
randlib	*/*: sync with upstream	2016-06-30 07:11:11 +02:00
rapid	*/*: sync with upstream	2018-05-20 09:35:58 +02:00
reduce	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
reduce-psl	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
reed-solomon	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
rexx-regmath	*/*: sync with upstream	2018-04-01 07:40:24 +02:00
rkward-kde	*/*: sync with upstream	2018-04-23 07:02:47 +02:00
rngstreams	*/*: sync with upstream	2016-06-30 07:11:11 +02:00
rocs	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
rocs-kde4	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
rpcalc	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
rpy	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
rpy2	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
rubygem-algebra	*/*: sync with upstream	2016-12-28 12:42:23 +01:00
rubygem-expression_parser	*/*: sync with upstream	2016-04-28 07:17:55 +02:00
rubygem-fftw3	*/*: sync with upstream	2016-04-29 13:04:52 +02:00
rubygem-mathn	*/*: sync with upstream	2018-04-23 07:02:47 +02:00
rubygem-narray	*/*: sync with upstream	2017-01-20 08:33:57 +01:00
rubygem-narray_miss	*/*: sync with upstream	2018-01-15 19:01:03 +01:00
rubygem-numru-misc	*/*: sync with upstream	2018-01-15 19:01:03 +01:00
rubygem-numru-units	*/*: sync with upstream	2018-01-15 19:01:03 +01:00
rubygem-rb-gsl	*/*: sync with upstream	2017-07-04 01:23:12 +02:00
saga	*/*: sync with upstream	2018-05-13 16:20:27 +02:00
sage	*/*: sync with upstream	2018-05-02 17:27:24 +02:00
sc	*/*: sync with upstream	2016-02-07 16:27:40 +01:00
sc-im	*/*: sync with upstream	2017-12-15 13:43:24 +01:00
scalapack	*/*: sync with upstream	2018-05-06 05:29:22 +02:00
scilab	*/*: sync with upstream	2018-05-14 16:46:17 +02:00
scilab-toolbox-swt	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
SCIP	*/*: sync with upstream	2018-04-15 06:37:45 +02:00
sdpa	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
sdpara	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
secp256k1	*/*: sync with upstream	2018-01-29 20:07:33 +01:00
sfft	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
sfst	*/*: sync with upstream	2017-06-28 01:50:08 +02:00
simd-viterbi	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
slatec	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
slgrace	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
snns	*/*: sync with upstream	2016-05-19 16:29:05 +02:00
solitaire	*/*: sync with upstream	2015-11-07 09:50:56 +01:00
SoPlex	*/*: sync with upstream	2018-05-07 16:55:33 +02:00
sound-of-sorting	*/*: sync with upstream	2016-05-19 16:29:05 +02:00
spar	*/*: sync with upstream	2017-10-03 17:21:28 +02:00
spblas	*/*: sync with upstream	2018-04-28 23:11:06 +02:00
spectra	*/*: sync with upstream	2018-05-24 09:09:32 +02:00
speedcrunch	*/*: sync with upstream	2017-10-10 04:44:29 +02:00
spooles	*/*: sync with upstream	2018-03-11 22:56:45 +01:00
spooles-mpich	ports: pull in a snapshot of the FreeBSD ports tree	2014-11-09 14:03:21 +01:00
stp	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
suitesparse	*/*: sync with upstream	2018-06-05 10:35:24 +02:00
sundials	*/*: sync with upstream	2018-05-08 16:43:10 +02:00
superlu	*/*: sync with upstream	2018-05-07 16:55:33 +02:00
superlu_mt	*/*: sync with upstream	2018-05-15 16:55:35 +02:00
surf	*/*: sync with upstream	2016-12-09 07:25:04 +01:00
symmetrica	*/*: sync with upstream	2018-01-02 23:31:39 +01:00
tablix	*/*: sync with upstream	2016-12-09 07:25:04 +01:00
taucs	*/*: sync with upstream	2018-04-30 21:13:37 +02:00
tblis	*/*: sync with upstream	2018-01-17 22:26:27 +01:00
testu01	*/*: sync with upstream	2018-01-12 06:50:29 +01:00
tetgen	*/*: sync with upstream	2018-06-14 11:40:49 +02:00
timbl	*/*: sync with upstream	2018-02-26 09:17:44 +01:00
tmv	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
tomsfastmath	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
topaz	*/*: sync with upstream	2017-06-28 01:50:08 +02:00
triangle	*/*: sync with upstream	2016-06-28 08:15:05 +02:00
trlan	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
truthtable	*/*: sync previously available, but unused ports	2015-04-22 06:45:04 +02:00
tvmet	*/*: sync with upstream	2016-10-08 04:20:09 +02:00
ump	*/*: sync with upstream	2017-05-22 14:28:23 +02:00
units	*/*: sync with upstream	2016-07-27 07:58:02 +02:00
unuran	*/*: sync with upstream	2018-06-13 06:06:57 +02:00
viennacl	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
vowpal_wabbit	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
vtk5	*/*: sync with upstream	2018-01-12 06:50:29 +01:00
vtk5-data	*/*: sync with upstream	2018-05-06 05:29:22 +02:00
vtk6	*/*: sync with upstream	2018-03-20 11:09:32 +01:00
wcalc	*/*: sync with upstream	2018-04-19 19:43:55 +02:00
wfmath	*/*: sync with upstream	2017-09-10 16:31:24 +02:00
why3	*/*: sync with upstream	2017-01-30 07:39:03 +01:00
wingz3	*/*: sync with upstream	2017-09-22 11:26:58 +02:00
wxMaxima	*/*: sync with upstream	2017-07-28 06:50:35 +02:00
x12arima	*/*: sync with upstream	2018-03-11 05:13:37 +01:00
xblas	*/*: sync with upstream	2016-06-28 08:15:05 +02:00
xfce4-calculator-plugin	*/*: sync with upstream	2016-06-21 05:37:51 +02:00
xgraph	*/*: sync with upstream	2017-02-28 07:56:01 +01:00
xlapack	*/*: sync with upstream	2018-03-11 22:56:45 +01:00
xldlas	*/*: sync with upstream	2016-05-19 16:29:05 +02:00
xlife++	*/*: sync with upstream	2018-05-13 16:20:27 +02:00
xplot	*/*: sync with upstream	2016-07-17 12:54:50 +02:00
xppaut	*/*: sync with upstream	2016-10-22 19:45:15 +02:00
xspread	*/*: sync with upstream	2016-04-02 16:03:17 +02:00
xtensor	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
yacas	*/*: sync with upstream	2017-11-18 07:44:25 +01:00
z3	*/*: sync with upstream	2018-03-10 06:34:33 +01:00
zimpl	*/*: sync with upstream	2018-06-11 06:33:04 +02:00
Makefile	*/*: sync with upstream	2018-06-16 10:31:02 +02:00