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-reglang_1.1.3.orig.tar.gz
65.5 KiB
2022-Jul-16 00:36
coq-reglang_1.1.3-2.dsc
2.1 KiB
2023-Jan-26 16:14
coq-reglang_1.1.3-2.debian.tar.xz
8.2 KiB
2023-Jan-26 16:14
libcoq-reglang_1.1.3-2+b1_amd64.deb
707.5 KiB
2023-Feb-13 10:58
libcoq-reglang_1.1.3-2+b1_armhf.deb
707.4 KiB
2023-Feb-13 10:58
libcoq-reglang_1.1.3-2+b1_arm64.deb
707.5 KiB
2023-Feb-13 10:58
libcoq-reglang_1.1.3-2+b1_i386.deb
707.3 KiB
2023-Feb-13 11:09
libcoq-reglang_1.1.3-2+b1_s390x.deb
707.5 KiB
2023-Feb-13 13:50
libcoq-reglang_1.1.3-2+b1_ppc64el.deb
707.4 KiB
2023-Feb-14 03:25
coq-reglang_1.2.1.orig.tar.gz
67.8 KiB
2024-Jan-20 23:43
coq-reglang_1.2.1-4.dsc
1.8 KiB
2024-Aug-04 09:52
coq-reglang_1.2.1-4.debian.tar.xz
8.4 KiB
2024-Aug-04 09:52
libcoq-reglang_1.2.1-4+b14_amd64.deb
855.0 KiB
2025-Jun-15 07:51
libcoq-reglang_1.2.1-4+b13_arm64.deb
854.9 KiB
2025-Jun-15 11:08
libcoq-reglang_1.2.1-4+b13_ppc64el.deb
854.9 KiB
2025-Jun-15 12:14
libcoq-reglang_1.2.1-4+b13_riscv64.deb
855.0 KiB
2025-Jun-18 01:10
libcoq-reglang_1.2.1-4+b14_s390x.deb
854.9 KiB
2025-Jun-18 02:18