Welcome to mirror.mobinhost.com

This mirror server is located at MobinHost DC1, Tehran, Iran and is running on a 100GE connection with approximately 120TB of storage

This archive is available over http, https, ftp and rsync on both IPv4 and IPv6.

HTTP [http://mirror.mobinhost.com]
HTTPS [https://mirror.mobinhost.com]
FTP [ftp://mirror.mobinhost.com]
RSYNC [rsync://mirror.mobinhost.com]

If you have any issues or comments, please contact the mirror admins via e-mail at .

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-iris_4.3.0-1.debian.tar.xz12.4 KiB2024-Nov-20 10:07
coq-iris_4.3.0-1.dsc2.1 KiB2024-Nov-20 10:07
coq-iris_4.3.0.orig.tar.bz2608.0 KiB2024-Nov-20 10:07
libcoq-iris_4.3.0-1+b1_amd64.deb12.0 MiB2025-Jan-30 08:02
libcoq-iris_4.3.0-1+b2_arm64.deb12.0 MiB2025-Jan-30 08:13
libcoq-iris_4.3.0-1+b4_amd64.deb12.0 MiB2025-Feb-18 03:08
libcoq-iris_4.3.0-1+b5_arm64.deb12.0 MiB2025-Feb-18 03:08

DISCLAIMER:

This website is offered to you by MobinHost (a private company with limited liability, incorporated under the laws of the Iran). All files offered on this site (the “Files”) are provided for the interest and convenience of visitors to this site. MobinHost has no control over the Files and MobinHost does not provide any guarantee concerning (the content of) the Files, does not vouch for the quality of the Files, and is not responsible or liable in connection with these files. The use of the Files is solely at the customer’s own risk. This website, the disclaimer and the use of the Files are governed by the laws of the Iran. All disputes in connection with the website, the disclaimer and the use of the Files will be submitted for the exclusive settlement to the competent court in Tehran, The Iran.