| z3-5.1.0-1.1 |
Theorem prover from Microsoft Research |
linux/aarch64 |
| z3-devel-5.1.0-1.1 |
Development files for Z3 |
linux/aarch64 |
| zabbix-agent-7.0.28-1.2 |
Local resource monitor agent for Zabbix |
linux/aarch64 |
| zabbix-agent2-7.0.28-1.2 |
Local resource monitor agent for Zabbix rewrite in golang |
linux/aarch64 |
| zabbix-proxy-7.0.28-1.2 |
System files for the Zabbix proxy |
linux/aarch64 |
| zabbix-proxy-mysql-7.0.28-1.2 |
Zabbix proxy with MySQL support |
linux/aarch64 |
| zabbix-proxy-postgresql-7.0.28-1.2 |
Zabbix proxy with PostgreSQL support |
linux/aarch64 |
| zabbix-proxy-sqlite-7.0.28-1.2 |
Zabbix proxy with SQLite support |
linux/aarch64 |
| zabbix-server-7.0.28-1.2 |
System files for the Zabbix server |
linux/aarch64 |
| zabbix-server-mysql-7.0.28-1.2 |
Zabbix server with MySQL support |
linux/aarch64 |
| zabbix-server-postgresql-7.0.28-1.2 |
Zabbix server with PostgreSQL support |
linux/aarch64 |
| zanshin-26.08.1-1.1 |
TODO Application |
linux/aarch64 |