Sefroyek Pardaz - The best website for buying virtual and dedicated servers in Iran, offering data center services and web hosting with the best quality, prices, and 24/7 support. Sefroyek Pardaz, like a teammate!
News
About us
Contact
Jobs
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
coq-mtac2_1.4+8.16.orig.tar.gz
245.2 KiB
2022-Sep-06 12:39
coq-mtac2_1.4+8.16-2.dsc
2.1 KiB
2023-Jan-26 16:14
coq-mtac2_1.4+8.16-2.debian.tar.xz
2.4 KiB
2023-Jan-26 16:14
libcoq-mtac2_1.4+8.16-2+b1_arm64.deb
753.8 KiB
2023-Feb-13 10:58
libcoq-mtac2_1.4+8.16-2+b1_armhf.deb
743.1 KiB
2023-Feb-13 10:58
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb
744.9 KiB
2023-Feb-13 10:58
libcoq-mtac2_1.4+8.16-2+b1_s390x.deb
748.3 KiB
2023-Feb-13 11:03
libcoq-mtac2_1.4+8.16-2+b1_i386.deb
733.1 KiB
2023-Feb-13 11:04
libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb
748.1 KiB
2023-Feb-14 14:47
coq-mtac2_1.4+8.20.orig.tar.gz
246.5 KiB
2024-Nov-23 18:57
coq-mtac2_1.4+8.20-1.dsc
2.1 KiB
2024-Nov-23 18:57
coq-mtac2_1.4+8.20-1.debian.tar.xz
2.9 KiB
2024-Nov-23 18:57
libcoq-mtac2_1.4+8.20-1+b4_amd64.deb
775.6 KiB
2025-Jun-15 14:45
libcoq-mtac2_1.4+8.20-1+b4_arm64.deb
783.2 KiB
2025-Jun-15 14:45
libcoq-mtac2_1.4+8.20-1+b5_ppc64el.deb
777.9 KiB
2025-Jun-15 14:50
libcoq-mtac2_1.4+8.20-1+b4_riscv64.deb
779.3 KiB
2025-Jun-15 15:51
libcoq-mtac2_1.4+8.20-1+b5_s390x.deb
777.8 KiB
2025-Jun-17 12:06