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!
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-aac-tactics_8.20.0-1build4_amd64.deb419.6 KiB2025-Jun-20 07:31
aac-tactics_8.20.0-1build4.dsc2.1 KiB2025-Jun-19 20:50
aac-tactics_8.20.0-1build4.debian.tar.xz3.9 KiB2025-Jun-19 20:50
libcoq-aac-tactics_8.20.0-1build3_amd64.deb420.8 KiB2025-Feb-19 00:55
aac-tactics_8.20.0-1build3.dsc2.1 KiB2025-Feb-19 00:55
aac-tactics_8.20.0-1build3.debian.tar.xz3.9 KiB2025-Feb-19 00:55
aac-tactics_8.20.0.orig.tar.gz75.8 KiB2024-Nov-20 22:17
libcoq-aac-tactics_8.19.1-2build3_amd64.deb429.8 KiB2024-Sep-07 19:14
aac-tactics_8.19.1-2build3.dsc2.1 KiB2024-Sep-07 19:13
aac-tactics_8.19.1-2build3.debian.tar.xz3.8 KiB2024-Sep-07 19:13
aac-tactics_8.19.1.orig.tar.gz75.2 KiB2024-Jun-11 21:24
libcoq-aac-tactics_8.18.0-1build3_amd64.deb411.8 KiB2024-Apr-08 11:27
aac-tactics_8.18.0-1build3.debian.tar.xz3.8 KiB2024-Apr-08 11:27
aac-tactics_8.18.0-1build3.dsc2.1 KiB2024-Apr-08 11:27
aac-tactics_8.18.0.orig.tar.gz73.8 KiB2023-Dec-22 03:22
libaac-tactics-coq_8.15.0-1_all.deb282.3 KiB2022-Feb-06 22:34
libaac-tactics-ocaml_8.15.0-1_amd64.deb127.7 KiB2022-Feb-06 22:34
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb39.8 KiB2022-Feb-06 22:34
aac-tactics_8.15.0-1.dsc2.2 KiB2022-Feb-06 20:49
aac-tactics_8.15.0.orig.tar.gz66.5 KiB2022-Feb-06 20:49
aac-tactics_8.15.0-1.debian.tar.xz3.5 KiB2022-Feb-06 20:49
libaac-tactics-ocaml_8.11.0-1_amd64.deb104.4 KiB2020-Mar-18 23:18
libaac-tactics-coq_8.11.0-1_all.deb237.8 KiB2020-Mar-18 23:18
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb37.7 KiB2020-Mar-18 23:18
aac-tactics_8.11.0.orig.tar.gz63.8 KiB2020-Mar-18 21:58
aac-tactics_8.11.0-1.debian.tar.xz3.4 KiB2020-Mar-18 21:58
aac-tactics_8.11.0-1.dsc2.1 KiB2020-Mar-18 21:58
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb36.8 KiB2017-Nov-01 16:35
libaac-tactics-ocaml_8.6.1-2_i386.deb108.2 KiB2017-Nov-01 16:35
libaac-tactics-coq_8.6.1-2_all.deb215.6 KiB2017-Nov-01 16:35
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb36.8 KiB2017-Nov-01 16:35
libaac-tactics-ocaml_8.6.1-2_amd64.deb117.5 KiB2017-Nov-01 16:35
aac-tactics_8.6.1-2.dsc2.2 KiB2017-Nov-01 16:35
aac-tactics_8.6.1-2.debian.tar.xz3.2 KiB2017-Nov-01 16:35
aac-tactics_8.6.1.orig.tar.gz73.3 KiB2016-Dec-30 20:43
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb43.0 KiB2015-Nov-05 04:04
libaac-tactics-ocaml_0.4-5build2_i386.deb109.3 KiB2015-Nov-05 04:04
libaac-tactics-coq_0.4-5build2_all.deb207.7 KiB2015-Nov-05 04:03
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb43.0 KiB2015-Nov-05 04:03
libaac-tactics-ocaml_0.4-5build2_amd64.deb117.2 KiB2015-Nov-05 04:03
aac-tactics_0.4-5build2.dsc1.9 KiB2015-Nov-05 04:00
aac-tactics_0.4-5build2.debian.tar.xz3.0 KiB2015-Nov-05 04:00
libaac-tactics-ocaml_0.4-2_i386.deb114.2 KiB2014-Jan-20 15:03
libaac-tactics-ocaml-dev_0.4-2_i386.deb43.3 KiB2014-Jan-20 15:03
libaac-tactics-coq_0.4-2_all.deb207.5 KiB2014-Jan-20 15:03
libaac-tactics-ocaml_0.4-2_amd64.deb125.1 KiB2014-Jan-20 15:03
libaac-tactics-ocaml-dev_0.4-2_amd64.deb42.9 KiB2014-Jan-20 15:03
aac-tactics_0.4-2.dsc2.1 KiB2014-Jan-20 14:39
aac-tactics_0.4-2.debian.tar.xz2.8 KiB2014-Jan-20 14:39
aac-tactics_0.4.orig.tar.gz75.5 KiB2013-Dec-06 20:53