Https://portal.ampl.com/dl/modules/coin-module.linux-arm64.tgz does not contain ipopt

Hi,

I need a linux ARM64 version for coin-module.

The linux64 version at https://portal.ampl.com/dl/modules/coin-module.linux64.tgz contains just what I need for amd64 CPU:

drwxr-xr-x fdabrandao/apache 0 2024-04-05 12:38 ampl.linux-intel64/
drwxr-xr-x fdabrandao/apache 0 2024-01-18 07:19 ampl.linux-intel64/docs/
-rw-r–r-- fdabrandao/apache 106 2024-01-18 07:01 ampl.linux-intel64/docs/README.cbc.txt
-rw-r–r-- fdabrandao/apache 2382 2024-01-18 07:01 ampl.linux-intel64/docs/CHANGES.cbc.md
-rw-r–r-- fdabrandao/apache 1250632 2024-01-18 07:19 ampl.linux-intel64/libCgl.so.1
-rw-r–r-- fdabrandao/apache 424136 2024-01-18 07:19 ampl.linux-intel64/libOsiClp.so.1
-rw-r–r-- fdabrandao/apache 1651936 2024-01-18 07:19 ampl.linux-intel64/libCoinUtils.so.3
-rwxr-xr-x fdabrandao/apache 18580007 2023-02-21 21:54 ampl.linux-intel64/couenne
-rw-r–r-- fdabrandao/apache 482256 2024-01-18 07:19 ampl.linux-intel64/libClpSolver.so.1
-rwxr-xr-x fdabrandao/apache 6842253 2023-02-21 21:54 ampl.linux-intel64/ipopt
-rw-r–r-- fdabrandao/apache 2052832 2024-01-18 07:19 ampl.linux-intel64/libClp.so.1
-rw-r–r-- fdabrandao/apache 1362624 2024-01-18 07:19 ampl.linux-intel64/libCbc.so.3
-rw-r–r-- fdabrandao/apache 394 2023-02-21 21:54 ampl.linux-intel64/coin-versions.txt
-rw-r–r-- fdabrandao/apache 356 2024-04-05 12:38 ampl.linux-intel64/metadata.json
-rwxr-xr-x fdabrandao/apache 15833785 2023-02-21 21:54 ampl.linux-intel64/bonmin
-rw-r–r-- fdabrandao/apache 1222472 2024-01-18 07:19 ampl.linux-intel64/libCbcSolver.so.3
-rw-r–r-- fdabrandao/apache 417784 2024-01-18 07:19 ampl.linux-intel64/libOsi.so.1
-rwxr-xr-x fdabrandao/apache 3809464 2024-01-18 07:18 ampl.linux-intel64/cbc
-rw-r–r-- fdabrandao/apache 11415 2023-02-21 21:54 ampl.linux-intel64/coin-license.txt

however the one at https://portal.ampl.com/dl/modules/coin-module.linux-arm64.tgz only contains :

drwxr-xr-x fdabrandao/apache 0 2024-04-11 22:25 ampl.linux-arm64/
drwxr-xr-x fdabrandao/apache 0 2024-02-23 19:25 ampl.linux-arm64/docs/
-rw-r–r-- fdabrandao/apache 106 2024-02-23 19:15 ampl.linux-arm64/docs/README.cbc.txt
-rw-r–r-- fdabrandao/apache 2382 2024-02-23 19:15 ampl.linux-arm64/docs/CHANGES.cbc.md
-rw-r–r-- fdabrandao/apache 111 2024-04-11 22:25 ampl.linux-arm64/metadata.json
-rwxr-xr-x fdabrandao/apache 8550992 2024-02-23 19:24 ampl.linux-arm64/cbc

Would it be possible to make it so that both packages are equivalent (I actually need the ipopt binary, which doesn’t exist in the ARM64 package).