[GH-ISSUE #30] ./certera no such file or directory #26

New issue

Closed

opened 2026-02-25 21:30:50 +03:00 by kerem · 1 comment

kerem commented

2026-02-25 21:30:50 +03:00

Owner

Originally created by @oscar-vlugt on GitHub (Dec 28, 2021).
Original GitHub issue: https://github.com/certera-io/certera/issues/30

Running Debian 11 (ARM) on a VM, i've installed a clean OS and followed instructions on https://docs.certera.io/#linux . I've downloaded the correct ARM binary and ran chmod +x on the certera binary, however when I attempt to run it with ./certera it tells me

-bash: ./certera: No such file or directory.

I've tried multiple times with the download and am unable to run the binary from certera-2.1.5-linux-arm.zip . Am I missing something in the instructions or is Debian perhaps not supported?

Originally created by @oscar-vlugt on GitHub (Dec 28, 2021). Original GitHub issue: https://github.com/certera-io/certera/issues/30 Running Debian 11 (ARM) on a VM, i've installed a clean OS and followed instructions on https://docs.certera.io/#linux . I've downloaded the correct ARM binary and ran chmod +x on the certera binary, however when I attempt to run it with ./certera it tells me -bash: ./certera: No such file or directory. I've tried multiple times with the download and am unable to run the binary from certera-2.1.5-linux-arm.zip . Am I missing something in the instructions or is Debian perhaps not supported?

kerem closed this issue

2026-02-25 21:30:50 +03:00

kerem commented

2026-02-25 21:30:51 +03:00

Author

Owner

@oscar-vlugt commented on GitHub (Dec 29, 2021):

Ah it might be related to the fact the binary is 32-bit and my ARM instance is 64 bit. Tested it on a 32-bit version and it worked.

@oscar-vlugt commented on GitHub (Dec 29, 2021): Ah it might be related to the fact the binary is 32-bit and my ARM instance is 64 bit. Tested it on a 32-bit version and it worked.

kerem referenced this issue

2026-02-25 21:30:52 +03:00

[PR #26] Upgrade packages to minimize the size of dependency graph #34