Welcome to mirror.sh.com.tr
This server is located at Istanbul, Turkey, and is running on a 10GE connection with approximately 5 TB storage.Index of /ubuntu/pool/universe/c/coq-quickchick/
../ coq-quickchick_1.6.4-3build3.debian.tar.xz 17-Feb-2023 10:29 2812 coq-quickchick_1.6.4-3build3.dsc 17-Feb-2023 10:29 2260 coq-quickchick_1.6.4.orig.tar.gz 15-Aug-2022 14:39 379K coq-quickchick_2.0-2build1.debian.tar.xz 24-Jul-2023 20:37 2964 coq-quickchick_2.0-2build1.dsc 24-Jul-2023 20:37 2260 coq-quickchick_2.0.2-1build5.debian.tar.xz 08-Apr-2024 10:57 3300 coq-quickchick_2.0.2-1build5.dsc 08-Apr-2024 10:57 2353 coq-quickchick_2.0.2.orig.tar.gz 21-Jan-2024 02:35 406K coq-quickchick_2.0.3-2.debian.tar.xz 02-May-2024 14:53 2792 coq-quickchick_2.0.3-2.dsc 02-May-2024 14:53 2275 coq-quickchick_2.0.3-2build1.debian.tar.xz 02-May-2024 23:28 2868 coq-quickchick_2.0.3-2build1.dsc 02-May-2024 23:28 2274 coq-quickchick_2.0.3.orig.tar.gz 02-May-2024 14:53 402K coq-quickchick_2.0.orig.tar.gz 15-Jun-2023 02:24 400K libcoq-quickchick_1.6.4-3build3_amd64.deb 17-Feb-2023 10:29 2M libcoq-quickchick_2.0-2build1_amd64.deb 26-Jul-2023 12:58 2M libcoq-quickchick_2.0.2-1build5_amd64.deb 08-Apr-2024 17:36 2M libcoq-quickchick_2.0.3-2_amd64.deb 02-May-2024 14:53 4M libcoq-quickchick_2.0.3-2build1_amd64.deb 03-May-2024 14:29 4M quickchick_1.6.4-3build3_amd64.deb 17-Feb-2023 10:29 62K quickchick_2.0-2build1_amd64.deb 26-Jul-2023 12:58 62K quickchick_2.0.2-1build5_amd64.deb 08-Apr-2024 17:36 65K quickchick_2.0.3-2_amd64.deb 02-May-2024 14:53 451K quickchick_2.0.3-2build1_amd64.deb 03-May-2024 14:29 451K