Merge pull request #252357 from GaetanLepage/wolfram

wolfram-engine: add 13.3.0
This commit is contained in:
Weijia Wang 2023-09-05 23:31:00 +02:00 committed by GitHub
commit e05ddba190
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,6 +7,13 @@
let allVersions = with lib; flip map
# N.B. Versions in this list should be ordered from newest to oldest.
[
{
version = "13.3.0";
lang = "en";
language = "English";
sha256 = "96106ac8ed6d0e221a68d846117615c14025320f927e5e0ed95b1965eda68e31";
installer = "WolframEngine_13.3.0_LINUX.sh";
}
{
version = "13.2.0";
lang = "en";