diff options
Diffstat (limited to 'metadata/pkg_desc_index')
-rw-r--r-- | metadata/pkg_desc_index | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index index c18fbaf9d517..3f011caaba1b 100644 --- a/metadata/pkg_desc_index +++ b/metadata/pkg_desc_index @@ -16008,6 +16008,7 @@ sci-mathematics/gp2c 0.0.12: A GP to C translator sci-mathematics/gretl 2021d: Regression, econometrics and time-series library sci-mathematics/gsl-shell 2.3.2 2.3.5: Lua interactive shell for sci-libs/gsl sci-mathematics/jags 4.3.0 4.3.1: Just Another Gibbs Sampler for Bayesian MCMC simulation +sci-mathematics/kind2 1.9.0: Multi-engine SMT-based automatic model checker sci-mathematics/kissat 3.0.0: Keep-it-simple and clean bare metal SAT solver written in C sci-mathematics/lcalc 2.0.5-r2: Command-line utility and library for L-function computations sci-mathematics/lean 3.49.0 3.50.3 3.51.0 3.51.1 3.9999: The Lean Theorem Prover |