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/
-
-
libcoq-reduction-effects_0.1.5-5+b8_ppc64el.deb
15.4 KiB
2025-Jun-15 14:14
libcoq-reduction-effects_0.1.5-5+b8_amd64.deb
15.3 KiB
2025-Jun-15 14:19
libcoq-reduction-effects_0.1.5-5+b7_s390x.deb
15.3 KiB
2025-Jun-16 21:49
libcoq-reduction-effects_0.1.5-5+b7_riscv64.deb
15.2 KiB
2025-Jun-15 15:05
libcoq-reduction-effects_0.1.5-5+b7_arm64.deb
15.4 KiB
2025-Jun-15 14:25
libcoq-reduction-effects_0.1.4-3+b1_s390x.deb
13.9 KiB
2023-Feb-13 08:41
libcoq-reduction-effects_0.1.4-3+b1_ppc64el.deb
14.4 KiB
2023-Feb-13 08:57
libcoq-reduction-effects_0.1.4-3+b1_i386.deb
13.6 KiB
2023-Feb-13 08:46
libcoq-reduction-effects_0.1.4-3+b1_armhf.deb
13.7 KiB
2023-Feb-13 08:56
libcoq-reduction-effects_0.1.4-3+b1_arm64.deb
14.3 KiB
2023-Feb-13 08:41
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb
14.1 KiB
2023-Feb-13 08:41
coq-reduction-effects_0.1.5.orig.tar.gz
10.1 KiB
2023-Dec-22 13:46
coq-reduction-effects_0.1.5-5.dsc
1.9 KiB
2024-Aug-04 07:23
coq-reduction-effects_0.1.5-5.debian.tar.xz
1.8 KiB
2024-Aug-04 07:23
coq-reduction-effects_0.1.4.orig.tar.gz
10.1 KiB
2022-Aug-13 08:38
coq-reduction-effects_0.1.4-3.dsc
2.2 KiB
2023-Jan-25 11:17
coq-reduction-effects_0.1.4-3.debian.tar.xz
1.5 KiB
2023-Jan-25 11:17