Welcome to Smoltelecom mirror (mirror.kraski.tv),	Contacts: master.nosferatu [at] gmail.com
	hosted at Smoltelecom, Russian Federation.	Intel(R) Xeon(R) E5420, Mem. 8G, Disks 20T.
Bandwidth: 10000Mbps.					We support http(s) and rsync protocols.

Index of /linux/debian/main/pool/non-free/c/coq-doc/

NameLast ModifiedSize
Parent Directory/ -  
coq-doc-html_8.16.1-1_all.deb10-Dec-2022 06:28:531.5M
coq-doc-html_8.20.0-2_all.deb24-Jan-2025 05:58:151.6M
coq-doc-pdf_8.16.1-1_all.deb10-Dec-2022 06:28:534.1M
coq-doc-pdf_8.20.0-2_all.deb24-Jan-2025 05:58:154.8M
coq-doc_8.16.1-1_all.deb10-Dec-2022 06:28:534.8K
coq-doc_8.20.0-2_all.deb24-Jan-2025 05:58:155.2K
 
Sync information:
--------------------------------------------------------------------------------
Last sync for main      : 2025-04-20 10:24:03 MSK [ftp.fi.debian.org]
Last sync for security  : 2025-04-20 10:24:11 MSK [rsync.security.debian.org]
Last sync for cd        : 2025-04-20 11:20:40 MSK [ftp.fi.debian.org]

General information:
--------------------------------------------------------------------------------
This is not full repositories mirror!
Only amd64 target is synchronized and only for bullseye and newer.
Also all source packages are excluded.
nginx