To use the repository, add following lines to /etc/apt/sources.list:
# DEB server repository deb http://deb.fi.muni.cz/apt/ precise debserver
Packages are tested on Ubuntu 12.04 (64bit). More information about server setup in our wiki
The archive is signed with GPG, and if you wish to verify packages you should use the following key: http://deb.fi.muni.cz/apt/gpgpublic.txt
To install the key download it to a file and run:
apt-key add gpgpublic.txt