lzaoral

Lukáš Zaoral • Joined 2 years ago • (fas)

Packages

8 Packages
rpms/acl
The acl rpms
rpms/attr
The attr rpms
rpms/cbmc
The cbmc rpms
rpms/curl
The curl rpms
rpms/klee
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure.
rpms/nano
The nano rpms
rpms/python-pycurl
The python-pycurl rpms
rpms/sysstat
The sysstat rpms