1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-18 00:10:04 +00:00
freebsd-ports/math
Alexey Dokuchaev 7c6de6cb96 math/nlopt: Flavorize in full and minimize
- full: Complete installation as before [default]
- minimum: No NumPy and Guile2 support, mainly C++
2024-01-24 20:32:20 +01:00
..
4ti2
aamath math/aamath: Move manpages to share/man 2024-01-21 13:43:46 +01:00
abella
abs
acalc */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
add math/add: Move manpages to share/man 2024-01-21 13:51:38 +00:00
adept
adol-c
alberta
algae
alglib math/alglib: update 4.00.0 → 4.01.0 2023-12-28 01:51:59 -08:00
alps */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
alt-ergo
amath
ambit
amgcl
analitza
ann
annoy
antic
apache-commons-math math/apache-commons-math: build empty jar file (without classes) and doesn't build with jdk 11+ 2024-01-16 10:12:00 +03:00
apc MAN[1-5]PREFIX: eleminate its usage and move man to share/man 2024-01-09 16:41:04 +01:00
apron
arb
arborx math/arborx: update 1.4.1 → 1.5 2023-12-19 01:36:38 -08:00
aribas MAN[1-5]PREFIX: eleminate its usage and move man to share/man 2024-01-09 16:41:04 +01:00
armadillo */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
arpack-ng */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
arpack++ */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
ascent
asl
asymptote */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
atlas
audi
barvinok
basic-stats
bcal
bcps
bitwise
blacs */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
blahtexml
blas
blasfeo */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
blaspp
blaze
blazeiterative
blis
bliss
blocksolve95 MANPREFIX: eleminate its usage and move man to share/man 2024-01-09 10:47:14 +01:00
bonmin */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
boolector
brial
bsdnt
btor2tools
cadabra2 math/cadabra2: Broken on FreeBSD 15 with clang-17 2023-12-16 23:17:06 -08:00
cadical
cado-nfs
calc math/calc: Update to 2.15.0.4 2023-12-23 14:00:25 -05:00
calcium
calcoo
cantor graphics/poppler: bump revision of consumers 2024-01-03 08:18:40 +01:00
casadi */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
cbc
cblas
ccmath
cddlib
ceres-solver */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
cgal */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
cgl */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
cgl-conic */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
cglm math/cglm: update 0.9.1 → 0.9.2 2024-01-01 00:09:04 -08:00
chaco
chryzodus
chuffed math/chuffed: update 0.13.0 → 0.13.1 2023-12-21 20:53:46 -08:00
cimod math/cimod: update 1.5.1 → 1.6.1 2024-01-19 23:37:14 -08:00
clad
clasp */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
clblas */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
clblast
clfft
clingcon
clingo
cliquer
cln
cloog
clp */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
clrng
cm
cmh
cminpack
cmlib
cocoalib
coin-or-data-netlib
coin-or-data-sample
coin-or-data-stochastic
coin-or-metis */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
coin-or-mumps */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
coinmp */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
coinutils
colpack
combblas
conauto
concorde
convertall
coq
cosma
costa
couenne */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
coxeter3
cppad
creme
crlibm
cryptominisat math/cryptominisat: Update to 5.11.15 2023-12-29 23:27:15 +03:00
csdp */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
ctl-sat
cudd
curv
cvc5 math/cvc5: update 1.0.8 → 1.1.0 2024-01-07 12:40:49 -08:00
dbcsr
ddfun
deal.ii
dgl
dieharder */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
dihydrogen devel/libfmt: Update to 10.1.1 2023-12-14 23:49:40 +08:00
dionysus
disco */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
dqfun
drgeo
dsdp */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
dsfmt
dune-alugrid
dune-common
dune-curvedgeometry
dune-fem */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
dune-foamgrid
dune-functions
dune-geometry
dune-grid
dune-grid-glue
dune-istl */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
dune-localfunctions
dune-metagrid
dune-multidomaingrid
dune-pdelab */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
dune-polygongrid
dune-spgrid
dune-typetree
dune-uggrid
dune-vtk */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
e-antic
eclib
ecos
edenmath
eigen3 */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
eispack
elan math/elan: New port: Lean version manager 2024-01-15 02:36:49 -08:00
elemental */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
elementary-calculator
elpa
emc2
ensmallen
ent
eprover
ess
eukleides
eval
exprtk
facile
faiss
fann
fast_float math/fast_float: Update to 6.0.0 2023-12-25 16:59:27 +08:00
fastops
fcl
fcl05
fend math/fend: update 1.4.1 → 1.4.2 2024-01-24 00:26:00 -08:00
fenics-basix */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
fflas-ffpack
fftw
fftw3 math/fftw3: Impelled to share/man 2024-01-23 22:51:26 +01:00
fftw3-float
fftw3-long
fftw3-quad
fftw-float
flann
flexfloat
flexiblas math/flexiblas: upgrade to 3.4.1 2024-01-12 19:12:16 +01:00
flint2
flintqs
flopc++
form */*: Simply future removal of GNU_CONFIGURE_MANPREFIX 2024-01-21 19:08:41 +01:00
fparser
fplll math/fplll: update 5.4.4 → 5.4.5 2023-12-18 00:11:28 -08:00
freefem++ */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
fricas
frobby
fxt math/fxt: Update to 2023.12.22 2023-12-26 00:10:50 +08:00
g2o */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
galculator
gambit */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
gap math/gap: Add comments 2024-01-21 11:07:24 -08:00
gau2grid
gecode
gemmlowp
geogebra
geogram
gexpr
gf2x
gfan
gfanlib
ggobi
gh-bc math/gh-bc: Sanitize MANPREFIX 2024-01-21 21:24:08 +01:00
giacxcas math/giacxcas: update 1.9.0-55 → 1.9.0-85 2024-01-24 02:32:24 -08:00
GiNaC
gismo math/gismo: Fix build on non-amd64 architectures 2024-01-11 19:47:59 -08:00
givaro
gkmap
glgraph
glm
glpk
glucose
gmm++
gmp
gmp-ecm
gnome-calculator */*: Sanitize MANPREFIX for meson ports 2024-01-12 23:40:48 +01:00
gnubc
gnumeric */*: Bump consumers of x11-toolkits/gtk30 2023-12-23 18:14:14 +00:00
gnuplot */*: Bump consumers of x11-toolkits/gtk30 2023-12-23 18:14:14 +00:00
gnuplot-lite
gnuplot-tex-extras
gp2c
grace MANPREFIX: eleminate its usage and move man to share/man 2024-01-09 11:32:17 +01:00
gravity */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
gretl */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
grpn math/grpn: Sanitize MANPREFIX 2024-01-22 18:34:24 +01:00
gsl math/gsl: Impelled to share/man 2024-01-23 14:47:41 +01:00
half
hexcalc math/hexcalc: Sanitize MANPREFIX 2024-01-22 18:34:24 +01:00
heyoka devel/libfmt: Update to 10.1.1 2023-12-14 23:49:40 +08:00
highs
hmat-oss */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
hpcombi
hpipm
hptt
hs-Agda
hs-syfco
hsl math/hsl: update 2.2.2 → 2.2.3 2023-12-20 11:21:35 -08:00
hydrogen
hyperdeal
ideep
ignition-math
igraph */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
Imath
iml
intx
ipopt math/ipopt: update 3.14.13 → 3.14.14 2024-01-19 23:14:39 -08:00
ised MAN?PREFIX: eleminate its usage and move man to share/man 2024-01-10 14:13:03 +01:00
jacal
jacop
jags
jama
jeuclid
jlatexmath
jsmath-fonts
jtransforms
jts
kahip math/{,py-}kahip: update 3.15 → 3.16 2023-12-20 11:21:36 -08:00
kalc lang/rust: Bump revisions after 1.75.0 2024-01-09 13:15:54 +01:00
kalgebra
kalk
kalker lang/rust: Bump revisions after 1.75.0 2024-01-09 13:15:54 +01:00
kamis math/kamis: update 2.0-19 → 2.1 2023-12-20 11:21:35 -08:00
kbruch
kcalc
kfr
kig
kissat
kktdirect */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
kmplot
labplot graphics/poppler: bump revision of consumers 2024-01-03 08:18:40 +01:00
lambda
lapack math/lapack: fix macOS metafiles installed as manpages 2024-01-15 19:45:15 +01:00
lapack95 */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
lapack++
lapacke
lapackpp math/lapackpp: Broken until the upstream helps to resolve issues 2024-01-21 13:09:43 -08:00
laspack
latte-integrale
lcalc
ldouble */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
lean
lean4 math/lean4: Broken on i386 2024-01-19 06:55:31 -07:00
lean4-std math/lean4-std: New port: Lean4: Std library 2024-01-16 02:45:01 -08:00
leangz math/leangz: New port: Lean 4 .olean file (de)compressor 2024-01-16 02:45:00 -08:00
lemon
levmar */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
lib2geom */*: Bump consumers of x11-toolkits/gtk30 2023-12-23 18:14:14 +00:00
libbraiding
libccd
libcerf
libdivide
libdivsufsort
libfixmath
libflame
libformfactor
libhomfly
libmesh
libmissing
libnormaliz
libocas */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
liborigin
libpoly math/libpoly: Do not build tests by default 2024-01-12 17:49:07 -08:00
libqalculate
libranlip
librdata
libRmath
librsb
libsemigroups devel/libfmt: Update to 10.1.1 2023-12-14 23:49:40 +08:00
libsharp2
libtexprintf
libtommath
libxls math/libxls: Fix build 2024-01-24 11:20:15 +01:00
libxlsxwriter manprefix: move the manpages for the ports I maintain to share/man 2024-01-24 08:59:53 +01:00
libxsmm
lidia
linbox
lingeling
linpack */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
lis
lll_spect
lmfit
lp_solve
lrcalc
lrng
lrslib
ltl2ba
m4ri
m4rie
mate-calc */*: Bump consumers of x11-toolkits/gtk30 2023-12-23 18:14:14 +00:00
math77
mathgl
mathicsscript
mathlibtools devel/py-pygithub: Rename port to match upstream 2024-01-06 10:44:45 +01:00
mathmod
mathomatic math/mathomatic: Move manpages to share/man 2024-01-21 13:39:36 +01:00
mathpresso
matio manprefix: move manpages to share/man 2024-01-24 13:57:09 +03:00
matlab-installer
maxima */*: Bump PORTREVISION on *-sbcl ports after lang/sbcl upgrade. 2024-01-02 19:52:12 +01:00
mbasecalc
mcsim
mdal
mesquite
metis */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
mfem
minisat
minizinc math/minizinc: update 2.8.0 → 2.8.2 2023-12-21 20:53:48 -08:00
minizinc-ide math/minizinc-ide: update 2.8.0 → 2.8.2 2023-12-21 20:53:49 -08:00
minizinc-solvers
minorminer math/minorminer: update 0.2.12 → 0.2.13 2024-01-18 18:22:36 -08:00
miracl
mlpack math/mlpack: update 4.2.0 → 4.3.0 2023-12-22 10:59:26 -08:00
moab
moo math/moo: Sanitize MANPREFIX 2024-01-21 22:42:26 +01:00
mpc
mpdecimal
mpexpr
mpfi
mpfr
mpfrc++
mpfrcx
mpir
mppp math/mppp: update 1.0.0 → 1.0.2 2023-12-22 23:57:22 -08:00
mprime
mpsolve */*: Bump consumers of x11-toolkits/gtk30 2023-12-23 18:14:14 +00:00
mtrxmath
multichoose
mumps */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
mumps4 */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
munkres-cpp
muparser
muparserx
nanoflann math/nanoflann: update 1.5.3 → 1.5.4 2024-01-11 00:31:25 -08:00
nauty
ndiff */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
newmat
nfft */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
ngraph
nlopt math/nlopt: Flavorize in full and minimize 2024-01-24 20:32:20 +01:00
ntl
ntpoly
numdiff
obake devel/libfmt: Update to 10.1.1 2023-12-14 23:49:40 +08:00
ocaml-num
ocaml-ocamlgraph
ocaml-zarith
ocamlgsl
octave */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
octave-forge math/octave-forge-statistics-resampling: Update to 5.4.4. 2023-12-24 10:35:22 -06:00
octave-forge-actuarial
octave-forge-audio
octave-forge-automatic-differentiation
octave-forge-base
octave-forge-bim
octave-forge-bioinfo
octave-forge-biosig
octave-forge-bsltl
octave-forge-cfitsio math/octave-forge-cfitsio: Update to 0.0.6. 2023-12-21 21:35:13 -06:00
octave-forge-cgi
octave-forge-civil-engineering
octave-forge-coder
octave-forge-communications
octave-forge-control math/octave-forge-control: Tidy up build. 2024-01-14 21:43:22 -06:00
octave-forge-csg-toolkit
octave-forge-data-smoothing
octave-forge-database
octave-forge-dataframe
octave-forge-dicom math/octave-forge-dicom: Update to 0.6.0. 2023-12-22 13:09:54 -06:00
octave-forge-divand
octave-forge-doctest
octave-forge-econometrics
octave-forge-fda
octave-forge-femoctave
octave-forge-fenv
octave-forge-fileio
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-geographiclib
octave-forge-geometry
octave-forge-gnuplot
octave-forge-gsl
octave-forge-ident
octave-forge-image
octave-forge-informationtheory
octave-forge-integration
octave-forge-internal-fluid-flow
octave-forge-interval
octave-forge-io
octave-forge-irsa
octave-forge-level-set
octave-forge-linear-algebra
octave-forge-lssa
octave-forge-ltfat */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
octave-forge-mapping
octave-forge-matgeom
octave-forge-mccabe-thiele
octave-forge-mechanics
octave-forge-miscellaneous
octave-forge-missing-functions
octave-forge-mpi
octave-forge-mqtt
octave-forge-msh
octave-forge-multicore
octave-forge-mvn
octave-forge-nan
octave-forge-ncarray
octave-forge-netcdf
octave-forge-nlwing2
octave-forge-nnet
octave-forge-nurbs
octave-forge-oct2mat
octave-forge-octave-pool math/octave-forge-octave-pool: Update to 1.2.2. 2024-01-10 19:53:28 -06:00
octave-forge-octclip
octave-forge-octproj
octave-forge-odebvp
octave-forge-onsas math/octave-forge-onsas: Update to 0.2.9. 2023-12-13 15:13:12 -06:00
octave-forge-optics
octave-forge-optim
octave-forge-optiminterp
octave-forge-outliers
octave-forge-parallel
octave-forge-pde1dm
octave-forge-pkg-octave-doc math/octave-forge-pkg-octave-doc: Update to 0.5.2. 2024-01-21 14:27:40 -06:00
octave-forge-plot
octave-forge-ponchon-savarit
octave-forge-prompt
octave-forge-psychrometrics
octave-forge-pythonic
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-sole
octave-forge-sparsersb
octave-forge-specfun
octave-forge-special-matrix
octave-forge-splines
octave-forge-sqlite math/octave-forge-sqlite: Update to 0.1.0. 2024-01-11 11:12:51 -06:00
octave-forge-statistics math/octave-forge-statistics: Update to 1.6.1. 2024-01-09 22:14:13 -06:00
octave-forge-statistics-resampling math/octave-forge-statistics-resampling: Update to 5.5.6. 2024-01-24 02:03:31 -06:00
octave-forge-stk
octave-forge-strings
octave-forge-struct
octave-forge-symband
octave-forge-symbolic
octave-forge-tcl-octave
octave-forge-tsa
octave-forge-velas
octave-forge-video
octave-forge-websockets
octave-forge-zenity
octave-forge-zeromq
octomap
ogdf
oink
oleo
onednn math/onednn: update 3.3.3 → 3.3.4 2024-01-09 02:05:12 -08:00
onednn252
openblas math/openblas: fix build on powerpc64le 2024-01-16 15:35:23 +01:00
openfst math/openfst: update 1.8.1 → 1.8.2-20221207 2023-12-15 18:57:24 -08:00
openfst-vosk math/openfst-vosk: New port: Library for working with weighted finite-state transducers 2023-12-22 20:26:47 -08:00
openlibm
openmesh
openscop
opensolaris-libm
openturns math/openturns: update 1.21 → 1.22 2024-01-19 10:19:17 -08:00
optpp
or-tools */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
orpie
osi
osi-conic
osiipopt */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
osqp
p5-AI-DecisionTree
p5-AI-Genetic
p5-AI-NeuralNet-BackProp
p5-AI-Perceptron
p5-Algorithm-Combinatorics
p5-Algorithm-CurveFit
p5-Algorithm-Munkres
p5-Alien-GSL
p5-bignum math/p5-bignum: Update version 0.66=>0.67 2024-01-01 22:09:38 +01:00
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
p5-Math-Algebra-Symbols
p5-Math-Base36
p5-Math-Base85
p5-Math-BaseCalc
p5-Math-BaseCnv
p5-Math-Bezier
p5-Math-Bezier-Convert
p5-Math-BigInt math/p5-Math-BigInt: Update to 2.002001 2023-12-15 04:47:46 +08:00
p5-Math-BigInt-FastCalc
p5-Math-BigInt-GMP
p5-Math-BigInt-Lite
p5-Math-BigInt-Pari
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
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
p5-Math-MatrixReal
p5-Math-MPC
p5-Math-MPFR
p5-Math-NumberCruncher
p5-Math-Pari math/p5-Math-Pari: Sanitize MANPREFIX 2024-01-22 18:34:24 +01: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
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
pari math/pari: Sanitize MANPREFIX 2024-01-22 18:34:23 +01:00
pari_elldata
pari_galdata
pari_galpol
pari_nflistdata
pari_nftables
pari_seadata
paritwine
parmetis */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
parmgridgen
pdal math/pdal: Bump after archivers/laszip update 2024-01-06 16:21:32 +01:00
PDL
pear-Math_BigInteger
pear-Math_Combinatorics
pecl-bitset
perlinnoise
permlib
petanque
petiga */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
pffft
php81-bcmath
php81-gmp
php82-bcmath
php82-gmp
php83-bcmath
php83-gmp
physcalc
picosat
piranha
planarity
plantri
plman
ploticus MANPREFIX: eleminate its usage and move man to share/man 2024-01-09 11:32:17 +01:00
ploticus-nox11
plplot
poly2tri
polyclipper
polylib
polymake
primecount
primegen MAN[1-5]PREFIX: eleminate its usage and move man to share/man 2024-01-09 16:41:04 +01:00
primesieve
primesum
primme
prng
pspp
psurface
py-affine
py-algopy
py-altgraph
py-ambit
py-amply
py-animatplot
py-animatplot-ng
py-annoy
py-apgl
py-arviz math/py-arviz: update 0.16.1 → 0.17.0 2023-12-28 01:52:02 -08:00
py-arybo
py-autograd
py-awkward math/py-awkward: Allow build with py-awkward-cpp 27 2023-12-15 04:45:27 +08:00
py-awkward-cpp math/py-awkward-cpp: Update to 27 2023-12-15 04:45:30 +08:00
py-baycomp
py-bayesian-optimization
py-benford_py
py-bitmath
py-bitvector
py-bottleneck
py-brial
py-chaospy
py-claripy
py-clingcon
py-clingo
py-cma
py-cmaes
py-cmyt math/py-cmyt: update 1.2.0 → 2.0.0 2023-12-22 10:59:26 -08:00
py-colormath
py-contourpy
py-cryptominisat
py-cvxopt */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
py-cvxpy
py-cyipopt */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
py-CyLP */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
py-cypari2
py-deap
py-dgl
py-Diofant
py-dionysus
py-disjoint-set
py-docplex
py-ducc0 math/py-ducc0: update 0.32.0 → 0.33.0 2024-01-19 23:19:58 -08:00
py-ecos
py-evalidate
py-faiss
py-fastcluster
py-fastdtw
py-fenics-basix
py-fenics-ffcx
py-fenics-ufl
py-flax
py-formulaic math/py-formulaic: update 1.0.0 → 1.0.1 2024-01-08 01:04:23 -08:00
py-fpylll
py-fraction
py-fsph
py-fvcore
py-gau2grid
py-gimmik
py-gmpy2
py-grandalf
py-graphillion
py-GridDataFormats
py-gym
py-gym-notices
py-hdbscan
py-hdmedians
py-hepstats
py-heyoka devel/libfmt: Update to 10.1.1 2023-12-14 23:49:40 +08:00
py-hmmlearn math/py-hmmlearn: dehardcode PYTHON_SUFFIX 2024-01-16 22:46:58 +03:00
py-igraph */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
py-iminuit
py-intspan
py-iohexperimenter
py-ipyopt
py-isosurfaces
py-jacobi
py-jax math/py-jax: Update to 0.4.23 2023-12-25 17:00:28 +08:00
py-kahip math/{,py-}kahip: update 3.15 → 3.16 2023-12-20 11:21:36 -08:00
py-keras
py-keras-applications
py-keras-preprocessing
py-kiwisolver
py-levmar */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
py-libpoly
py-linearmodels math/py-linearmodels: update 5.3 → 5.4 2024-01-06 00:06:39 -08:00
py-lmfit
py-logical-unification
py-lrcalc
py-luminol
py-mapbox-earcut
py-mathics
py-mathics-scanner
py-matplotlib
py-matplotlib-inline
py-matplotlib-scalebar
py-minorminer math/py-minorminer: update 0.2.12 → 0.2.13 2024-01-18 18:22:37 -08:00
py-mip
py-mixsimulator
py-ml-dtypes
py-mnnpy
py-moarchiving
py-mpmath
py-munkres
py-munkres10
py-MutatorMath
py-ndindex
py-networkx
py-nevergrad
py-nlopt
py-numba-stats math/py-numba-stats: update 1.3.0 → 1.4.1 2023-12-22 17:34:06 -08:00
py-numdifftools
py-numexpr math/py-numexpr: Update to 2.8.8 2023-12-15 04:45:38 +08:00
py-numpoly
py-numpy */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
py-numpy-groupies
py-numpy-stl
py-openTSNE math/py-openTSNE: update 1.0.0 → 1.0.1 2024-01-08 01:04:24 -08:00
py-opt-einsum
py-optuna
py-or-tools */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
py-osqp
py-pandas math/py-pandas: Remove run-time dependency on cython 2024-01-18 18:22:37 -08:00
py-pandas-datareader
py-patsy
py-pdal
py-permutation
py-petsc4py math/py-petsc4py: update 3.20.2 → 3.20.3 2024-01-10 02:48:26 -08:00
py-plastex
py-point-annotator
py-POT math/py-POT: Fix typo in pkg-descr 2023-12-23 01:47:23 -08:00
py-pplpy
py-primecountpy
py-primme
py-PuLP
py-Py-BOBYQA
py-py-find-1st
py-pyaudi devel/libfmt: Update to 10.1.1 2023-12-14 23:49:40 +08:00
py-pybloom
py-pyclipper
py-pycosat
py-pyFFTW
py-pygsl
py-pygslodeiv2
py-pyhdfe
py-pyhull
py-pymc3
py-PyMetis math/py-PyMetis: Fix build with python-3.11 2024-01-22 12:46:23 +00:00
py-pynauty
py-pyneqsys
py-pynleq2
py-pynndescent
py-pyodeint
py-pyodesys
py-Pyomo math/py-Pyomo: Update comment 2024-01-08 01:42:51 -08:00
py-pyreadr
py-pyrr
py-PySCIPOpt
py-pysmt
py-pystan
py-pysym
py-pytanque
py-pytensor
py-python-fcl
py-python-louvain
py-python-picard
py-pytorchvideo
py-pyvtk
py-PyWavelets
py-qats
py-qdldl
py-quadprog
py-random2
py-reals
py-rectangle-packer
py-resample
py-roman
py-rpy2
py-rustworkx lang/rust: Bump revisions after 1.75.0 2024-01-09 13:15:54 +01:00
py-rvlib
py-scikit-fem math/py-scikit-fem: Update to 9.0.0 2023-12-26 00:10:55 +08:00
py-scikit-umfpack */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
py-scs
py-seaborn
py-secp256k1
py-seriate
py-simhash
py-slepc4py math/py-slepc4py: update 3.20.0 → 3.20.1 2024-01-19 23:28:42 -08:00
py-snuggs
py-spectral
py-spglm
py-spint
py-splot
py-spopt
py-spot
py-spreg
py-spvcm
py-SQNomad
py-squarify math/py-squarify: New port: Squarify treemap layout algorithm 2024-01-01 00:09:01 -08:00
py-ssm
py-statsmodels math/py-statsmodels: Update to 0.14.1 2023-12-25 17:00:32 +08:00
py-svgmath
py-sym
py-symengine
py-sympy
py-theano
py-timple
py-topologic
py-triangle math/py-triangle: update to 20230923 2024-01-08 15:30:44 -05:00
py-umap-learn math/py-umap-learn: update 0.5.4 → 0.5.5 2024-01-08 01:04:24 -08:00
py-uncertainties
py-unyt
py-vincenty
py-yt
py-z3-solver
qalculate-gtk */*: Bump consumers of x11-toolkits/gtk30 2023-12-23 18:14:14 +00:00
qalculate-qt
qd
qhull
qhull7
qposases
qrupdate */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
qtiplot-doc
qwtplot3d
qxfun
R math/R: fix build on powerpc 2024-01-03 15:09:49 +01:00
R-cran-acepack
R-cran-ADGofTest
R-cran-admisc
R-cran-alabama
R-cran-Amelia
R-cran-ash
R-cran-assertthat
R-cran-backports
R-cran-bdsmatrix
R-cran-BsMD
R-cran-car
R-cran-carData
R-cran-ChangeAnomalyDetection
R-cran-coda
R-cran-combinat
R-cran-conf.design
R-cran-conquer
R-cran-cvar
R-cran-CVST
R-cran-date
R-cran-ddalpha math/R-cran-ddalpha: Update to 1.3.15 2024-01-13 12:10:37 +00:00
R-cran-deldir
R-cran-DEoptimR
R-cran-dimRed
R-cran-dlmodeler
R-cran-DoE.base
R-cran-dplyr
R-cran-DRR
R-cran-energy
R-cran-eRm
R-cran-exactRankTests
R-cran-expm math/R-cran-expm: Update to 0.999-9 2024-01-12 23:57:50 +00:00
R-cran-FNN math/R-cran-FNN: upgrade to 1.1.4 2024-01-14 20:00:29 +01:00
R-cran-forcats
R-cran-forecast
R-cran-Formula
R-cran-fracdiff
R-cran-FrF2
R-cran-gbutils
R-cran-geepack
R-cran-geometry
R-cran-gmp math/R-cran-gmp: Update to 0.8-4 2024-01-20 17:42:49 +00:00
R-cran-gower
R-cran-gpclib
R-cran-gsl
R-cran-gss
R-cran-gtable math/R-cran-gtable: Update version 0.3.3=>0.3.4 2023-12-13 21:43:43 +01:00
R-cran-haven
R-cran-hdrcde
R-cran-hexbin
R-cran-igraph */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
R-cran-influenceR
R-cran-inline
R-cran-intervals
R-cran-ipred
R-cran-irlba
R-cran-isoband
R-cran-KFAS
R-cran-labeling
R-cran-lava
R-cran-lazyeval
R-cran-LearnBayes
R-cran-linprog
R-cran-lme4
R-cran-locfit
R-cran-lpSolve math/R-cran-lpSolve: Update to 5.6.20 2023-12-16 08:47:26 +00:00
R-cran-ltm
R-cran-magic
R-cran-maps
R-cran-Matching
R-cran-MatchIt
R-cran-mathjaxr
R-cran-MatrixModels
R-cran-matrixStats math/R-cran-matrixStats: Update to 1.2.0 2023-12-16 08:47:26 +00:00
R-cran-maxLik
R-cran-mclust
R-cran-mcmc
R-cran-MCMCpack math/R-cran-MCMCpack: Update to 1.7-0 2024-01-20 02:34:52 +00:00
R-cran-memisc math/R-cran-memisc: Update to 0.99.31.7 2023-12-13 22:07:09 +00:00
R-cran-minqa
R-cran-misc3d
R-cran-miscTools
R-cran-mitools
R-cran-moments
R-cran-MSwM
R-cran-mvtnorm
R-cran-ncdf4
R-cran-nloptr
R-cran-NMF math/R-cran-NMF: Update version 0.21.0=>0.26 2023-12-15 13:55:44 +01:00
R-cran-nnls
R-cran-nortest
R-cran-numbers
R-cran-numDeriv
R-cran-outliers
R-cran-partitions
R-cran-pbkrtest
R-cran-plot3D
R-cran-pls
R-cran-polycor
R-cran-polynom
R-cran-pracma
R-cran-prodlim
R-cran-proxy
R-cran-psych
R-cran-pwr
R-cran-quadprog
R-cran-qualityTools
R-cran-quantreg
R-cran-raster
R-cran-RcppArmadillo
R-cran-RcppEigen
R-cran-RcppRoll
R-cran-recipes math/R-cran-recipes: Update to 1.0.9 2023-12-14 15:46:38 +00:00
R-cran-rgenoud math/R-cran-rgenoud: Update to 5.9.0.10 2023-12-28 13:19:39 +00:00
R-cran-Rmpfr
R-cran-robustbase
R-cran-Rsolnp
R-cran-RSvgDevice
R-cran-sandwich math/R-cran-sandwich: Update to 3.1-0 2023-12-13 14:14:40 +00:00
R-cran-scatterplot3d
R-cran-sets
R-cran-sf math/R-cran-sf: Update to 1.0.15 2023-12-28 13:18:09 +00:00
R-cran-sm
R-cran-sp
R-cran-SparseM
R-cran-spData
R-cran-spdep
R-cran-SQUAREM
R-cran-sspir
R-cran-stabledist
R-cran-statmod
R-cran-survey
R-cran-tensor
R-cran-terra math/R-cran-terra: Update to 1.7-65 2023-12-18 16:46:21 +00:00
R-cran-truncnorm
R-cran-units
R-cran-uroot math/R-cran-uroot: Update to 2.1-3 2023-12-17 02:32:47 +00:00
R-cran-VGAM
R-cran-wk
R-cran-XLConnect
R-cran-xts
R-cran-Zelig
R-cran-zoo
randlib
rankwidth
rapid math/rapid: Sanitize MANPREFIX 2024-01-21 22:42:25 +01:00
readstat
reduce math/reduce: Sanitize MANPREFIX 2024-01-21 22:42:26 +01:00
reduce-psl MANPREFIX: eleminate its usage and move man to share/man 2024-01-09 11:32:17 +01:00
reed-solomon
rehearse
rexx-regmath
rkward
rngstreams
rocs
rpcalc
rubiks
rubygem-algebra
rubygem-bigdecimal math/rubygem-bigdecimal: Update to 3.1.5 2023-12-15 04:47:05 +08:00
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-prime
rubygem-rb-gsl
rumur math/rumur: update 2023.05.21 → 2023.11.27 2023-12-22 23:57:23 -08:00
saga math/saga: Update to 9.3.0 2023-12-22 21:11:23 +01:00
sage
savage lang/rust: Bump revisions after 1.75.0 2024-01-09 13:15:54 +01:00
sc
sc-im math/sc-im: Sanitize MANPREFIX 2024-01-22 18:34:23 +01:00
scalapack */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
scalapackfx
scilab */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
scilab-toolbox-swt
SCIP */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
scorec-core math/scorec-core: update 2.2.7-55 → 2.2.8 2023-12-24 18:43:19 -08:00
scs
sdpa */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
secp256k1 math/secp256k1: Update to 0.4.1 release. 2023-12-27 14:33:41 +01:00
sfft
simd-viterbi
singular
sisl
slatec
sleef
slepc */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
slgrace
slicot
snns
solitaire
SoPlex
sound-of-sorting math/sound-of-sorting: fix build on -CURRENT 2024-01-05 13:42:00 +01:00
spar
spblas
spectra
speedcrunch
spfft
spla
spooles */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
spooles-mpich
spot
sprng
ssht
stan math/stan: update 2.33.0 → 2.34.1 2024-01-24 00:26:01 -08:00
stanmath math/stanmath: update 4.7.0 → 4.8.1 2024-01-24 00:26:00 -08:00
stp
suitesparse math/suitesparse: upgrade to v7.5.1 2024-01-14 20:00:30 +01:00
suitesparse-amd math/suitesparse-amd: upgrade AMD to 3.3.1 2024-01-13 11:15:02 +01:00
suitesparse-btf math/suitesparse-btf: upgrade BTF to 2.3.1 2024-01-13 11:15:02 +01:00
suitesparse-camd math/suitesparse-camd: upgrade CAMD to 3.3.1 2024-01-13 11:15:02 +01:00
suitesparse-ccolamd math/suitesparse-ccolamd: upgrade CCOLAMD to 3.3.1 2024-01-13 11:15:03 +01:00
suitesparse-cholmod math/suitesparse-cholmod: upgrade CHOLMOD to 5.1.1 2024-01-13 11:15:03 +01:00
suitesparse-colamd math/suitesparse-colamd: upgrade COLAMD to 3.3.1 2024-01-13 11:15:03 +01:00
suitesparse-config math/suitesparse: upgrade to v7.4.0 2023-12-31 15:31:06 +01:00
suitesparse-csparse math/suitesparse-csparse: upgrade to 4.3.0 2023-12-31 15:31:10 +01:00
suitesparse-cxsparse math/suitesparse-cxsparse: upgrade CXSparse to 4.3.1 2024-01-13 11:15:03 +01:00
suitesparse-graphblas math/suitesparse-graphblas: upgrade GraphBLAS to 9.0.0 2024-01-13 11:15:03 +01:00
suitesparse-klu math/suitesparse-klu: upgrade KLU to 2.3.1 2024-01-13 11:15:04 +01:00
suitesparse-lagraph math/suitesparse-lagraph: upgrade LAGraph to 1.1.1 2024-01-13 11:15:04 +01:00
suitesparse-ldl math/suitesparse-ldl: upgrade LDL to 3.3.1 2024-01-13 11:15:04 +01:00
suitesparse-mongoose math/suitesparse-mongoose: upgrade Mongoose to 3.3.1 2024-01-13 11:15:04 +01:00
suitesparse-paru math/suitesparse-paru: new port, parallel unsymmetric multifrontal method 2024-01-13 11:15:05 +01:00
suitesparse-rbio math/suitesparse-rbio: upgrade RBio to 4.3.1 2024-01-13 11:15:04 +01:00
suitesparse-spex math/suitesparse-spex: upgrade SPEX to 2.3.1 2024-01-13 11:15:05 +01:00
suitesparse-spqr math/suitesparse-spqr: upgrade SPQR to 4.3.1 2024-01-13 11:15:05 +01:00
suitesparse-umfpack math/suitesparse-umfpack: upgrade UMFPACK to 6.3.1 2024-01-13 11:15:05 +01:00
sundials */*: bump PORTREVISION after the upgrade of SuiteSparse to v7.5.0 2024-01-13 11:19:22 +01:00
superlu */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
superlu-dist */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
symengine
symfpu
symmetrica
symphony */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
sympol
sympow
tablix
taucs */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
tblis
testu01
tetgen
teyjus
the-algorithms-c++
timbl
tiny-bignum-c
tinyexpr math/tinyexpr: New port: Tiny expression parser/compiler/evaluation engine for math expressions 2023-12-29 19:44:45 -08:00
tinymt
tlapack
tmv */*: chase the upgrade of BLAS / LAPACK to 3.12.0 2024-01-01 12:49:51 +01:00
tomsfastmath
topaz
topcom
topologic
triangle
trlan */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
trlib
ttmath
tvmet
ump
units
universal
unuran
vampire
vdt
verdict
viennacl
vinci
visualpolylib
vowpal_wabbit
vtk8 math/vtk8: Update BROKENxx line 2023-12-18 00:14:42 -08:00
vtk9 math/vtk9: Broken on FreeBSD 13 aarch64 2023-12-15 14:23:54 -08:00
wavelib
wcalc
wxmaxima math/wxmaxima: Update to Version-23.12.0 2023-12-25 18:23:41 +00:00
xblas */*: Sunset 12.4-RELEASE/12-STABLE from ports tree 2023-12-31 01:37:05 +01:00
xfce4-calculator-plugin */*: Bump consumers of x11-toolkits/gtk30 2023-12-23 18:14:14 +00:00
xgap
xgraph
xlapack
xldlas
xlife++
xplot
xspread MANPREFIX: eleminate its usage and move man to share/man 2024-01-09 11:32:17 +01:00
xtensor
xtensor-blas
xtensor-io
xtensor-python
yacas
yices
z3 math/z3: Unbreak on i386 2024-01-03 23:00:58 +03:00
zarray
zegrapher
zimpl
zn_poly
Makefile math/lean4-std: New port: Lean4: Std library 2024-01-16 02:45:01 -08:00