ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/c/coq-quickchick/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-quickchick_1.6.4.orig.tar.gz 379K15-Aug-2022 15:39
coq-quickchick_1.6.4-3build3.debian.tar.xz 281217-Feb-2023 11:29
coq-quickchick_1.6.4-3build3.dsc 226017-Feb-2023 11:29
libcoq-quickchick_1.6.4-3build3_amd64.deb 2M17-Feb-2023 11:29
quickchick_1.6.4-3build3_amd64.deb 62K17-Feb-2023 11:29
coq-quickchick_2.0.orig.tar.gz 400K15-Jun-2023 03:24
coq-quickchick_2.0-2build1.debian.tar.xz 296424-Jul-2023 21:37
coq-quickchick_2.0-2build1.dsc 226024-Jul-2023 21:37
quickchick_2.0-2build1_amd64.deb 62K26-Jul-2023 13:58
libcoq-quickchick_2.0-2build1_amd64.deb 2M26-Jul-2023 13:58
coq-quickchick_2.0.2.orig.tar.gz 406K21-Jan-2024 03:35
coq-quickchick_2.0.2-1build5.dsc 235308-Apr-2024 11:57
coq-quickchick_2.0.2-1build5.debian.tar.xz 330008-Apr-2024 11:57
quickchick_2.0.2-1build5_amd64.deb 65K08-Apr-2024 18:36
libcoq-quickchick_2.0.2-1build5_amd64.deb 2M08-Apr-2024 18:36
coq-quickchick_2.0.3-2.dsc 227502-May-2024 15:53
coq-quickchick_2.0.3-2.debian.tar.xz 279202-May-2024 15:53
coq-quickchick_2.0.3.orig.tar.gz 402K02-May-2024 15:53
libcoq-quickchick_2.0.3-2_amd64.deb 4M02-May-2024 15:53
quickchick_2.0.3-2_amd64.deb 451K02-May-2024 15:53
coq-quickchick_2.0.3-2build1.dsc 227403-May-2024 00:28
coq-quickchick_2.0.3-2build1.debian.tar.xz 286803-May-2024 00:28
libcoq-quickchick_2.0.3-2build1_amd64.deb 4M03-May-2024 15:29
quickchick_2.0.3-2build1_amd64.deb 451K03-May-2024 15:29