DEBII — Dictionary Editor and Browser

apt repository

Adding repository to sources

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

Repository GPG key

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

Contact e-mail: deb@aurora.fi.muni.cz