Apache/2.4.59 (Debian) Server at ubuntu.bio.lmu.de Port 80Name Last modified Size Description
Parent Directory -
ikos_3.2.orig.tar.gz 2024-02-15 13:26 1.3M
ikos_3.2-3.dsc 2024-02-21 06:58 2.2K
ikos_3.2-3.debian.tar.xz 2024-02-21 06:58 7.6K
libikos-dev_3.2-3_amd64.deb 2024-02-21 07:49 173K
libikos_3.2-3_amd64.deb 2024-02-21 07:49 290K
ikos_3.2-3_amd64.deb 2024-02-21 07:49 10M