| z3-4.13.3-bp160.1.12 |
Theorem prover from Microsoft Research |
linux/s390x |
| z3-devel-4.13.3-bp160.1.12 |
Development files for Z3 |
linux/s390x |
| zabbix-agent-6.0.36-bp160.1.7 |
Local resource monitor agent for Zabbix |
linux/s390x |
| zabbix-proxy-6.0.36-bp160.1.7 |
System files for the Zabbix proxy |
linux/s390x |
| zabbix-proxy-mysql-6.0.36-bp160.1.7 |
Zabbix proxy with MySQL support |
linux/s390x |
| zabbix-proxy-postgresql-6.0.36-bp160.1.7 |
Zabbix proxy with PostgreSQL support |
linux/s390x |
| zabbix-proxy-sqlite-6.0.36-bp160.1.7 |
Zabbix proxy with SQLite support |
linux/s390x |
| zabbix-server-6.0.36-bp160.1.7 |
System files for the Zabbix server |
linux/s390x |
| zabbix-server-mysql-6.0.36-bp160.1.7 |
Zabbix server with MySQL support |
linux/s390x |
| zabbix-server-postgresql-6.0.36-bp160.1.7 |
Zabbix server with PostgreSQL support |
linux/s390x |
| zbar-0.23.93-160000.3.1 |
Bar code reader |
linux/s390x |
| zbar-0.23.93-160000.2.2 |
Bar code reader |
linux/s390x |
| zcfan-1.3.0-bp160.1.12 |
Zero-configuration fan control daemon for ThinkPads |