.. |
4ti2
|
|
|
aamath
|
|
|
abella
|
|
|
abs
|
math/abs: fix build on recent current
|
2020-08-27 17:08:48 +00:00 |
acalc
|
|
|
add
|
|
|
adept
|
math/adept: Update 2.0.5 -> 2.0.8
|
2020-09-14 16:59:44 +00:00 |
adol-c
|
|
|
algae
|
|
|
alglib
|
|
|
alt-ergo
|
|
|
amath
|
|
|
ambit
|
|
|
analitza
|
Update KDE Apps to 20.08.3
|
2020-11-05 17:42:01 +00:00 |
ann
|
|
|
antic
|
|
|
apache-commons-math
|
|
|
apc
|
|
|
apron
|
|
|
arb
|
math/arb: Change build to cmake
|
2020-09-14 16:51:10 +00:00 |
aribas
|
|
|
armadillo
|
math/armadillo: Update to 10.1.1
|
2020-10-29 22:30:44 +00:00 |
arpack-ng
|
|
|
arpack++
|
|
|
ascent
|
|
|
aspcud
|
|
|
asymptote
|
- Update to 2.67
|
2020-09-27 13:54:24 +00:00 |
atlas
|
|
|
barvinok
|
Re-add port: math/barvinok: Library for counting the number of integer points in polytopes
|
2020-09-23 01:27:48 +00:00 |
bcal
|
|
|
bitwise
|
|
|
blacs
|
|
|
blas
|
|
|
blasfeo
|
math/blasfeo: Update 0.1.1 -> 0.1.2
|
2020-09-08 05:11:26 +00:00 |
blaze
|
|
|
blazeiterative
|
|
|
blis
|
|
|
blocksolve95
|
|
|
bonmin
|
|
|
boolector
|
|
|
brial
|
Upgrade to 1.2.10 (revert system CUDD support).
|
2020-10-01 18:20:26 +00:00 |
bsdnt
|
|
|
btor2tools
|
|
|
cadabra2
|
math/cadabra2: Update 2.3.0 -> 2.3.2
|
2020-11-05 23:11:01 +00:00 |
cadical
|
|
|
calc
|
|
|
calcoo
|
|
|
cantor
|
math/cantor: Support ptyhon3.9
|
2020-11-05 18:49:11 +00:00 |
casadi
|
math/casadi: Update 3.5.4 -> 3.5.5
|
2020-09-06 07:22:58 +00:00 |
cbc
|
|
|
cblas
|
|
|
ccmath
|
|
|
cddlib
|
|
|
ceres-solver
|
math/ceres-solver: update to 2.0.0
|
2020-11-04 01:05:44 +00:00 |
cgal
|
|
|
cgl
|
|
|
cglm
|
|
|
chaco
|
|
|
chryzodus
|
|
|
clasp
|
|
|
clblas
|
|
|
clblast
|
|
|
clfft
|
|
|
clingo
|
|
|
cliquer
|
Upgrade to 1.22.
|
2020-09-14 19:59:14 +00:00 |
cln
|
|
|
cloog
|
|
|
clp
|
|
|
clrng
|
Allow building on all variants of powerpc.
|
2020-09-24 20:59:50 +00:00 |
cminpack
|
|
|
cmlib
|
|
|
cocoalib
|
|
|
coin-or-data-netlib
|
|
|
coin-or-data-sample
|
|
|
coin-or-data-stochastic
|
|
|
coinmp
|
Return cpm@'s ports to the pool after safekeeping his commit bit.
|
2020-10-05 17:34:54 +00:00 |
coinmumps
|
New port: math/coinmumps: MUltifrontal Massively Parallel sparse direct Solver (MUMPS)
|
2020-10-19 03:54:22 +00:00 |
coinutils
|
|
|
combblas
|
|
|
concorde
|
|
|
convertall
|
Update PyQt to 5.15.0, py-sip to 4.19.24 and qscintilla2 to 2.11.5
|
2020-10-05 15:50:03 +00:00 |
coq
|
|
|
couenne
|
|
|
cppad
|
|
|
crlibm
|
|
|
cryptominisat
|
math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.
|
2020-10-19 14:59:18 +00:00 |
csdp
|
|
|
ctl-sat
|
|
|
cudd
|
|
|
curv
|
|
|
cvc3
|
|
|
cvc4
|
|
|
dbcsr
|
|
|
deal.ii
|
math/deal.ii: Update 9.1.1 -> 9.2.0.20201001
|
2020-10-02 00:14:03 +00:00 |
dieharder
|
math/dieharder: fix build on recent current
|
2020-08-28 18:56:30 +00:00 |
djbfft
|
|
|
drgeo
|
|
|
dsdp
|
|
|
dune-alugrid
|
|
|
dune-common
|
|
|
dune-functions
|
|
|
dune-geometry
|
|
|
dune-grid
|
|
|
dune-istl
|
|
|
dune-localfunctions
|
|
|
dune-pdelab
|
|
|
dune-spgrid
|
|
|
dune-typetree
|
|
|
dune-uggrid
|
|
|
e-antic
|
|
|
eclib
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
ecos
|
math/ecos: Update 2.0.7 -> 2.0.8
|
2020-10-27 01:52:31 +00:00 |
edenmath
|
|
|
eigen2
|
|
|
eigen3
|
|
|
eispack
|
|
|
elemental
|
math/elemental: Update 1.4.0 -> 1.5.0
|
2020-10-09 20:21:24 +00:00 |
elpa
|
|
|
emc2
|
|
|
ensmallen
|
math/armadillo: Update to 10.1.1
|
2020-10-29 22:30:44 +00:00 |
ent
|
|
|
eprover
|
|
|
ess
|
Change the maintainer entry in rhurlin's ports
|
2020-09-10 19:17:38 +00:00 |
eukleides
|
- Fix building with -CURRENT
|
2020-09-11 17:35:26 +00:00 |
eval
|
|
|
exprtk
|
math/exprtk: Update g20200510 -> g20201017
|
2020-10-18 03:28:07 +00:00 |
facile
|
|
|
faiss
|
math/faiss: Update 1.6.3-72 -> 1.6.4
|
2020-10-24 18:47:31 +00:00 |
fann
|
|
|
fcl
|
|
|
fcl05
|
|
|
fflas-ffpack
|
|
|
fftw
|
|
|
fftw3
|
|
|
fftw3-float
|
|
|
fftw3-long
|
|
|
fftw3-quad
|
|
|
fftw-float
|
|
|
flann
|
math/flann: Remove a bogus semicolon in .pc file (this caused failure in misc/openmvg)
|
2020-09-23 17:56:03 +00:00 |
flexfloat
|
|
|
flint2
|
|
|
flintqs
|
|
|
form
|
|
|
fpc-fftw
|
|
|
fpc-gmp
|
|
|
fpc-numlib
|
|
|
fplll
|
|
|
fricas
|
|
|
frobby
|
|
|
fxt
|
|
|
g2o
|
math/g2o: Update DISTVERSION, move _git into DISTVERSIONSUFFIX
|
2020-09-14 16:34:58 +00:00 |
galculator
|
Zap duplicate definition to fix build with -fno-common.
|
2020-08-24 15:05:08 +00:00 |
gambit
|
|
|
gap
|
|
|
gau2grid
|
Allow building on powerpc64le.
|
2020-09-27 21:20:40 +00:00 |
gemmlowp
|
|
|
geogebra
|
|
|
geogram
|
math/geogram: Fix build on 13
|
2020-09-22 19:50:49 +00:00 |
geonext
|
|
|
gexpr
|
|
|
gf2x
|
|
|
gfan
|
|
|
gfanlib
|
|
|
ggobi
|
Change the maintainer entry in rhurlin's ports
|
2020-09-10 19:17:38 +00:00 |
gh-bc
|
Update to version 3.1.6
|
2020-10-01 15:36:27 +00:00 |
giacxcas
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
GiNaC
|
|
|
givaro
|
|
|
gkmap
|
Fix build with -fno-common
|
2020-10-01 18:40:01 +00:00 |
glgraph
|
|
|
glm
|
|
|
glpk
|
|
|
glucose
|
|
|
gmm++
|
|
|
gmp
|
Allow to build on RISC-V architecture.
|
2020-11-08 09:00:42 +00:00 |
gmp-ecm
|
|
|
gnome-calculator
|
math/gnome-calculator: Update to 3.38.1
|
2020-11-07 10:09:30 +00:00 |
gnubc
|
Fix build with -fno-common
|
2020-09-03 12:05:26 +00:00 |
gnumeric
|
Update to 1.12.48
|
2020-09-30 12:24:26 +00:00 |
gnuplot
|
|
|
gnuplot-lite
|
|
|
gnuplot-tex-extras
|
|
|
gotoblas
|
|
|
gp2c
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
grace
|
|
|
graphthing
|
|
|
gretl
|
|
|
gri
|
|
|
gringo
|
|
|
grpn
|
|
|
gsl
|
|
|
half
|
|
|
hexcalc
|
|
|
hipmcl
|
|
|
hmat-oss
|
|
|
hpcombi
|
|
|
hpipm
|
|
|
hs-Agda
|
math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will improve
|
2020-08-31 10:58:30 +00:00 |
hs-penrose
|
|
|
ideep
|
|
|
ignition-math
|
|
|
igraph
|
|
|
iml
|
|
|
intervaltree
|
|
|
ipopt
|
|
|
ised
|
|
|
jacal
|
|
|
jags
|
|
|
jama
|
|
|
jeuclid
|
|
|
jlatexmath
|
|
|
jsmath-fonts
|
|
|
jtransforms
|
|
|
jts
|
Update to 1.17.1.
|
2020-10-26 06:13:33 +00:00 |
kalgebra
|
Update KDE Apps to 20.08.3
|
2020-11-05 17:42:01 +00:00 |
kbruch
|
Update KDE Apps to 20.08.3
|
2020-11-05 17:42:01 +00:00 |
kcalc
|
Update KDE Apps to 20.08.3
|
2020-11-05 17:42:01 +00:00 |
kig
|
Update KDE Apps to 20.08.3
|
2020-11-05 17:42:01 +00:00 |
kktdirect
|
|
|
kmplot
|
Update KDE Apps to 20.08.3
|
2020-11-05 17:42:01 +00:00 |
labplot
|
math/labplot: fix build against cantor-20.08.3
|
2020-11-07 14:03:51 +00:00 |
lambda
|
|
|
lapack
|
|
|
lapack95
|
|
|
lapack++
|
|
|
lapacke
|
|
|
laspack
|
|
|
latte-integrale
|
|
|
lcalc
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
ldouble
|
|
|
lean
|
math/lean: Update 3.22.0 -> 3.23.0
|
2020-10-31 07:27:06 +00:00 |
lemon
|
|
|
levmar
|
|
|
libbraiding
|
Minoe update to 1.1, no impact for FreeBSD.
|
2020-09-13 19:33:02 +00:00 |
libccd
|
|
|
libflame
|
Allow building on all variants of powerpc.
|
2020-09-24 21:01:55 +00:00 |
libhomfly
|
|
|
libmesh
|
math/libmesh: Update 1.6.0-rc3 -> 1.6.0
|
2020-10-24 18:59:24 +00:00 |
libmissing
|
|
|
libnormaliz
|
|
|
libocas
|
|
|
liborigin
|
|
|
libpgmath
|
|
|
libpoly
|
|
|
libqalculate
|
devel/icu: update to 68.1
|
2020-11-03 00:56:26 +00:00 |
libranlip
|
|
|
librdata
|
|
|
libRmath
|
Allow building on powerpc64le.
|
2020-09-27 21:22:29 +00:00 |
librsb
|
|
|
libsemigroups
|
Minor update to v1.3.3.
|
2020-10-10 17:38:05 +00:00 |
libtommath
|
|
|
libxls
|
update to 1.5.3
|
2020-08-25 12:57:16 +00:00 |
libxlsxwriter
|
Update to 1.0.0
|
2020-09-14 18:54:27 +00:00 |
libxsmm
|
math/libxsmm: Update 1.10 -> 1.16.1
|
2020-09-21 17:19:26 +00:00 |
lidia
|
|
|
linbox
|
|
|
linpack
|
|
|
lis
|
math/lis: Update 2.0.22 -> 2.0.23
|
2020-08-27 04:30:57 +00:00 |
lll_spect
|
|
|
lp_solve
|
|
|
lrcalc
|
|
|
lrng
|
|
|
lrslib
|
math/lrslib: fix build on GCC architectures
|
2020-09-23 15:49:10 +00:00 |
ltl2ba
|
|
|
m4ri
|
|
|
m4rie
|
|
|
mate-calc
|
Update to 1.24.1
|
2020-09-17 20:15:51 +00:00 |
math77
|
|
|
mathgl
|
|
|
mathmod
|
|
|
mathomatic
|
|
|
matio
|
math/matio: Update to 1.5.19
|
2020-11-07 17:37:14 +00:00 |
matlab-installer
|
|
|
maxima
|
math/maxima: Remove reference to non-existent patch file
|
2020-11-05 06:51:12 +00:00 |
mbasecalc
|
|
|
mcsim
|
|
|
metis
|
|
|
mfem
|
math/mfem: Update 4.1 -> 4.2
|
2020-10-31 08:48:38 +00:00 |
mingw32-libgmp
|
|
|
minisat
|
|
|
minizinc
|
math/minizinc: The WITH_SCIP option isn't broken any more as of version 2.5.1
|
2020-11-04 09:24:29 +00:00 |
minizinc-ide
|
math/minizinc-ide: Update 2.5.0 -> 2.5.1
|
2020-10-25 18:50:54 +00:00 |
miracl
|
|
|
mlpack
|
math/armadillo: Update to 10.1.1
|
2020-10-29 22:30:44 +00:00 |
moab
|
math/moab: Update 5.1.1 -> 5.2.1
|
2020-10-15 23:38:45 +00:00 |
moo
|
|
|
mpc
|
|
|
mpexpr
|
|
|
mpfi
|
|
|
mpfr
|
|
|
mpfrc++
|
|
|
mpir
|
|
|
mppp
|
|
|
mprime
|
|
|
mpsolve
|
|
|
mtrxmath
|
|
|
multichoose
|
|
|
mumps
|
|
|
mumps4
|
|
|
muparser
|
|
|
nanoflann
|
math/nanoflann: Update 1.3.1 -> 1.3.2
|
2020-11-06 18:20:23 +00:00 |
nauty
|
- Upgrade to 2.7 (27r1)
|
2020-10-03 15:44:46 +00:00 |
ndiff
|
|
|
newmat
|
|
|
nfft
|
|
|
ngraph
|
|
|
nlopt
|
Change the maintainer entry in rhurlin's ports
|
2020-09-10 19:17:38 +00:00 |
ntl
|
|
|
numdiff
|
|
|
ocaml-ocamlgraph
|
|
|
ocaml-zarith
|
|
|
ocamlgsl
|
|
|
octave
|
Update PyQt to 5.15.0, py-sip to 4.19.24 and qscintilla2 to 2.11.5
|
2020-10-05 15:50:03 +00:00 |
octave-forge
|
|
|
octave-forge-actuarial
|
|
|
octave-forge-audio
|
- Update to 2.0.2.
|
2020-10-17 18:32:12 +00:00 |
octave-forge-base
|
|
|
octave-forge-bim
|
|
|
octave-forge-bioinfo
|
|
|
octave-forge-bsltl
|
|
|
octave-forge-cgi
|
|
|
octave-forge-civil-engineering
|
|
|
octave-forge-communications
|
|
|
octave-forge-control
|
|
|
octave-forge-data-smoothing
|
|
|
octave-forge-database
|
|
|
octave-forge-dataframe
|
|
|
octave-forge-dicom
|
- Update to 0.4.0.
|
2020-09-26 18:01:00 +00:00 |
octave-forge-divand
|
|
|
octave-forge-doctest
|
|
|
octave-forge-econometrics
|
|
|
octave-forge-fenv
|
|
|
octave-forge-financial
|
|
|
octave-forge-fits
|
|
|
octave-forge-fpl
|
|
|
octave-forge-fuzzy-logic-toolkit
|
|
|
octave-forge-ga
|
|
|
octave-forge-general
|
|
|
octave-forge-generate_html
|
|
|
octave-forge-geometry
|
|
|
octave-forge-gnuplot
|
|
|
octave-forge-gsl
|
|
|
octave-forge-ident
|
|
|
octave-forge-image
|
|
|
octave-forge-informationtheory
|
|
|
octave-forge-integration
|
|
|
octave-forge-interval
|
|
|
octave-forge-io
|
- Update to 2.6.3.
|
2020-11-02 18:11:09 +00:00 |
octave-forge-irsa
|
|
|
octave-forge-level-set
|
|
|
octave-forge-linear-algebra
|
|
|
octave-forge-lssa
|
- Update to 0.1.4.
|
2020-10-23 16:28:37 +00:00 |
octave-forge-ltfat
|
|
|
octave-forge-mapping
|
- Update to 1.4.1.
|
2020-11-08 07:49:28 +00:00 |
octave-forge-matgeom
|
|
|
octave-forge-mechanics
|
|
|
octave-forge-miscellaneous
|
|
|
octave-forge-missing-functions
|
|
|
octave-forge-msh
|
|
|
octave-forge-multicore
|
|
|
octave-forge-mvn
|
|
|
octave-forge-nan
|
- Update to 3.5.2.
|
2020-11-08 07:48:51 +00:00 |
octave-forge-ncarray
|
|
|
octave-forge-netcdf
|
- Update to 1.0.14.
|
2020-10-17 18:32:41 +00:00 |
octave-forge-nlwing2
|
|
|
octave-forge-nnet
|
|
|
octave-forge-nurbs
|
|
|
octave-forge-oct2mat
|
|
|
octave-forge-octclip
|
|
|
octave-forge-octproj
|
|
|
octave-forge-odebvp
|
|
|
octave-forge-optics
|
|
|
octave-forge-optim
|
|
|
octave-forge-optiminterp
|
|
|
octave-forge-outliers
|
|
|
octave-forge-plot
|
|
|
octave-forge-quaternion
|
|
|
octave-forge-queueing
|
|
|
octave-forge-secs1d
|
|
|
octave-forge-secs2d
|
|
|
octave-forge-secs3d
|
|
|
octave-forge-signal
|
|
|
octave-forge-simp
|
|
|
octave-forge-sockets
|
|
|
octave-forge-sparsersb
|
|
|
octave-forge-specfun
|
|
|
octave-forge-special-matrix
|
|
|
octave-forge-splines
|
|
|
octave-forge-statistics
|
|
|
octave-forge-stk
|
|
|
octave-forge-struct
|
|
|
octave-forge-symband
|
|
|
octave-forge-symbolic
|
|
|
octave-forge-tcl-octave
|
|
|
octave-forge-tsa
|
|
|
octave-forge-zenity
|
|
|
octave-forge-zeromq
|
- Update to 1.5.2.
|
2020-10-17 18:31:22 +00:00 |
octomap
|
math/octomap: Update 1.9.3.20200619 -> 1.9.5-190
|
2020-09-24 08:00:19 +00:00 |
ogdf
|
|
|
oleo
|
Improve pkg-descr
|
2020-09-23 18:31:45 +00:00 |
onednn
|
math/onednn: Add CPU_RUNTIME options; Change cmake variables to defined cmake optons.
|
2020-11-07 09:00:44 +00:00 |
openblas
|
math/openblas: add missing library to pkg-plist
|
2020-09-06 18:28:35 +00:00 |
openlibm
|
Apply patch to restore prior and working state:
|
2020-09-14 14:31:21 +00:00 |
opensolaris-libm
|
|
|
openturns
|
math/ceres-solver: update to 2.0.0
|
2020-11-04 01:05:44 +00:00 |
optpp
|
|
|
or-tools
|
Bump PORTREVISION for devel/protobuf shlib change
|
2020-08-30 20:19:41 +00:00 |
orpie
|
|
|
osi
|
|
|
osqp
|
|
|
p5-AI-DecisionTree
|
|
|
p5-AI-Genetic
|
|
|
p5-AI-NeuralNet-BackProp
|
|
|
p5-AI-Perceptron
|
|
|
p5-Algorithm-Combinatorics
|
|
|
p5-Algorithm-CurveFit
|
|
|
p5-Algorithm-Munkres
|
|
|
p5-bignum
|
|
|
p5-Bit-ShiftReg
|
|
|
p5-Bit-Vector
|
|
|
p5-Bit-Vector-Minimal
|
|
|
p5-CAD-Calc
|
|
|
p5-Chart-Math-Axis
|
|
|
p5-Data-Float
|
|
|
p5-Date-Handler
|
|
|
p5-Geo-Coordinates-UTM
|
|
|
p5-Geo-Distance
|
|
|
p5-Geo-Distance-XS
|
|
|
p5-GIS-Distance
|
|
|
p5-GIS-Distance-Fast
|
|
|
p5-GIS-Distance-Lite
|
|
|
p5-Graph
|
- Update to 0.9707
|
2020-11-03 08:31:05 +00:00 |
p5-Math-Algebra-Symbols
|
|
|
p5-Math-Base36
|
|
|
p5-Math-Base85
|
|
|
p5-Math-BaseCalc
|
Return jadawin@'s ports to the pool after taking in his commit bit.
|
2020-10-05 17:45:32 +00:00 |
p5-Math-BaseCnv
|
|
|
p5-Math-Bezier
|
|
|
p5-Math-Bezier-Convert
|
|
|
p5-Math-BigInt
|
|
|
p5-Math-BigInt-FastCalc
|
|
|
p5-Math-BigInt-GMP
|
|
|
p5-Math-BigInt-Lite
|
|
|
p5-Math-BigInt-Pari
|
|
|
p5-Math-BigRat
|
|
|
p5-Math-Calc-Units
|
|
|
p5-Math-CDF
|
|
|
p5-Math-Cephes
|
|
|
p5-Math-Combinatorics
|
|
|
p5-Math-Complex
|
|
|
p5-Math-ConvexHull
|
|
|
p5-Math-Currency
|
|
|
p5-Math-Derivative
|
|
|
p5-Math-Evol
|
|
|
p5-Math-Expr
|
|
|
p5-Math-FFT
|
math/p5-Math-FFT: Update version 1.34=>1.36
|
2020-10-25 19:04:40 +00:00 |
p5-Math-FixedPrecision
|
|
|
p5-Math-Fleximal
|
|
|
p5-Math-Geometry
|
|
|
p5-Math-Geometry-Planar
|
|
|
p5-Math-Geometry-Planar-GPC
|
|
|
p5-Math-Geometry-Planar-GPC-PolygonXS
|
|
|
p5-Math-Geometry-Planar-Offset
|
|
|
p5-Math-Geometry-Voronoi
|
|
|
p5-Math-GMP
|
|
|
p5-Math-GMPf
|
|
|
p5-Math-GMPq
|
|
|
p5-Math-GMPz
|
|
|
p5-Math-Gradient
|
|
|
p5-Math-GSL
|
|
|
p5-Math-Int64
|
|
|
p5-Math-Int128
|
|
|
p5-Math-Interpolate
|
|
|
p5-Math-Intersection-StraightLine
|
|
|
p5-Math-Logic
|
|
|
p5-Math-Matrix
|
Update to 0.91
|
2020-08-23 19:40:38 +00:00 |
p5-Math-MatrixReal
|
|
|
p5-Math-MPC
|
Update to 1.12
|
2020-09-07 18:12:29 +00:00 |
p5-Math-MPFR
|
Convert REINPLACE_CMD to patch file
|
2020-09-06 15:40:00 +00:00 |
p5-Math-NumberCruncher
|
|
|
p5-Math-Pari
|
Actually fix on powerpc64le.
|
2020-09-24 01:58:40 +00:00 |
p5-Math-Polygon
|
|
|
p5-Math-Polygon-Tree
|
|
|
p5-Math-Polynomial-Solve
|
|
|
p5-Math-Prime-Util
|
|
|
p5-Math-Prime-Util-GMP
|
|
|
p5-Math-Prime-XS
|
|
|
p5-Math-ProvablePrime
|
|
|
p5-Math-Random
|
|
|
p5-Math-Random-ISAAC
|
|
|
p5-Math-Random-ISAAC-XS
|
|
|
p5-Math-Random-MT
|
|
|
p5-Math-Random-MT-Auto
|
|
|
p5-Math-Random-OO
|
|
|
p5-Math-Random-Secure
|
|
|
p5-Math-RandomOrg
|
|
|
p5-Math-Round
|
|
|
p5-Math-Round-Var
|
|
|
p5-Math-RPN
|
|
|
p5-Math-Sequence
|
|
|
p5-Math-Series
|
|
|
p5-Math-SigFigs
|
|
|
p5-Math-SimpleVariable
|
|
|
p5-Math-Spline
|
|
|
p5-Math-String
|
|
|
p5-Math-Symbolic
|
|
|
p5-Math-Symbolic-Custom-CCompiler
|
|
|
p5-Math-Symbolic-Custom-Contains
|
|
|
p5-Math-Symbolic-Custom-ErrorPropagation
|
|
|
p5-Math-Symbolic-Custom-LaTeXDumper
|
|
|
p5-Math-Symbolic-Custom-Pattern
|
|
|
p5-Math-Symbolic-Custom-Simplification
|
|
|
p5-Math-Symbolic-Custom-Transformation
|
|
|
p5-Math-SymbolicX-BigNum
|
|
|
p5-Math-SymbolicX-Complex
|
|
|
p5-Math-SymbolicX-Error
|
|
|
p5-Math-SymbolicX-Inline
|
|
|
p5-Math-SymbolicX-NoSimplification
|
|
|
p5-Math-SymbolicX-ParserExtensionFactory
|
|
|
p5-Math-SymbolicX-Statistics-Distributions
|
|
|
p5-Math-TrulyRandom
|
|
|
p5-Math-Units
|
|
|
p5-Math-Utils
|
|
|
p5-Math-Vec
|
|
|
p5-Math-VecStat
|
|
|
p5-Math-VectorReal
|
|
|
p5-NetCDF
|
|
|
p5-Number-Compare
|
|
|
p5-Number-Fraction
|
|
|
p5-Number-Misc
|
|
|
p5-Number-Uncertainty
|
|
|
p5-Number-WithError
|
|
|
p5-Number-WithError-LaTeX
|
|
|
p5-Parse-Range
|
|
|
p5-Roman
|
|
|
p5-Set-IntSpan
|
|
|
p5-Set-IntSpan-Fast
|
|
|
p5-Set-IntSpan-Fast-XS
|
|
|
p5-Set-Partition
|
|
|
p5-Set-Window
|
|
|
p5-Statistics-Basic
|
|
|
p5-Statistics-Benford
|
|
|
p5-Statistics-CaseResampling
|
|
|
p5-Statistics-ChiSquare
|
|
|
p5-Statistics-Contingency
|
|
|
p5-Statistics-Descriptive
|
- Update to 3.0800
|
2020-10-20 07:16:49 +00:00 |
p5-Statistics-Descriptive-Discrete
|
|
|
p5-Statistics-Distributions
|
|
|
p5-Statistics-Forecast
|
|
|
p5-Statistics-Frequency
|
|
|
p5-Statistics-LineFit
|
|
|
p5-Statistics-Lite
|
|
|
p5-Statistics-LTU
|
|
|
p5-Statistics-OLS
|
|
|
p5-Statistics-R
|
|
|
p5-Statistics-Regression
|
|
|
p5-Statistics-TTest
|
|
|
p5-Task-Math-Symbolic
|
|
|
p5-Text-AsciiTeX
|
|
|
palp
|
Upgrade to 2.20: bug fixes, new options cws.x -m, poly.x -o, poly.x -q.
|
2020-10-20 16:51:16 +00:00 |
pantheon-calculator
|
|
|
pari
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
pari_elldata
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
pari_galdata
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
pari_galpol
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
pari_nftables
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
pari_seadata
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
parmetis
|
|
|
parmgridgen
|
|
|
pdal
|
math/pdal: fix typo
|
2020-09-12 19:29:15 +00:00 |
PDL
|
|
|
pear-Math_BigInteger
|
|
|
pear-Math_Combinatorics
|
|
|
pecl-bitset
|
|
|
pecl-stats2
|
math/pecl-stats2: Ignore with PHP 8.0
|
2020-10-26 23:21:21 +00:00 |
petiga
|
|
|
php72-bcmath
|
|
|
php72-gmp
|
|
|
php73-bcmath
|
|
|
php73-gmp
|
|
|
php74-bcmath
|
|
|
php74-gmp
|
|
|
php80-bcmath
|
Welcome PHP 8.0 RC 2 to the ports tree
|
2020-10-21 22:58:51 +00:00 |
php80-gmp
|
Welcome PHP 8.0 RC 2 to the ports tree
|
2020-10-21 22:58:51 +00:00 |
physcalc
|
|
|
picosat
|
|
|
piranha
|
|
|
planarity
|
|
|
plman
|
|
|
ploticus
|
|
|
ploticus-nox11
|
|
|
plplot
|
|
|
plplot-ada
|
|
|
poly2tri
|
|
|
polylib
|
|
|
primegen
|
|
|
primesieve
|
|
|
primme
|
|
|
prng
|
|
|
pspp
|
Return cpm@'s ports to the pool after safekeeping his commit bit.
|
2020-10-05 17:34:54 +00:00 |
py-affine
|
|
|
py-algopy
|
|
|
py-altgraph
|
|
|
py-apgl
|
|
|
py-arviz
|
math/py-arviz: Update 0.9.0 -> 0.10.0
|
2020-10-02 03:04:07 +00:00 |
py-autograd
|
|
|
py-bayesian-optimization
|
|
|
py-bitmath
|
|
|
py-bitvector
|
|
|
py-bottleneck
|
|
|
py-brial
|
Upgrade to 1.2.10 (revert system CUDD support).
|
2020-10-01 18:20:26 +00:00 |
py-cdecimal
|
|
|
py-chaospy
|
math/py-chaospy: Update 4.0.1 -> 4.0.2
|
2020-11-07 23:17:53 +00:00 |
py-claripy
|
Update angr and its dependencies to 9.0.4446
|
2020-09-25 12:08:25 +00:00 |
py-cma
|
Remove SKOPT option
|
2020-09-05 21:32:38 +00:00 |
py-colormath
|
Unbreak bulk -a
|
2020-09-19 14:15:42 +00:00 |
py-cryptominisat
|
math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.
|
2020-10-19 14:59:18 +00:00 |
py-cvxopt
|
|
|
py-cvxpy
|
math/py-cvxpy: Update 1.1.6 -> 1.1.7
|
2020-10-24 19:04:45 +00:00 |
py-cyipopt
|
|
|
py-CyLP
|
|
|
py-cypari2
|
Fix a breakage introduced by r553237:
|
2020-10-27 21:07:08 +00:00 |
py-deap
|
|
|
py-Diofant
|
|
|
py-ecos
|
|
|
py-fastcluster
|
|
|
py-fastdtw
|
|
|
py-flax
|
Update to 0.2.2
|
2020-10-02 13:18:23 +00:00 |
py-fpylll
|
|
|
py-gau2grid
|
|
|
py-gimmik
|
|
|
py-gmpy
|
|
|
py-gmpy2
|
|
|
py-gmpy2-devel
|
|
|
py-grandalf
|
math/py-grandalf: Update 0.6 -> 0.7
|
2020-09-06 14:47:25 +00:00 |
py-graphillion
|
|
|
py-GridDataFormats
|
|
|
py-gym
|
Update to 0.17.3
|
2020-10-02 07:31:02 +00:00 |
py-hdbscan
|
|
|
py-hdmedians
|
math/py-hdmedians: Update 0.13 -> 0.14
|
2020-09-25 09:28:54 +00:00 |
py-intspan
|
|
|
py-jax
|
Update to 0.1.77
|
2020-09-20 18:57:56 +00:00 |
py-keras
|
|
|
py-keras-applications
|
|
|
py-keras-preprocessing
|
|
|
py-kiwisolver
|
|
|
py-levmar
|
|
|
py-libpoly
|
|
|
py-luminol
|
Return araujo@'s ports to the pool after his commit bit was safekept.
|
2020-11-03 20:51:34 +00:00 |
py-matplotlib
|
math/py-matplotlib: Unbreak in 11.4
|
2020-10-29 07:16:09 +00:00 |
py-matplotlib2
|
Fix duplicate PKGBASE
|
2020-09-19 13:47:29 +00:00 |
py-matplotlib-scalebar
|
Unbreak bulk -a
|
2020-09-19 14:15:42 +00:00 |
py-mip
|
math/py-mip: Update 1.11.0 -> 1.12.0
|
2020-09-13 18:56:52 +00:00 |
py-mpmath
|
|
|
py-munkres
|
|
|
py-munkres10
|
|
|
py-MutatorMath
|
|
|
py-networkx
|
Unbreak bulk -a
|
2020-09-19 14:15:42 +00:00 |
py-networkx1
|
math/py-networkx1: Deprecate port
|
2020-10-30 07:32:11 +00:00 |
py-nevergrad
|
Update version requirement of RUN_DEPENDS
|
2020-09-05 21:32:42 +00:00 |
py-numeric
|
|
|
py-numexpr
|
|
|
py-numpoly
|
math/py-numpoly: Update 1.0.6 -> 1.0.8
|
2020-11-06 23:29:47 +00:00 |
py-numpy
|
|
|
py-numpy-stl
|
- Update to 2.11.3
|
2020-10-12 20:02:57 +00:00 |
py-opt-einsum
|
|
|
py-or-tools
|
Fix build on powerpc64 by extending the clauses by which ARCH_K8 is
|
2020-09-06 18:40:36 +00:00 |
py-osqp
|
|
|
py-pandas
|
|
|
py-pandas-datareader
|
|
|
py-patsy
|
|
|
py-pdal
|
Add compiler:c++11-lang to USES to fix build on GCC-based systems:
|
2020-09-09 14:17:07 +00:00 |
py-permutation
|
|
|
py-petsc4py
|
|
|
py-piranha
|
|
|
py-plastex
|
|
|
py-pplpy
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
py-primme
|
|
|
py-PuLP
|
|
|
py-pyasp
|
|
|
py-pybloom
|
|
|
py-pyclipper
|
|
|
py-pycosat
|
|
|
py-pyFFTW
|
|
|
py-pygsl
|
|
|
py-pygslodeiv2
|
|
|
py-pyhull
|
|
|
py-pyipopt
|
|
|
py-pymc3
|
|
|
py-PyMetis
|
|
|
py-pyneqsys
|
|
|
py-pynleq2
|
|
|
py-pynndescent
|
|
|
py-pyodeint
|
|
|
py-pyodesys
|
|
|
py-Pyomo
|
|
|
py-PySCIPOpt
|
|
|
py-pysmt
|
|
|
py-pystan
|
|
|
py-pysym
|
|
|
py-python-fcl
|
|
|
py-python-igraph
|
|
|
py-python-louvain
|
Unbreak bulk -a
|
2020-09-19 14:15:42 +00:00 |
py-pyvtk
|
|
|
py-PyWavelets
|
math/py-PyWavelets:
|
2020-09-28 21:16:54 +00:00 |
py-quadprog
|
|
|
py-random2
|
|
|
py-roman
|
- Update to 3.3
|
2020-11-03 02:08:05 +00:00 |
py-rpy2
|
devel/icu: update to 68.1
|
2020-11-03 00:56:26 +00:00 |
py-scientific
|
|
|
py-scikit-umfpack
|
|
|
py-scs
|
|
|
py-seaborn
|
|
|
py-secp256k1
|
|
|
py-seriate
|
|
|
py-simhash
|
math/py-simhash: Update 1.10.2 -> 1.11.0
|
2020-09-06 14:48:56 +00:00 |
py-slepc4py
|
|
|
py-snuggs
|
|
|
py-spectral
|
|
|
py-spot
|
math/py-spot: Update 2.9.3 -> 2.9.4
|
2020-09-19 03:34:58 +00:00 |
py-ssm
|
Attempt to unbreak bulk -a
|
2020-10-13 02:51:21 +00:00 |
py-statsmodels
|
Update version requirement of RUN_DEPENDS
|
2020-09-05 21:32:47 +00:00 |
py-statsmodels010
|
Update version requirement of RUN_DEPENDS
|
2020-09-05 21:32:51 +00:00 |
py-svgmath
|
|
|
py-sym
|
|
|
py-symcxx
|
|
|
py-sympy
|
|
|
py-theano
|
|
|
py-triangle
|
|
|
py-uncertainties
|
|
|
py-vincenty
|
|
|
py-yt
|
math/py-yt: remove optional non-default support for expired graphics/py-pyembree
|
2020-09-04 19:24:54 +00:00 |
py-z3-solver
|
|
|
pynac
|
|
|
qalculate
|
|
|
qd
|
|
|
qhull
|
|
|
qhull5
|
- Depreciate, because this legacy port is no longer required by
|
2020-09-08 18:48:14 +00:00 |
qposases
|
|
|
qrupdate
|
|
|
qtiplot-doc
|
|
|
qwtplot3d
|
|
|
R
|
devel/icu: update to 68.1
|
2020-11-03 00:56:26 +00:00 |
R-cran-acepack
|
|
|
R-cran-ADGofTest
|
|
|
R-cran-alabama
|
|
|
R-cran-Amelia
|
- Fix LICENSE
|
2020-09-10 09:36:48 +00:00 |
R-cran-assertthat
|
|
|
R-cran-backports
|
- Update to 1.2.0
|
2020-11-07 08:20:53 +00:00 |
R-cran-bdsmatrix
|
|
|
R-cran-BsMD
|
|
|
R-cran-car
|
- Update to 3.0.10
|
2020-10-07 10:33:28 +00:00 |
R-cran-carData
|
|
|
R-cran-ChangeAnomalyDetection
|
|
|
R-cran-coda
|
- Update to 0.19.4
|
2020-10-07 08:47:58 +00:00 |
R-cran-combinat
|
|
|
R-cran-conf.design
|
|
|
R-cran-conquer
|
- Update to 1.0.2
|
2020-08-28 15:50:26 +00:00 |
R-cran-CVST
|
|
|
R-cran-ddalpha
|
|
|
R-cran-deldir
|
- Update to 0.2-2
|
2020-11-07 09:42:55 +00:00 |
R-cran-DEoptimR
|
|
|
R-cran-dimRed
|
|
|
R-cran-dlmodeler
|
|
|
R-cran-DoE.base
|
|
|
R-cran-dplyr
|
- Update to 1.0.2
|
2020-09-26 09:44:16 +00:00 |
R-cran-DRR
|
|
|
R-cran-expm
|
|
|
R-cran-forcats
|
|
|
R-cran-forecast
|
- Update to 8.13
|
2020-09-22 02:38:46 +00:00 |
R-cran-Formula
|
- Update to 1.2-4
|
2020-10-18 06:04:08 +00:00 |
R-cran-fracdiff
|
|
|
R-cran-FrF2
|
|
|
R-cran-geepack
|
|
|
R-cran-geometry
|
|
|
R-cran-gmp
|
- Update to 0.6-1
|
2020-10-04 02:51:49 +00:00 |
R-cran-gower
|
|
|
R-cran-gpclib
|
|
|
R-cran-gss
|
|
|
R-cran-gtable
|
|
|
R-cran-haven
|
|
|
R-cran-igraph
|
- Update to 1.2.6
|
2020-10-09 14:22:13 +00:00 |
R-cran-influenceR
|
|
|
R-cran-inline
|
- Update to 0.3.16
|
2020-09-26 09:47:51 +00:00 |
R-cran-ipred
|
|
|
R-cran-irlba
|
|
|
R-cran-isoband
|
|
|
R-cran-KFAS
|
|
|
R-cran-labeling
|
- Update to 0.4.2
|
2020-10-21 22:29:41 +00:00 |
R-cran-lava
|
- Update to 1.6.8.1
|
2020-11-07 09:27:48 +00:00 |
R-cran-lazyeval
|
|
|
R-cran-LearnBayes
|
|
|
R-cran-linprog
|
|
|
R-cran-lme4
|
- Update to 1.1-25
|
2020-10-26 12:12:06 +00:00 |
R-cran-lpSolve
|
|
|
R-cran-magic
|
|
|
R-cran-Matching
|
|
|
R-cran-MatchIt
|
|
|
R-cran-MatrixModels
|
|
|
R-cran-matrixStats
|
- Update to 0.57.0
|
2020-09-30 09:01:10 +00:00 |
R-cran-maxLik
|
- Update to 1.4.4
|
2020-09-26 09:55:38 +00:00 |
R-cran-mcmc
|
|
|
R-cran-MCMCpack
|
|
|
R-cran-memisc
|
- Update to 0.99.27.2
|
2020-11-04 14:47:46 +00:00 |
R-cran-minqa
|
|
|
R-cran-miscTools
|
|
|
R-cran-mitools
|
|
|
R-cran-MSwM
|
|
|
R-cran-mvtnorm
|
|
|
R-cran-nloptr
|
|
|
R-cran-NMF
|
|
|
R-cran-nnls
|
|
|
R-cran-nortest
|
|
|
R-cran-numbers
|
|
|
R-cran-numDeriv
|
|
|
R-cran-outliers
|
|
|
R-cran-partitions
|
|
|
R-cran-pbkrtest
|
|
|
R-cran-pls
|
|
|
R-cran-polynom
|
|
|
R-cran-prodlim
|
|
|
R-cran-psych
|
|
|
R-cran-quadprog
|
|
|
R-cran-qualityTools
|
|
|
R-cran-quantreg
|
- Update to 5.75
|
2020-10-29 03:18:58 +00:00 |
R-cran-raster
|
|
|
R-cran-RcppArmadillo
|
- Update to 0.10.1.0.0
|
2020-10-21 22:49:51 +00:00 |
R-cran-RcppEigen
|
|
|
R-cran-RcppRoll
|
|
|
R-cran-recipes
|
- Update to 0.1.14
|
2020-10-20 10:27:28 +00:00 |
R-cran-rgenoud
|
|
|
R-cran-RHmm
|
|
|
R-cran-Rmpfr
|
|
|
R-cran-robustbase
|
|
|
R-cran-Rsolnp
|
|
|
R-cran-RSvgDevice
|
|
|
R-cran-sandwich
|
- Update to 3.0-0
|
2020-10-04 05:47:55 +00:00 |
R-cran-scatterplot3d
|
|
|
R-cran-sets
|
|
|
R-cran-sf
|
- Update to 0.9-6
|
2020-09-22 11:28:26 +00:00 |
R-cran-sm
|
|
|
R-cran-sp
|
- Update to 1.4.4
|
2020-10-14 10:48:43 +00:00 |
R-cran-SparseM
|
|
|
R-cran-spData
|
|
|
R-cran-spdep
|
|
|
R-cran-SQUAREM
|
- Update to 2020.5
|
2020-10-23 22:04:19 +00:00 |
R-cran-sspir
|
|
|
R-cran-stabledist
|
|
|
R-cran-statmod
|
|
|
R-cran-survey
|
|
|
R-cran-truncnorm
|
|
|
R-cran-units
|
|
|
R-cran-uroot
|
- Update to 2.1-2
|
2020-09-07 09:03:41 +00:00 |
R-cran-VGAM
|
- Update to 1.1.4
|
2020-11-04 07:30:26 +00:00 |
R-cran-xts
|
- Update to 0.12.1
|
2020-09-10 10:09:56 +00:00 |
R-cran-Zelig
|
|
|
R-cran-zoo
|
|
|
randlib
|
|
|
rankwidth
|
Upgrade to 0.9.
|
2020-09-14 19:59:30 +00:00 |
rapid
|
|
|
reduce
|
math/reduce: fix the build with LLVM 11
|
2020-08-30 21:06:10 +00:00 |
reduce-psl
|
|
|
reed-solomon
|
|
|
rexx-regmath
|
|
|
rkward-kde
|
|
|
rngstreams
|
|
|
rocs
|
Update KDE Apps to 20.08.3
|
2020-11-05 17:42:01 +00:00 |
rpcalc
|
Update PyQt to 5.15.0, py-sip to 4.19.24 and qscintilla2 to 2.11.5
|
2020-10-05 15:50:03 +00:00 |
rubiks
|
|
|
rubygem-algebra
|
|
|
rubygem-bigdecimal
|
|
|
rubygem-enumerable-statistics
|
|
|
rubygem-expression_parser
|
|
|
rubygem-fftw3
|
|
|
rubygem-mathn
|
|
|
rubygem-matrix
|
|
|
rubygem-mtrc
|
|
|
rubygem-narray
|
|
|
rubygem-narray_miss
|
|
|
rubygem-numru-misc
|
|
|
rubygem-numru-units
|
|
|
rubygem-rb-gsl
|
|
|
rumur
|
math/rumur: Update 2020.07.28 -> 2020.09.06
|
2020-09-14 05:57:39 +00:00 |
saga
|
math/saga: Update to 7.8.1
|
2020-10-31 17:01:25 +00:00 |
sage
|
devel/icu: update to 68.1
|
2020-11-03 00:56:26 +00:00 |
sc
|
|
|
sc-im
|
Fix build with -fno-common (a similar patch exist already upstream)
|
2020-09-02 08:11:57 +00:00 |
scalapack
|
|
|
scilab
|
math/scilab: add patch to fix build with matio-1.5.18
|
2020-09-26 16:29:23 +00:00 |
scilab-toolbox-swt
|
|
|
SCIP
|
|
|
scs
|
|
|
sdpa
|
|
|
secp256k1
|
|
|
sfft
|
|
|
simd-viterbi
|
|
|
singular
|
math/singular: Update 4.1.3 -> 4-1-3p2
|
2020-09-05 17:57:38 +00:00 |
sisl
|
|
|
slatec
|
|
|
sleef
|
math/sleef: update to 3.5.0
|
2020-09-05 20:09:32 +00:00 |
slepc
|
|
|
slgrace
|
|
|
snns
|
|
|
solitaire
|
|
|
SoPlex
|
|
|
sound-of-sorting
|
Unbreak by requiring a newer wxWidgets version (3.0+).
|
2020-08-28 13:42:54 +00:00 |
spar
|
Fix build with -fno-common
|
2020-09-29 21:01:28 +00:00 |
spblas
|
|
|
spectra
|
|
|
speedcrunch
|
|
|
spooles
|
|
|
spooles-mpich
|
|
|
spot
|
math/spot: Update 2.9.3 -> 2.9.4
|
2020-09-19 03:34:14 +00:00 |
stp
|
|
|
suitesparse
|
|
|
sundials
|
|
|
superlu
|
|
|
symengine
|
|
|
symmetrica
|
|
|
symphony
|
|
|
sympow
|
math/pari: Update 2.11.4 -> 2.13.0
|
2020-10-25 05:39:48 +00:00 |
tablix
|
|
|
taucs
|
|
|
tblis
|
Also mark as broken on powerpc64le.
|
2020-09-23 19:36:46 +00:00 |
tetgen
|
|
|
teyjus
|
|
|
timbl
|
|
|
tmv
|
|
|
tomsfastmath
|
|
|
topaz
|
|
|
topcom
|
|
|
triangle
|
|
|
trlan
|
|
|
tvmet
|
|
|
ump
|
|
|
units
|
|
|
universal
|
math/universal: Update g20200829 -> g20200831
|
2020-08-31 15:59:08 +00:00 |
unuran
|
|
|
vampire
|
|
|
viennacl
|
|
|
visualpolylib
|
math/visualpolylib: Fix build on 13
|
2020-09-21 02:57:08 +00:00 |
vowpal_wabbit
|
|
|
vtk6
|
math/vtk6: fix build against freetype 2.10.4
|
2020-10-27 04:20:11 +00:00 |
vtk8
|
math/vtk8: fix build against freetype 2.10.4
|
2020-10-22 16:04:27 +00:00 |
vtk9
|
|
|
wavelib
|
|
|
wcalc
|
|
|
wfmath
|
|
|
why3
|
|
|
wxmaxima
|
Fix build
|
2020-09-30 12:24:12 +00:00 |
xblas
|
|
|
xfce4-calculator-plugin
|
|
|
xgraph
|
|
|
xlapack
|
|
|
xldlas
|
Fix build with -fno-cmmon
|
2020-09-30 12:49:02 +00:00 |
xlife++
|
|
|
xplot
|
|
|
xspread
|
|
|
xtensor
|
math/xtensor: Update 0.21.6 -> 0.21.7
|
2020-10-04 19:54:30 +00:00 |
yacas
|
|
|
yices
|
|
|
z3
|
math/z3: Update to 4.8.9
|
2020-10-20 19:02:37 +00:00 |
zegrapher
|
math/zegrapher: Update 3.1.1 -> 3.1.1.20200921
|
2020-09-24 01:58:18 +00:00 |
zimpl
|
|
|
zn_poly
|
|
|
Makefile
|
PHP 8.0: Connect all the ports added in r552906
|
2020-10-22 00:24:27 +00:00 |