Issue Locating `libPHCpack.so` After Successful Build on Google Colab

[Rowing0914]

I'm trying to use PHCPack on Google Colab and followed the documentation. According to the instructions, I needed to build libPHCpack.*, so I set up alr and ran alr build. The command finished with the following message:

...
Bind
   [gprbind]      phctop.bexch
   [Ada]          phctop.ali
Link
   [archive]      libmain.a
   [index]        libmain.a
   [link]         phctop.adb
✓ Build finished successfully in 2817.30 seconds.

However, I cannot find the executable libPHCpack.so in the lib/ directory as the README suggests. Could anyone help me locate it?

Google colab notebook

• https://colab.research.google.com/drive/1apRw9rTCkSZ7uTqRmVJZaDnUvmTAyvsn?usp=sharing

[Rowing0914]

@projetosgppag thanks for your prompt reply but I'm on G-colab, so the fix file you kindly shared containing windows executables isn't compatible on G-colab?

[Rowing0914]

oh,, shoot, this guy has sent me the malware.... I was lucky that I decided to download it on g-colab...

• https://any.run/report/b127de888f09ce23937c12b7fccfa47a8f48312b0e43eb59b6243f665c6d366a/1f3b42b6-9353-46c5-bdcd-35a8e0d9991c

And ofc his account has been already deleted...