* NEOS 19

* prod manifest
old-commit-hash: 6a9514570cfeb2bf9b15929b2a6d3748ff2eb9a6
This commit is contained in:
Adeeb Shihadeh
2022-01-21 00:12:33 -08:00
committed by GitHub
parent 686a34fd32
commit 3aaf423dde
2 changed files with 6 additions and 6 deletions
+1 -1
View File
@@ -7,7 +7,7 @@ export OPENBLAS_NUM_THREADS=1
export VECLIB_MAXIMUM_THREADS=1
if [ -z "$REQUIRED_NEOS_VERSION" ]; then
export REQUIRED_NEOS_VERSION="18"
export REQUIRED_NEOS_VERSION="19"
fi
if [ -z "$AGNOS_VERSION" ]; then