Index of /packages/linux-debian/pool/main/s/sherlock
Name
Last modified
Size
Description
Parent Directory
-
sherlock_0.15.0-1.debian.tar.xz
2024-07-11 03:14
4.6K
sherlock_0.15.0-1.dsc
2024-07-11 03:14
2.4K
sherlock_0.15.0-1_all.deb
2024-07-11 03:35
35K
sherlock_0.15.0.orig.tar.gz
2024-07-11 03:14
576K
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443