diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2023-06-03 17:02:01 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-06-03 17:02:01 +0000 |
| commit | fc92d05fe04bcd831ba803fb18a5b3fca5f739f4 (patch) | |
| tree | 8d78432ddb616b48af09c3d5638efa1615c9ee66 /metadata/pkg_desc_index | |
| parent | Merge updates from master (diff) | |
| download | gentoo-fc92d05fe04bcd831ba803fb18a5b3fca5f739f4.tar.gz gentoo-fc92d05fe04bcd831ba803fb18a5b3fca5f739f4.tar.bz2 gentoo-fc92d05fe04bcd831ba803fb18a5b3fca5f739f4.zip | |
2023-06-03 17:02:01 UTC
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 |