| 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 |
linux/s390x |
| zchunk-1.5.1-160000.2.2 |
Compressed file format that allows easy deltas |
linux/s390x |
| zdbsp-1.19-bp160.1.12 |
Nodebuilder for ZDoom |
linux/s390x |
| zeitgeist-1.0.4-bp160.1.2 |
Zeitgeist Engine |
linux/s390x |
| zeitgeist-devel-1.0.4-bp160.1.2 |
Development files for Zeitgeist client library |
linux/s390x |
| zenity-4.1.90-160000.2.2 |
GNOME Command Line Dialog Utility |
linux/s390x |
| zeromq-devel-4.3.5-160000.2.2 |
Development files for ZeroMQ |
linux/s390x |