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/--
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.2-1build5.dsc 235308-Apr-2024 11:57
coq-quickchick_2.0.2-1build5.debian.tar.xz 330008-Apr-2024 11:57
coq-quickchick_2.0.2.orig.tar.gz 406K21-Jan-2024 03:35
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-2build1.debian.tar.xz 296424-Jul-2023 21:37
coq-quickchick_2.0-2build1.dsc 226024-Jul-2023 21:37
coq-quickchick_2.0.orig.tar.gz 400K15-Jun-2023 03:24
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_1.6.4-3build3.debian.tar.xz 281217-Feb-2023 11:29
coq-quickchick_1.6.4-3build3.dsc 226017-Feb-2023 11:29
coq-quickchick_1.6.4.orig.tar.gz 379K15-Aug-2022 15:39