diff --git a/math/Makefile b/math/Makefile index fa9742bb93a7..e802427bbf6e 100644 --- a/math/Makefile +++ b/math/Makefile @@ -1,1256 +1,1257 @@ COMMENT = Mathematics SUBDIR += 4ti2 SUBDIR += GiNaC SUBDIR += Imath SUBDIR += PDL SUBDIR += R SUBDIR += R-cran-ADGofTest SUBDIR += R-cran-Amelia SUBDIR += R-cran-BsMD SUBDIR += R-cran-CVST SUBDIR += R-cran-ChangeAnomalyDetection SUBDIR += R-cran-DEoptimR SUBDIR += R-cran-DRR SUBDIR += R-cran-DoE.base SUBDIR += R-cran-FNN SUBDIR += R-cran-Formula SUBDIR += R-cran-FrF2 SUBDIR += R-cran-KFAS SUBDIR += R-cran-LearnBayes SUBDIR += R-cran-MCMCpack SUBDIR += R-cran-MSwM SUBDIR += R-cran-MatchIt SUBDIR += R-cran-Matching SUBDIR += R-cran-MatrixModels SUBDIR += R-cran-NMF SUBDIR += R-cran-RSvgDevice SUBDIR += R-cran-RcppArmadillo SUBDIR += R-cran-RcppEigen SUBDIR += R-cran-RcppRoll SUBDIR += R-cran-Rmpfr SUBDIR += R-cran-Rsolnp SUBDIR += R-cran-SQUAREM SUBDIR += R-cran-SparseM SUBDIR += R-cran-VGAM SUBDIR += R-cran-XLConnect SUBDIR += R-cran-Zelig SUBDIR += R-cran-acepack SUBDIR += R-cran-admisc SUBDIR += R-cran-alabama SUBDIR += R-cran-ash SUBDIR += R-cran-assertthat SUBDIR += R-cran-backports SUBDIR += R-cran-bdsmatrix SUBDIR += R-cran-car SUBDIR += R-cran-carData SUBDIR += R-cran-coda SUBDIR += R-cran-combinat SUBDIR += R-cran-conf.design SUBDIR += R-cran-conquer SUBDIR += R-cran-cvar SUBDIR += R-cran-date SUBDIR += R-cran-ddalpha SUBDIR += R-cran-deldir SUBDIR += R-cran-dimRed SUBDIR += R-cran-dlmodeler SUBDIR += R-cran-dplyr SUBDIR += R-cran-eRm SUBDIR += R-cran-energy SUBDIR += R-cran-exactRankTests SUBDIR += R-cran-expm SUBDIR += R-cran-forcats SUBDIR += R-cran-forecast SUBDIR += R-cran-fracdiff SUBDIR += R-cran-gbutils SUBDIR += R-cran-geepack SUBDIR += R-cran-geometry SUBDIR += R-cran-gmp SUBDIR += R-cran-gower SUBDIR += R-cran-gpclib SUBDIR += R-cran-gsl SUBDIR += R-cran-gss SUBDIR += R-cran-gtable SUBDIR += R-cran-haven SUBDIR += R-cran-hdrcde SUBDIR += R-cran-hexbin SUBDIR += R-cran-igraph SUBDIR += R-cran-influenceR SUBDIR += R-cran-inline SUBDIR += R-cran-intervals SUBDIR += R-cran-ipred SUBDIR += R-cran-irlba SUBDIR += R-cran-isoband SUBDIR += R-cran-labeling SUBDIR += R-cran-lava SUBDIR += R-cran-lazyeval SUBDIR += R-cran-linprog SUBDIR += R-cran-lme4 SUBDIR += R-cran-locfit SUBDIR += R-cran-lpSolve SUBDIR += R-cran-ltm SUBDIR += R-cran-magic SUBDIR += R-cran-maps SUBDIR += R-cran-mathjaxr SUBDIR += R-cran-matrixStats SUBDIR += R-cran-maxLik SUBDIR += R-cran-mclust SUBDIR += R-cran-mcmc SUBDIR += R-cran-memisc SUBDIR += R-cran-minqa SUBDIR += R-cran-misc3d SUBDIR += R-cran-miscTools SUBDIR += R-cran-mitools SUBDIR += R-cran-moments SUBDIR += R-cran-mvtnorm SUBDIR += R-cran-ncdf4 SUBDIR += R-cran-nloptr SUBDIR += R-cran-nnls SUBDIR += R-cran-nortest SUBDIR += R-cran-numDeriv SUBDIR += R-cran-numbers SUBDIR += R-cran-outliers SUBDIR += R-cran-partitions SUBDIR += R-cran-pbkrtest SUBDIR += R-cran-plot3D SUBDIR += R-cran-pls SUBDIR += R-cran-polycor SUBDIR += R-cran-polynom SUBDIR += R-cran-pracma SUBDIR += R-cran-prodlim SUBDIR += R-cran-proxy SUBDIR += R-cran-psych SUBDIR += R-cran-pwr SUBDIR += R-cran-quadprog SUBDIR += R-cran-qualityTools SUBDIR += R-cran-quantreg SUBDIR += R-cran-raster SUBDIR += R-cran-recipes SUBDIR += R-cran-rgenoud SUBDIR += R-cran-robustbase SUBDIR += R-cran-sandwich SUBDIR += R-cran-scatterplot3d SUBDIR += R-cran-sets SUBDIR += R-cran-sf SUBDIR += R-cran-sm SUBDIR += R-cran-sp SUBDIR += R-cran-spData SUBDIR += R-cran-spdep SUBDIR += R-cran-sspir SUBDIR += R-cran-stabledist SUBDIR += R-cran-statmod SUBDIR += R-cran-survey SUBDIR += R-cran-tensor SUBDIR += R-cran-terra SUBDIR += R-cran-truncnorm SUBDIR += R-cran-units SUBDIR += R-cran-uroot SUBDIR += R-cran-wk SUBDIR += R-cran-xts SUBDIR += R-cran-zoo SUBDIR += SCIP SUBDIR += SoPlex SUBDIR += aamath SUBDIR += abella SUBDIR += abs SUBDIR += acalc SUBDIR += add SUBDIR += adept SUBDIR += adol-c SUBDIR += alberta SUBDIR += algae SUBDIR += alglib SUBDIR += alps SUBDIR += alt-ergo SUBDIR += amath SUBDIR += ambit SUBDIR += amgcl SUBDIR += analitza SUBDIR += ann SUBDIR += annoy SUBDIR += antic SUBDIR += apache-commons-math SUBDIR += apc SUBDIR += apron SUBDIR += arb SUBDIR += arborx SUBDIR += aribas SUBDIR += armadillo SUBDIR += arpack++ SUBDIR += arpack-ng SUBDIR += ascent SUBDIR += asl SUBDIR += asymptote SUBDIR += atlas SUBDIR += audi SUBDIR += barvinok SUBDIR += basic-stats SUBDIR += bcal SUBDIR += bcps SUBDIR += bitwise SUBDIR += blacs SUBDIR += blahtexml SUBDIR += blas SUBDIR += blasfeo SUBDIR += blaspp SUBDIR += blaze SUBDIR += blazeiterative SUBDIR += blis SUBDIR += bliss SUBDIR += blocksolve95 SUBDIR += bonmin SUBDIR += boolector SUBDIR += brial SUBDIR += bsdnt SUBDIR += btor2tools SUBDIR += cadabra2 SUBDIR += cadical SUBDIR += cado-nfs SUBDIR += calc SUBDIR += calcium SUBDIR += calcoo SUBDIR += cantor SUBDIR += casadi SUBDIR += cbc SUBDIR += cblas SUBDIR += ccmath SUBDIR += cddlib SUBDIR += ceres-solver SUBDIR += cgal SUBDIR += cgl SUBDIR += cgl-conic SUBDIR += cglm SUBDIR += chaco SUBDIR += chryzodus SUBDIR += chuffed SUBDIR += cimod SUBDIR += clad SUBDIR += clasp SUBDIR += clblas SUBDIR += clblast SUBDIR += clfft SUBDIR += clingcon SUBDIR += clingo SUBDIR += cliquer SUBDIR += cln SUBDIR += cloog SUBDIR += clp SUBDIR += clrng SUBDIR += cm SUBDIR += cmh SUBDIR += cminpack SUBDIR += cmlib SUBDIR += cocoalib SUBDIR += coin-or-data-netlib SUBDIR += coin-or-data-sample SUBDIR += coin-or-data-stochastic SUBDIR += coin-or-metis SUBDIR += coin-or-mumps SUBDIR += coinmp SUBDIR += coinutils SUBDIR += colpack SUBDIR += combblas SUBDIR += conauto SUBDIR += concorde SUBDIR += convertall SUBDIR += coq SUBDIR += cosma SUBDIR += costa SUBDIR += couenne SUBDIR += coxeter3 SUBDIR += cppad SUBDIR += creme SUBDIR += crlibm SUBDIR += cryptominisat SUBDIR += csdp SUBDIR += ctl-sat SUBDIR += cudd SUBDIR += curv SUBDIR += cvc5 SUBDIR += dbcsr SUBDIR += ddfun SUBDIR += deal.ii SUBDIR += dgl SUBDIR += dieharder SUBDIR += dihydrogen SUBDIR += dionysus SUBDIR += disco SUBDIR += dqfun SUBDIR += drgeo SUBDIR += dsdp SUBDIR += dsfmt SUBDIR += dune-alugrid SUBDIR += dune-common SUBDIR += dune-curvedgeometry SUBDIR += dune-fem SUBDIR += dune-foamgrid SUBDIR += dune-functions SUBDIR += dune-geometry SUBDIR += dune-grid SUBDIR += dune-grid-glue SUBDIR += dune-istl SUBDIR += dune-localfunctions SUBDIR += dune-metagrid SUBDIR += dune-multidomaingrid SUBDIR += dune-pdelab SUBDIR += dune-polygongrid SUBDIR += dune-spgrid SUBDIR += dune-typetree SUBDIR += dune-uggrid SUBDIR += dune-vtk SUBDIR += e-antic SUBDIR += eclib SUBDIR += ecos SUBDIR += edenmath SUBDIR += eigen3 SUBDIR += eispack SUBDIR += elan SUBDIR += elemental SUBDIR += elementary-calculator SUBDIR += elpa SUBDIR += emc2 SUBDIR += ensmallen SUBDIR += ent SUBDIR += eprover SUBDIR += ess SUBDIR += eukleides SUBDIR += eval SUBDIR += exprtk SUBDIR += facile SUBDIR += faiss SUBDIR += fann SUBDIR += fast_float SUBDIR += fastops SUBDIR += fcl SUBDIR += fcl05 SUBDIR += fend SUBDIR += fenics-basix SUBDIR += fflas-ffpack SUBDIR += fftw SUBDIR += fftw-float SUBDIR += fftw3 SUBDIR += fftw3-float SUBDIR += fftw3-long SUBDIR += fftw3-quad SUBDIR += flann SUBDIR += flexfloat SUBDIR += flexiblas SUBDIR += flint2 SUBDIR += flintqs SUBDIR += flopc++ SUBDIR += form SUBDIR += fparser SUBDIR += fplll SUBDIR += freefem++ SUBDIR += fricas SUBDIR += frobby SUBDIR += fxt SUBDIR += g2o SUBDIR += galculator SUBDIR += gambit SUBDIR += gap SUBDIR += gau2grid SUBDIR += gecode SUBDIR += gemmlowp SUBDIR += geogebra SUBDIR += geogram SUBDIR += gexpr SUBDIR += gf2x SUBDIR += gfan SUBDIR += gfanlib SUBDIR += ggobi SUBDIR += gh-bc SUBDIR += giacxcas SUBDIR += gismo SUBDIR += givaro SUBDIR += gkmap SUBDIR += glgraph SUBDIR += glm SUBDIR += glpk SUBDIR += glucose SUBDIR += gmm++ SUBDIR += gmp SUBDIR += gmp-ecm SUBDIR += gnome-calculator SUBDIR += gnubc SUBDIR += gnumeric SUBDIR += gnuplot SUBDIR += gnuplot-lite SUBDIR += gnuplot-tex-extras SUBDIR += gp2c SUBDIR += grace SUBDIR += gravity SUBDIR += gretl SUBDIR += grpn SUBDIR += gsl SUBDIR += half SUBDIR += hexcalc SUBDIR += heyoka SUBDIR += highs SUBDIR += hmat-oss SUBDIR += hpcombi SUBDIR += hpipm SUBDIR += hptt SUBDIR += hs-Agda SUBDIR += hs-syfco SUBDIR += hsl SUBDIR += hydrogen SUBDIR += hyperdeal SUBDIR += ideep SUBDIR += ignition-math SUBDIR += igraph SUBDIR += iml SUBDIR += intx SUBDIR += ipopt SUBDIR += ised SUBDIR += jacal SUBDIR += jacop SUBDIR += jags SUBDIR += jama SUBDIR += jeuclid SUBDIR += jlatexmath SUBDIR += jsmath-fonts SUBDIR += jtransforms SUBDIR += jts SUBDIR += kahip SUBDIR += kalc SUBDIR += kalgebra SUBDIR += kalk SUBDIR += kalker SUBDIR += kamis SUBDIR += kbruch SUBDIR += kcalc SUBDIR += kfr SUBDIR += kig SUBDIR += kissat SUBDIR += kktdirect SUBDIR += kmplot SUBDIR += labplot SUBDIR += lambda SUBDIR += lapack SUBDIR += lapack++ SUBDIR += lapack95 SUBDIR += lapacke SUBDIR += lapackpp SUBDIR += laspack SUBDIR += latte-integrale SUBDIR += lcalc SUBDIR += ldouble SUBDIR += lean SUBDIR += lean4 + SUBDIR += leangz SUBDIR += lemon SUBDIR += levmar SUBDIR += lib2geom SUBDIR += libRmath SUBDIR += libbraiding SUBDIR += libccd SUBDIR += libcerf SUBDIR += libdivide SUBDIR += libdivsufsort SUBDIR += libfixmath SUBDIR += libflame SUBDIR += libformfactor SUBDIR += libhomfly SUBDIR += libmesh SUBDIR += libmissing SUBDIR += libnormaliz SUBDIR += libocas SUBDIR += liborigin SUBDIR += libpoly SUBDIR += libqalculate SUBDIR += libranlip SUBDIR += librdata SUBDIR += librsb SUBDIR += libsemigroups SUBDIR += libsharp2 SUBDIR += libtexprintf SUBDIR += libtommath SUBDIR += libxls SUBDIR += libxlsxwriter SUBDIR += libxsmm SUBDIR += lidia SUBDIR += linbox SUBDIR += lingeling SUBDIR += linpack SUBDIR += lis SUBDIR += lll_spect SUBDIR += lmfit SUBDIR += lp_solve SUBDIR += lrcalc SUBDIR += lrng SUBDIR += lrslib SUBDIR += ltl2ba SUBDIR += m4ri SUBDIR += m4rie SUBDIR += mate-calc SUBDIR += math77 SUBDIR += mathgl SUBDIR += mathicsscript SUBDIR += mathlibtools SUBDIR += mathmod SUBDIR += mathomatic SUBDIR += mathpresso SUBDIR += matio SUBDIR += matlab-installer SUBDIR += maxima SUBDIR += mbasecalc SUBDIR += mcsim SUBDIR += mdal SUBDIR += mesquite SUBDIR += metis SUBDIR += mfem SUBDIR += minisat SUBDIR += minizinc SUBDIR += minizinc-ide SUBDIR += minizinc-solvers SUBDIR += minorminer SUBDIR += miracl SUBDIR += mlpack SUBDIR += moab SUBDIR += moo SUBDIR += mpc SUBDIR += mpdecimal SUBDIR += mpexpr SUBDIR += mpfi SUBDIR += mpfr SUBDIR += mpfrc++ SUBDIR += mpfrcx SUBDIR += mpir SUBDIR += mppp SUBDIR += mprime SUBDIR += mpsolve SUBDIR += mtrxmath SUBDIR += multichoose SUBDIR += mumps SUBDIR += mumps4 SUBDIR += munkres-cpp SUBDIR += muparser SUBDIR += muparserx SUBDIR += nanoflann SUBDIR += nauty SUBDIR += ndiff SUBDIR += newmat SUBDIR += nfft SUBDIR += ngraph SUBDIR += nlopt SUBDIR += ntl SUBDIR += ntpoly SUBDIR += numdiff SUBDIR += obake SUBDIR += ocaml-num SUBDIR += ocaml-ocamlgraph SUBDIR += ocaml-zarith SUBDIR += ocamlgsl SUBDIR += octave SUBDIR += octave-forge SUBDIR += octave-forge-actuarial SUBDIR += octave-forge-audio SUBDIR += octave-forge-automatic-differentiation SUBDIR += octave-forge-base SUBDIR += octave-forge-bim SUBDIR += octave-forge-bioinfo SUBDIR += octave-forge-biosig SUBDIR += octave-forge-bsltl SUBDIR += octave-forge-cfitsio SUBDIR += octave-forge-cgi SUBDIR += octave-forge-civil-engineering SUBDIR += octave-forge-coder SUBDIR += octave-forge-communications SUBDIR += octave-forge-control SUBDIR += octave-forge-csg-toolkit SUBDIR += octave-forge-data-smoothing SUBDIR += octave-forge-database SUBDIR += octave-forge-dataframe SUBDIR += octave-forge-dicom SUBDIR += octave-forge-divand SUBDIR += octave-forge-doctest SUBDIR += octave-forge-econometrics SUBDIR += octave-forge-fda SUBDIR += octave-forge-femoctave SUBDIR += octave-forge-fenv SUBDIR += octave-forge-fileio SUBDIR += octave-forge-financial SUBDIR += octave-forge-fits SUBDIR += octave-forge-fpl SUBDIR += octave-forge-fuzzy-logic-toolkit SUBDIR += octave-forge-ga SUBDIR += octave-forge-general SUBDIR += octave-forge-generate_html SUBDIR += octave-forge-geographiclib SUBDIR += octave-forge-geometry SUBDIR += octave-forge-gnuplot SUBDIR += octave-forge-gsl SUBDIR += octave-forge-ident SUBDIR += octave-forge-image SUBDIR += octave-forge-informationtheory SUBDIR += octave-forge-integration SUBDIR += octave-forge-internal-fluid-flow SUBDIR += octave-forge-interval SUBDIR += octave-forge-io SUBDIR += octave-forge-irsa SUBDIR += octave-forge-level-set SUBDIR += octave-forge-linear-algebra SUBDIR += octave-forge-lssa SUBDIR += octave-forge-ltfat SUBDIR += octave-forge-mapping SUBDIR += octave-forge-matgeom SUBDIR += octave-forge-mccabe-thiele SUBDIR += octave-forge-mechanics SUBDIR += octave-forge-miscellaneous SUBDIR += octave-forge-missing-functions SUBDIR += octave-forge-mpi SUBDIR += octave-forge-mqtt SUBDIR += octave-forge-msh SUBDIR += octave-forge-multicore SUBDIR += octave-forge-mvn SUBDIR += octave-forge-nan SUBDIR += octave-forge-ncarray SUBDIR += octave-forge-netcdf SUBDIR += octave-forge-nlwing2 SUBDIR += octave-forge-nnet SUBDIR += octave-forge-nurbs SUBDIR += octave-forge-oct2mat SUBDIR += octave-forge-octave-pool SUBDIR += octave-forge-octclip SUBDIR += octave-forge-octproj SUBDIR += octave-forge-odebvp SUBDIR += octave-forge-onsas SUBDIR += octave-forge-optics SUBDIR += octave-forge-optim SUBDIR += octave-forge-optiminterp SUBDIR += octave-forge-outliers SUBDIR += octave-forge-parallel SUBDIR += octave-forge-pde1dm SUBDIR += octave-forge-pkg-octave-doc SUBDIR += octave-forge-plot SUBDIR += octave-forge-ponchon-savarit SUBDIR += octave-forge-prompt SUBDIR += octave-forge-psychrometrics SUBDIR += octave-forge-pythonic SUBDIR += octave-forge-quaternion SUBDIR += octave-forge-queueing SUBDIR += octave-forge-secs1d SUBDIR += octave-forge-secs2d SUBDIR += octave-forge-secs3d SUBDIR += octave-forge-signal SUBDIR += octave-forge-simp SUBDIR += octave-forge-sockets SUBDIR += octave-forge-sole SUBDIR += octave-forge-sparsersb SUBDIR += octave-forge-specfun SUBDIR += octave-forge-special-matrix SUBDIR += octave-forge-splines SUBDIR += octave-forge-sqlite SUBDIR += octave-forge-statistics SUBDIR += octave-forge-statistics-resampling SUBDIR += octave-forge-stk SUBDIR += octave-forge-strings SUBDIR += octave-forge-struct SUBDIR += octave-forge-symband SUBDIR += octave-forge-symbolic SUBDIR += octave-forge-tcl-octave SUBDIR += octave-forge-tsa SUBDIR += octave-forge-velas SUBDIR += octave-forge-video SUBDIR += octave-forge-websockets SUBDIR += octave-forge-zenity SUBDIR += octave-forge-zeromq SUBDIR += octomap SUBDIR += ogdf SUBDIR += oink SUBDIR += oleo SUBDIR += onednn SUBDIR += onednn252 SUBDIR += openblas SUBDIR += openfst SUBDIR += openfst-vosk SUBDIR += openlibm SUBDIR += openmesh SUBDIR += openscop SUBDIR += opensolaris-libm SUBDIR += openturns SUBDIR += optpp SUBDIR += or-tools SUBDIR += orpie SUBDIR += osi SUBDIR += osi-conic SUBDIR += osiipopt SUBDIR += osqp SUBDIR += p5-AI-DecisionTree SUBDIR += p5-AI-Genetic SUBDIR += p5-AI-NeuralNet-BackProp SUBDIR += p5-AI-Perceptron SUBDIR += p5-Algorithm-Combinatorics SUBDIR += p5-Algorithm-CurveFit SUBDIR += p5-Algorithm-Munkres SUBDIR += p5-Alien-GSL SUBDIR += p5-Bit-ShiftReg SUBDIR += p5-Bit-Vector SUBDIR += p5-Bit-Vector-Minimal SUBDIR += p5-CAD-Calc SUBDIR += p5-Chart-Math-Axis SUBDIR += p5-Data-Float SUBDIR += p5-Date-Handler SUBDIR += p5-GIS-Distance SUBDIR += p5-GIS-Distance-Fast SUBDIR += p5-GIS-Distance-Lite SUBDIR += p5-Geo-Coordinates-UTM SUBDIR += p5-Geo-Distance SUBDIR += p5-Geo-Distance-XS SUBDIR += p5-Graph SUBDIR += p5-Math-Algebra-Symbols SUBDIR += p5-Math-Base36 SUBDIR += p5-Math-Base85 SUBDIR += p5-Math-BaseCalc SUBDIR += p5-Math-BaseCnv SUBDIR += p5-Math-Bezier SUBDIR += p5-Math-Bezier-Convert SUBDIR += p5-Math-BigInt SUBDIR += p5-Math-BigInt-FastCalc SUBDIR += p5-Math-BigInt-GMP SUBDIR += p5-Math-BigInt-Lite SUBDIR += p5-Math-BigInt-Pari SUBDIR += p5-Math-CDF SUBDIR += p5-Math-Calc-Units SUBDIR += p5-Math-Cephes SUBDIR += p5-Math-Combinatorics SUBDIR += p5-Math-Complex SUBDIR += p5-Math-ConvexHull SUBDIR += p5-Math-Currency SUBDIR += p5-Math-Derivative SUBDIR += p5-Math-Evol SUBDIR += p5-Math-Expr SUBDIR += p5-Math-FFT SUBDIR += p5-Math-FixedPrecision SUBDIR += p5-Math-Fleximal SUBDIR += p5-Math-GMP SUBDIR += p5-Math-GMPf SUBDIR += p5-Math-GMPq SUBDIR += p5-Math-GMPz SUBDIR += p5-Math-GSL SUBDIR += p5-Math-Geometry SUBDIR += p5-Math-Geometry-Planar SUBDIR += p5-Math-Geometry-Planar-GPC SUBDIR += p5-Math-Geometry-Planar-GPC-PolygonXS SUBDIR += p5-Math-Geometry-Planar-Offset SUBDIR += p5-Math-Geometry-Voronoi SUBDIR += p5-Math-Gradient SUBDIR += p5-Math-Int128 SUBDIR += p5-Math-Int64 SUBDIR += p5-Math-Interpolate SUBDIR += p5-Math-Intersection-StraightLine SUBDIR += p5-Math-Logic SUBDIR += p5-Math-MPC SUBDIR += p5-Math-MPFR SUBDIR += p5-Math-Matrix SUBDIR += p5-Math-MatrixReal SUBDIR += p5-Math-NumberCruncher SUBDIR += p5-Math-Pari SUBDIR += p5-Math-Polygon SUBDIR += p5-Math-Polygon-Tree SUBDIR += p5-Math-Polynomial-Solve SUBDIR += p5-Math-Prime-Util SUBDIR += p5-Math-Prime-Util-GMP SUBDIR += p5-Math-Prime-XS SUBDIR += p5-Math-ProvablePrime SUBDIR += p5-Math-RPN SUBDIR += p5-Math-Random SUBDIR += p5-Math-Random-ISAAC SUBDIR += p5-Math-Random-ISAAC-XS SUBDIR += p5-Math-Random-MT SUBDIR += p5-Math-Random-MT-Auto SUBDIR += p5-Math-Random-OO SUBDIR += p5-Math-Random-Secure SUBDIR += p5-Math-RandomOrg SUBDIR += p5-Math-Round SUBDIR += p5-Math-Round-Var SUBDIR += p5-Math-Sequence SUBDIR += p5-Math-Series SUBDIR += p5-Math-SigFigs SUBDIR += p5-Math-SimpleVariable SUBDIR += p5-Math-Spline SUBDIR += p5-Math-String SUBDIR += p5-Math-Symbolic SUBDIR += p5-Math-Symbolic-Custom-CCompiler SUBDIR += p5-Math-Symbolic-Custom-Contains SUBDIR += p5-Math-Symbolic-Custom-ErrorPropagation SUBDIR += p5-Math-Symbolic-Custom-LaTeXDumper SUBDIR += p5-Math-Symbolic-Custom-Pattern SUBDIR += p5-Math-Symbolic-Custom-Simplification SUBDIR += p5-Math-Symbolic-Custom-Transformation SUBDIR += p5-Math-SymbolicX-BigNum SUBDIR += p5-Math-SymbolicX-Complex SUBDIR += p5-Math-SymbolicX-Error SUBDIR += p5-Math-SymbolicX-Inline SUBDIR += p5-Math-SymbolicX-NoSimplification SUBDIR += p5-Math-SymbolicX-ParserExtensionFactory SUBDIR += p5-Math-SymbolicX-Statistics-Distributions SUBDIR += p5-Math-TrulyRandom SUBDIR += p5-Math-Units SUBDIR += p5-Math-Utils SUBDIR += p5-Math-Vec SUBDIR += p5-Math-VecStat SUBDIR += p5-Math-VectorReal SUBDIR += p5-NetCDF SUBDIR += p5-Number-Compare SUBDIR += p5-Number-Fraction SUBDIR += p5-Number-Misc SUBDIR += p5-Number-Uncertainty SUBDIR += p5-Number-WithError SUBDIR += p5-Number-WithError-LaTeX SUBDIR += p5-Parse-Range SUBDIR += p5-Roman SUBDIR += p5-Set-IntSpan SUBDIR += p5-Set-IntSpan-Fast SUBDIR += p5-Set-IntSpan-Fast-XS SUBDIR += p5-Set-Partition SUBDIR += p5-Set-Window SUBDIR += p5-Statistics-Basic SUBDIR += p5-Statistics-Benford SUBDIR += p5-Statistics-CaseResampling SUBDIR += p5-Statistics-ChiSquare SUBDIR += p5-Statistics-Contingency SUBDIR += p5-Statistics-Descriptive SUBDIR += p5-Statistics-Descriptive-Discrete SUBDIR += p5-Statistics-Distributions SUBDIR += p5-Statistics-Forecast SUBDIR += p5-Statistics-Frequency SUBDIR += p5-Statistics-LTU SUBDIR += p5-Statistics-LineFit SUBDIR += p5-Statistics-Lite SUBDIR += p5-Statistics-OLS SUBDIR += p5-Statistics-R SUBDIR += p5-Statistics-Regression SUBDIR += p5-Statistics-TTest SUBDIR += p5-Task-Math-Symbolic SUBDIR += p5-Text-AsciiTeX SUBDIR += p5-bignum SUBDIR += palp SUBDIR += pari SUBDIR += pari_elldata SUBDIR += pari_galdata SUBDIR += pari_galpol SUBDIR += pari_nflistdata SUBDIR += pari_nftables SUBDIR += pari_seadata SUBDIR += paritwine SUBDIR += parmetis SUBDIR += parmgridgen SUBDIR += pdal SUBDIR += pear-Math_BigInteger SUBDIR += pear-Math_Combinatorics SUBDIR += pecl-bitset SUBDIR += perlinnoise SUBDIR += permlib SUBDIR += petanque SUBDIR += petiga SUBDIR += pffft SUBDIR += php81-bcmath SUBDIR += php81-gmp SUBDIR += php82-bcmath SUBDIR += php82-gmp SUBDIR += php83-bcmath SUBDIR += php83-gmp SUBDIR += physcalc SUBDIR += picosat SUBDIR += piranha SUBDIR += planarity SUBDIR += plantri SUBDIR += plman SUBDIR += ploticus SUBDIR += ploticus-nox11 SUBDIR += plplot SUBDIR += poly2tri SUBDIR += polyclipper SUBDIR += polylib SUBDIR += polymake SUBDIR += primecount SUBDIR += primegen SUBDIR += primesieve SUBDIR += primesum SUBDIR += primme SUBDIR += prng SUBDIR += pspp SUBDIR += psurface SUBDIR += py-CyLP SUBDIR += py-Diofant SUBDIR += py-GridDataFormats SUBDIR += py-MutatorMath SUBDIR += py-POT SUBDIR += py-PuLP SUBDIR += py-Py-BOBYQA SUBDIR += py-PyMetis SUBDIR += py-PySCIPOpt SUBDIR += py-PyWavelets SUBDIR += py-Pyomo SUBDIR += py-SQNomad SUBDIR += py-affine SUBDIR += py-algopy SUBDIR += py-altgraph SUBDIR += py-ambit SUBDIR += py-amply SUBDIR += py-animatplot SUBDIR += py-animatplot-ng SUBDIR += py-annoy SUBDIR += py-apgl SUBDIR += py-arviz SUBDIR += py-arybo SUBDIR += py-autograd SUBDIR += py-awkward SUBDIR += py-awkward-cpp SUBDIR += py-baycomp SUBDIR += py-bayesian-optimization SUBDIR += py-benford_py SUBDIR += py-bitmath SUBDIR += py-bitvector SUBDIR += py-bottleneck SUBDIR += py-brial SUBDIR += py-chaospy SUBDIR += py-claripy SUBDIR += py-clingcon SUBDIR += py-clingo SUBDIR += py-cma SUBDIR += py-cmaes SUBDIR += py-cmyt SUBDIR += py-colormath SUBDIR += py-contourpy SUBDIR += py-cryptominisat SUBDIR += py-cvxopt SUBDIR += py-cvxpy SUBDIR += py-cyipopt SUBDIR += py-cypari2 SUBDIR += py-deap SUBDIR += py-dgl SUBDIR += py-dionysus SUBDIR += py-disjoint-set SUBDIR += py-docplex SUBDIR += py-ducc0 SUBDIR += py-ecos SUBDIR += py-evalidate SUBDIR += py-faiss SUBDIR += py-fastcluster SUBDIR += py-fastdtw SUBDIR += py-fenics-basix SUBDIR += py-fenics-ffcx SUBDIR += py-fenics-ufl SUBDIR += py-flax SUBDIR += py-formulaic SUBDIR += py-fpylll SUBDIR += py-fraction SUBDIR += py-fsph SUBDIR += py-fvcore SUBDIR += py-gau2grid SUBDIR += py-gimmik SUBDIR += py-gmpy2 SUBDIR += py-grandalf SUBDIR += py-graphillion SUBDIR += py-gym SUBDIR += py-gym-notices SUBDIR += py-hdbscan SUBDIR += py-hdmedians SUBDIR += py-hepstats SUBDIR += py-heyoka SUBDIR += py-hmmlearn SUBDIR += py-igraph SUBDIR += py-iminuit SUBDIR += py-intspan SUBDIR += py-iohexperimenter SUBDIR += py-ipyopt SUBDIR += py-isosurfaces SUBDIR += py-jacobi SUBDIR += py-jax SUBDIR += py-kahip SUBDIR += py-keras SUBDIR += py-keras-applications SUBDIR += py-keras-preprocessing SUBDIR += py-kiwisolver SUBDIR += py-levmar SUBDIR += py-libpoly SUBDIR += py-linearmodels SUBDIR += py-lmfit SUBDIR += py-logical-unification SUBDIR += py-lrcalc SUBDIR += py-luminol SUBDIR += py-mapbox-earcut SUBDIR += py-mathics SUBDIR += py-mathics-scanner SUBDIR += py-matplotlib SUBDIR += py-matplotlib-inline SUBDIR += py-matplotlib-scalebar SUBDIR += py-minorminer SUBDIR += py-mip SUBDIR += py-mixsimulator SUBDIR += py-ml-dtypes SUBDIR += py-mnnpy SUBDIR += py-moarchiving SUBDIR += py-mpmath SUBDIR += py-munkres SUBDIR += py-munkres10 SUBDIR += py-ndindex SUBDIR += py-networkx SUBDIR += py-nevergrad SUBDIR += py-nlopt SUBDIR += py-numba-stats SUBDIR += py-numdifftools SUBDIR += py-numexpr SUBDIR += py-numpoly SUBDIR += py-numpy SUBDIR += py-numpy-groupies SUBDIR += py-numpy-stl SUBDIR += py-openTSNE SUBDIR += py-opt-einsum SUBDIR += py-optuna SUBDIR += py-or-tools SUBDIR += py-osqp SUBDIR += py-pandas SUBDIR += py-pandas-datareader SUBDIR += py-patsy SUBDIR += py-pdal SUBDIR += py-permutation SUBDIR += py-petsc4py SUBDIR += py-plastex SUBDIR += py-point-annotator SUBDIR += py-pplpy SUBDIR += py-primecountpy SUBDIR += py-primme SUBDIR += py-py-find-1st SUBDIR += py-pyFFTW SUBDIR += py-pyaudi SUBDIR += py-pybloom SUBDIR += py-pyclipper SUBDIR += py-pycosat SUBDIR += py-pygsl SUBDIR += py-pygslodeiv2 SUBDIR += py-pyhdfe SUBDIR += py-pyhull SUBDIR += py-pymc3 SUBDIR += py-pynauty SUBDIR += py-pyneqsys SUBDIR += py-pynleq2 SUBDIR += py-pynndescent SUBDIR += py-pyodeint SUBDIR += py-pyodesys SUBDIR += py-pyreadr SUBDIR += py-pyrr SUBDIR += py-pysmt SUBDIR += py-pystan SUBDIR += py-pysym SUBDIR += py-pytanque SUBDIR += py-pytensor SUBDIR += py-python-fcl SUBDIR += py-python-louvain SUBDIR += py-python-picard SUBDIR += py-pytorchvideo SUBDIR += py-pyvtk SUBDIR += py-qats SUBDIR += py-qdldl SUBDIR += py-quadprog SUBDIR += py-random2 SUBDIR += py-reals SUBDIR += py-rectangle-packer SUBDIR += py-resample SUBDIR += py-roman SUBDIR += py-rpy2 SUBDIR += py-rustworkx SUBDIR += py-rvlib SUBDIR += py-scikit-fem SUBDIR += py-scikit-umfpack SUBDIR += py-scs SUBDIR += py-seaborn SUBDIR += py-secp256k1 SUBDIR += py-seriate SUBDIR += py-simhash SUBDIR += py-slepc4py SUBDIR += py-snuggs SUBDIR += py-spectral SUBDIR += py-spglm SUBDIR += py-spint SUBDIR += py-splot SUBDIR += py-spopt SUBDIR += py-spot SUBDIR += py-spreg SUBDIR += py-spvcm SUBDIR += py-squarify SUBDIR += py-ssm SUBDIR += py-statsmodels SUBDIR += py-svgmath SUBDIR += py-sym SUBDIR += py-symengine SUBDIR += py-sympy SUBDIR += py-theano SUBDIR += py-timple SUBDIR += py-topologic SUBDIR += py-triangle SUBDIR += py-umap-learn SUBDIR += py-uncertainties SUBDIR += py-unyt SUBDIR += py-vincenty SUBDIR += py-yt SUBDIR += py-z3-solver SUBDIR += qalculate-gtk SUBDIR += qalculate-qt SUBDIR += qd SUBDIR += qhull SUBDIR += qhull7 SUBDIR += qposases SUBDIR += qrupdate SUBDIR += qtiplot-doc SUBDIR += qwtplot3d SUBDIR += qxfun SUBDIR += randlib SUBDIR += rankwidth SUBDIR += rapid SUBDIR += readstat SUBDIR += reduce SUBDIR += reduce-psl SUBDIR += reed-solomon SUBDIR += rehearse SUBDIR += rexx-regmath SUBDIR += rkward SUBDIR += rngstreams SUBDIR += rocs SUBDIR += rpcalc SUBDIR += rubiks SUBDIR += rubygem-algebra SUBDIR += rubygem-bigdecimal SUBDIR += rubygem-enumerable-statistics SUBDIR += rubygem-expression_parser SUBDIR += rubygem-fftw3 SUBDIR += rubygem-mathn SUBDIR += rubygem-matrix SUBDIR += rubygem-mtrc SUBDIR += rubygem-narray SUBDIR += rubygem-narray_miss SUBDIR += rubygem-numru-misc SUBDIR += rubygem-numru-units SUBDIR += rubygem-prime SUBDIR += rubygem-rb-gsl SUBDIR += rumur SUBDIR += saga SUBDIR += sage SUBDIR += savage SUBDIR += sc SUBDIR += sc-im SUBDIR += scalapack SUBDIR += scalapackfx SUBDIR += scilab SUBDIR += scilab-toolbox-swt SUBDIR += scorec-core SUBDIR += scs SUBDIR += sdpa SUBDIR += secp256k1 SUBDIR += sfft SUBDIR += simd-viterbi SUBDIR += singular SUBDIR += sisl SUBDIR += slatec SUBDIR += sleef SUBDIR += slepc SUBDIR += slgrace SUBDIR += slicot SUBDIR += snns SUBDIR += solitaire SUBDIR += sound-of-sorting SUBDIR += spar SUBDIR += spblas SUBDIR += spectra SUBDIR += speedcrunch SUBDIR += spfft SUBDIR += spla SUBDIR += spooles SUBDIR += spooles-mpich SUBDIR += spot SUBDIR += sprng SUBDIR += ssht SUBDIR += stan SUBDIR += stanmath SUBDIR += stp SUBDIR += suitesparse SUBDIR += suitesparse-amd SUBDIR += suitesparse-btf SUBDIR += suitesparse-camd SUBDIR += suitesparse-ccolamd SUBDIR += suitesparse-cholmod SUBDIR += suitesparse-colamd SUBDIR += suitesparse-config SUBDIR += suitesparse-csparse SUBDIR += suitesparse-cxsparse SUBDIR += suitesparse-graphblas SUBDIR += suitesparse-klu SUBDIR += suitesparse-lagraph SUBDIR += suitesparse-ldl SUBDIR += suitesparse-mongoose SUBDIR += suitesparse-paru SUBDIR += suitesparse-rbio SUBDIR += suitesparse-spex SUBDIR += suitesparse-spqr SUBDIR += suitesparse-umfpack SUBDIR += sundials SUBDIR += superlu SUBDIR += superlu-dist SUBDIR += symengine SUBDIR += symfpu SUBDIR += symmetrica SUBDIR += symphony SUBDIR += sympol SUBDIR += sympow SUBDIR += tablix SUBDIR += taucs SUBDIR += tblis SUBDIR += testu01 SUBDIR += tetgen SUBDIR += teyjus SUBDIR += the-algorithms-c++ SUBDIR += timbl SUBDIR += tiny-bignum-c SUBDIR += tinyexpr SUBDIR += tinymt SUBDIR += tlapack SUBDIR += tmv SUBDIR += tomsfastmath SUBDIR += topaz SUBDIR += topcom SUBDIR += topologic SUBDIR += triangle SUBDIR += trlan SUBDIR += trlib SUBDIR += ttmath SUBDIR += tvmet SUBDIR += ump SUBDIR += units SUBDIR += universal SUBDIR += unuran SUBDIR += vampire SUBDIR += vdt SUBDIR += verdict SUBDIR += viennacl SUBDIR += vinci SUBDIR += visualpolylib SUBDIR += vowpal_wabbit SUBDIR += vtk8 SUBDIR += vtk9 SUBDIR += wavelib SUBDIR += wcalc SUBDIR += wxmaxima SUBDIR += xblas SUBDIR += xfce4-calculator-plugin SUBDIR += xgap SUBDIR += xgraph SUBDIR += xlapack SUBDIR += xldlas SUBDIR += xlife++ SUBDIR += xplot SUBDIR += xspread SUBDIR += xtensor SUBDIR += xtensor-blas SUBDIR += xtensor-io SUBDIR += xtensor-python SUBDIR += yacas SUBDIR += yices SUBDIR += z3 SUBDIR += zarray SUBDIR += zegrapher SUBDIR += zimpl SUBDIR += zn_poly .include diff --git a/math/leangz/Makefile b/math/leangz/Makefile new file mode 100644 index 000000000000..a2712df8e959 --- /dev/null +++ b/math/leangz/Makefile @@ -0,0 +1,67 @@ +PORTNAME= leangz +DISTVERSIONPREFIX= v +DISTVERSION= 0.1.10 +CATEGORIES= math + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Lean 4 .olean file (de)compressor +WWW= https://github.com/digama0/leangz + +#LICENSE= # unknown, see https://github.com/digama0/leangz/issues/1 + +LIB_DEPENDS= libzstd.so:archivers/zstd + +USES= cargo + +USE_GITHUB= yes +GH_ACCOUNT= digama0 + +CARGO_CRATES= adler-1.0.2 \ + ahash-0.8.3 \ + allocator-api2-0.2.15 \ + autocfg-1.1.0 \ + byteorder-1.4.3 \ + cc-1.0.79 \ + cfg-if-1.0.0 \ + crc32fast-1.3.2 \ + crossbeam-channel-0.5.8 \ + crossbeam-deque-0.8.3 \ + crossbeam-epoch-0.9.15 \ + crossbeam-utils-0.8.16 \ + either-1.8.1 \ + flate2-1.0.26 \ + hashbrown-0.14.0 \ + hermit-abi-0.2.6 \ + itoa-1.0.8 \ + jobserver-0.1.26 \ + libc-0.2.146 \ + memmap2-0.9.0 \ + memoffset-0.9.0 \ + miniz_oxide-0.7.1 \ + num_cpus-1.15.0 \ + once_cell-1.18.0 \ + pkg-config-0.3.27 \ + proc-macro2-1.0.70 \ + quote-1.0.28 \ + rayon-1.7.0 \ + rayon-core-1.11.0 \ + ryu-1.0.14 \ + scopeguard-1.1.0 \ + serde-1.0.166 \ + serde_json-1.0.99 \ + syn-2.0.39 \ + unicode-ident-1.0.9 \ + version_check-0.9.4 \ + zerocopy-0.7.29 \ + zerocopy-derive-0.7.29 \ + zstd-0.13.0 \ + zstd-safe-7.0.0 \ + zstd-sys-2.0.8+zstd.1.5.5 + +PLIST_FILES= bin/${PORTNAME} \ + bin/leantar + +post-install: + @cd ${STAGEDIR}${PREFIX} && ${STRIP_CMD} ${PLIST_FILES} + +.include diff --git a/math/leangz/distinfo b/math/leangz/distinfo new file mode 100644 index 000000000000..beae0da93f2d --- /dev/null +++ b/math/leangz/distinfo @@ -0,0 +1,85 @@ +TIMESTAMP = 1705388361 +SHA256 (rust/crates/adler-1.0.2.crate) = f26201604c87b1e01bd3d98f8d5d9a8fcbb815e8cedb41ffccbeb4bf593a35fe +SIZE (rust/crates/adler-1.0.2.crate) = 12778 +SHA256 (rust/crates/ahash-0.8.3.crate) = 2c99f64d1e06488f620f932677e24bc6e2897582980441ae90a671415bd7ec2f +SIZE (rust/crates/ahash-0.8.3.crate) = 42416 +SHA256 (rust/crates/allocator-api2-0.2.15.crate) = 56fc6cf8dc8c4158eed8649f9b8b0ea1518eb62b544fe9490d66fa0b349eafe9 +SIZE (rust/crates/allocator-api2-0.2.15.crate) = 58998 +SHA256 (rust/crates/autocfg-1.1.0.crate) = d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa +SIZE (rust/crates/autocfg-1.1.0.crate) = 13272 +SHA256 (rust/crates/byteorder-1.4.3.crate) = 14c189c53d098945499cdfa7ecc63567cf3886b3332b312a5b4585d8d3a6a610 +SIZE (rust/crates/byteorder-1.4.3.crate) = 22512 +SHA256 (rust/crates/cc-1.0.79.crate) = 50d30906286121d95be3d479533b458f87493b30a4b5f79a607db8f5d11aa91f +SIZE (rust/crates/cc-1.0.79.crate) = 62624 +SHA256 (rust/crates/cfg-if-1.0.0.crate) = baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd +SIZE (rust/crates/cfg-if-1.0.0.crate) = 7934 +SHA256 (rust/crates/crc32fast-1.3.2.crate) = b540bd8bc810d3885c6ea91e2018302f68baba2129ab3e88f32389ee9370880d +SIZE (rust/crates/crc32fast-1.3.2.crate) = 38661 +SHA256 (rust/crates/crossbeam-channel-0.5.8.crate) = a33c2bf77f2df06183c3aa30d1e96c0695a313d4f9c453cc3762a6db39f99200 +SIZE (rust/crates/crossbeam-channel-0.5.8.crate) = 90455 +SHA256 (rust/crates/crossbeam-deque-0.8.3.crate) = ce6fd6f855243022dcecf8702fef0c297d4338e226845fe067f6341ad9fa0cef +SIZE (rust/crates/crossbeam-deque-0.8.3.crate) = 21746 +SHA256 (rust/crates/crossbeam-epoch-0.9.15.crate) = ae211234986c545741a7dc064309f67ee1e5ad243d0e48335adc0484d960bcc7 +SIZE (rust/crates/crossbeam-epoch-0.9.15.crate) = 48553 +SHA256 (rust/crates/crossbeam-utils-0.8.16.crate) = 5a22b2d63d4d1dc0b7f1b6b2747dd0088008a9be28b6ddf0b1e7d335e3037294 +SIZE (rust/crates/crossbeam-utils-0.8.16.crate) = 42508 +SHA256 (rust/crates/either-1.8.1.crate) = 7fcaabb2fef8c910e7f4c7ce9f67a1283a1715879a7c230ca9d6d1ae31f16d91 +SIZE (rust/crates/either-1.8.1.crate) = 16027 +SHA256 (rust/crates/flate2-1.0.26.crate) = 3b9429470923de8e8cbd4d2dc513535400b4b3fef0319fb5c4e1f520a7bef743 +SIZE (rust/crates/flate2-1.0.26.crate) = 70832 +SHA256 (rust/crates/hashbrown-0.14.0.crate) = 2c6201b9ff9fd90a5a3bac2e56a830d0caa509576f0e503818ee82c181b3437a +SIZE (rust/crates/hashbrown-0.14.0.crate) = 116103 +SHA256 (rust/crates/hermit-abi-0.2.6.crate) = ee512640fe35acbfb4bb779db6f0d80704c2cacfa2e39b601ef3e3f47d1ae4c7 +SIZE (rust/crates/hermit-abi-0.2.6.crate) = 13027 +SHA256 (rust/crates/itoa-1.0.8.crate) = 62b02a5381cc465bd3041d84623d0fa3b66738b52b8e2fc3bab8ad63ab032f4a +SIZE (rust/crates/itoa-1.0.8.crate) = 10465 +SHA256 (rust/crates/jobserver-0.1.26.crate) = 936cfd212a0155903bcbc060e316fb6cc7cbf2e1907329391ebadc1fe0ce77c2 +SIZE (rust/crates/jobserver-0.1.26.crate) = 22645 +SHA256 (rust/crates/libc-0.2.146.crate) = f92be4933c13fd498862a9e02a3055f8a8d9c039ce33db97306fd5a6caa7f29b +SIZE (rust/crates/libc-0.2.146.crate) = 684707 +SHA256 (rust/crates/memmap2-0.9.0.crate) = deaba38d7abf1d4cca21cc89e932e542ba2b9258664d2a9ef0e61512039c9375 +SIZE (rust/crates/memmap2-0.9.0.crate) = 31529 +SHA256 (rust/crates/memoffset-0.9.0.crate) = 5a634b1c61a95585bd15607c6ab0c4e5b226e695ff2800ba0cdccddf208c406c +SIZE (rust/crates/memoffset-0.9.0.crate) = 9033 +SHA256 (rust/crates/miniz_oxide-0.7.1.crate) = e7810e0be55b428ada41041c41f32c9f1a42817901b4ccf45fa3d4b6561e74c7 +SIZE (rust/crates/miniz_oxide-0.7.1.crate) = 55194 +SHA256 (rust/crates/num_cpus-1.15.0.crate) = 0fac9e2da13b5eb447a6ce3d392f23a29d8694bff781bf03a16cd9ac8697593b +SIZE (rust/crates/num_cpus-1.15.0.crate) = 15680 +SHA256 (rust/crates/once_cell-1.18.0.crate) = dd8b5dd2ae5ed71462c540258bedcb51965123ad7e7ccf4b9a8cafaa4a63576d +SIZE (rust/crates/once_cell-1.18.0.crate) = 32969 +SHA256 (rust/crates/pkg-config-0.3.27.crate) = 26072860ba924cbfa98ea39c8c19b4dd6a4a25423dbdf219c1eca91aa0cf6964 +SIZE (rust/crates/pkg-config-0.3.27.crate) = 18838 +SHA256 (rust/crates/proc-macro2-1.0.70.crate) = 39278fbbf5fb4f646ce651690877f89d1c5811a3d4acb27700c1cb3cdb78fd3b +SIZE (rust/crates/proc-macro2-1.0.70.crate) = 44343 +SHA256 (rust/crates/quote-1.0.28.crate) = 1b9ab9c7eadfd8df19006f1cf1a4aed13540ed5cbc047010ece5826e10825488 +SIZE (rust/crates/quote-1.0.28.crate) = 28382 +SHA256 (rust/crates/rayon-1.7.0.crate) = 1d2df5196e37bcc87abebc0053e20787d73847bb33134a69841207dd0a47f03b +SIZE (rust/crates/rayon-1.7.0.crate) = 169488 +SHA256 (rust/crates/rayon-core-1.11.0.crate) = 4b8f95bd6966f5c87776639160a66bd8ab9895d9d4ab01ddba9fc60661aebe8d +SIZE (rust/crates/rayon-core-1.11.0.crate) = 73118 +SHA256 (rust/crates/ryu-1.0.14.crate) = fe232bdf6be8c8de797b22184ee71118d63780ea42ac85b61d1baa6d3b782ae9 +SIZE (rust/crates/ryu-1.0.14.crate) = 46861 +SHA256 (rust/crates/scopeguard-1.1.0.crate) = d29ab0c6d3fc0ee92fe66e2d99f700eab17a8d57d1c1d3b748380fb20baa78cd +SIZE (rust/crates/scopeguard-1.1.0.crate) = 11470 +SHA256 (rust/crates/serde-1.0.166.crate) = d01b7404f9d441d3ad40e6a636a7782c377d2abdbe4fa2440e2edcc2f4f10db8 +SIZE (rust/crates/serde-1.0.166.crate) = 76998 +SHA256 (rust/crates/serde_json-1.0.99.crate) = 46266871c240a00b8f503b877622fe33430b3c7d963bdc0f2adc511e54a1eae3 +SIZE (rust/crates/serde_json-1.0.99.crate) = 145102 +SHA256 (rust/crates/syn-2.0.39.crate) = 23e78b90f2fcf45d3e842032ce32e3f2d1545ba6636271dcbf24fa306d87be7a +SIZE (rust/crates/syn-2.0.39.crate) = 244129 +SHA256 (rust/crates/unicode-ident-1.0.9.crate) = b15811caf2415fb889178633e7724bad2509101cde276048e013b9def5e51fa0 +SIZE (rust/crates/unicode-ident-1.0.9.crate) = 41978 +SHA256 (rust/crates/version_check-0.9.4.crate) = 49874b5167b65d7193b8aba1567f5c7d93d001cafc34600cee003eda787e483f +SIZE (rust/crates/version_check-0.9.4.crate) = 14895 +SHA256 (rust/crates/zerocopy-0.7.29.crate) = 5d075cf85bbb114e933343e087b92f2146bac0d55b534cbb8188becf0039948e +SIZE (rust/crates/zerocopy-0.7.29.crate) = 149155 +SHA256 (rust/crates/zerocopy-derive-0.7.29.crate) = 86cd5ca076997b97ef09d3ad65efe811fa68c9e874cb636ccb211223a813b0c2 +SIZE (rust/crates/zerocopy-derive-0.7.29.crate) = 533506 +SHA256 (rust/crates/zstd-0.13.0.crate) = bffb3309596d527cfcba7dfc6ed6052f1d39dfbd7c867aa2e865e4a449c10110 +SIZE (rust/crates/zstd-0.13.0.crate) = 28911 +SHA256 (rust/crates/zstd-safe-7.0.0.crate) = 43747c7422e2924c11144d5229878b98180ef8b06cca4ab5af37afc8a8d8ea3e +SIZE (rust/crates/zstd-safe-7.0.0.crate) = 20463 +SHA256 (rust/crates/zstd-sys-2.0.8+zstd.1.5.5.crate) = 5556e6ee25d32df2586c098bbfa278803692a20d0ab9565e049480d52707ec8c +SIZE (rust/crates/zstd-sys-2.0.8+zstd.1.5.5.crate) = 736270 +SHA256 (digama0-leangz-v0.1.10_GH0.tar.gz) = 4b27236888100e921e3aa9446ee92d666e164e3b7794ebde1bb24c0ebfbbe173 +SIZE (digama0-leangz-v0.1.10_GH0.tar.gz) = 262704 diff --git a/math/leangz/pkg-descr b/math/leangz/pkg-descr new file mode 100644 index 000000000000..0edc7f1c4e45 --- /dev/null +++ b/math/leangz/pkg-descr @@ -0,0 +1 @@ +Lean 4 .olean file (de)compressor.