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_2.0.2-1build5.debian.tar.xz 330008-Apr-2024 11:57
coq-quickchick_2.0.2-1build5.dsc 235308-Apr-2024 11:57
coq-quickchick_2.0.2.orig.tar.gz 406K21-Jan-2024 03:35
coq-quickchick_2.0.3-3build5.debian.tar.xz 300817-Sep-2024 20:56
coq-quickchick_2.0.3-3build5.dsc 227417-Sep-2024 20:56
coq-quickchick_2.0.3.orig.tar.gz 402K02-May-2024 15:53
coq-quickchick_2.0.5-1build6.debian.tar.xz 306419-Feb-2025 11:52
coq-quickchick_2.0.5-1build6.dsc 227419-Feb-2025 11:52
coq-quickchick_2.0.5.orig.tar.gz 403K19-Dec-2024 03:41
libcoq-quickchick_2.0.2-1build5_amd64.deb 2M08-Apr-2024 18:36
libcoq-quickchick_2.0.3-3build5_amd64.deb 4M20-Sep-2024 03:39
libcoq-quickchick_2.0.5-1build6_amd64.deb 4M20-Feb-2025 08:20
quickchick_2.0.2-1build5_amd64.deb 65K08-Apr-2024 18:36
quickchick_2.0.3-3build5_amd64.deb 517K20-Sep-2024 03:39
quickchick_2.0.5-1build6_amd64.deb 554K20-Feb-2025 08:20