/sites/archive.ubuntu.com/ubuntu/pool/universe/c/coq-quickchick/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-quickchick_1.6.4-3build3.debian.tar.xz2.7 KiB2023-Feb-17 07:29
coq-quickchick_1.6.4-3build3.dsc2.2 KiB2023-Feb-17 07:29
coq-quickchick_1.6.4.orig.tar.gz379.4 KiB2022-Aug-15 11:39
coq-quickchick_2.0-2build1.debian.tar.xz2.9 KiB2023-Jul-24 17:37
coq-quickchick_2.0-2build1.dsc2.2 KiB2023-Jul-24 17:37
coq-quickchick_2.0.2-1build5.debian.tar.xz3.2 KiB2024-Apr-08 07:57
coq-quickchick_2.0.2-1build5.dsc2.3 KiB2024-Apr-08 07:57
coq-quickchick_2.0.2.orig.tar.gz405.9 KiB2024-Jan-20 23:35
coq-quickchick_2.0.3-3build5.debian.tar.xz2.9 KiB2024-Sep-17 16:56
coq-quickchick_2.0.3-3build5.dsc2.2 KiB2024-Sep-17 16:56
coq-quickchick_2.0.3.orig.tar.gz402.0 KiB2024-May-02 11:53
coq-quickchick_2.0.orig.tar.gz400.2 KiB2023-Jun-14 23:24
libcoq-quickchick_1.6.4-3build3_amd64.deb1.7 MiB2023-Feb-17 07:29
libcoq-quickchick_2.0-2build1_amd64.deb2.0 MiB2023-Jul-26 09:58
libcoq-quickchick_2.0.2-1build5_amd64.deb1.9 MiB2024-Apr-08 14:36
libcoq-quickchick_2.0.3-3build5_amd64.deb4.3 MiB2024-Sep-19 23:39
quickchick_1.6.4-3build3_amd64.deb61.9 KiB2023-Feb-17 07:29
quickchick_2.0-2build1_amd64.deb62.3 KiB2023-Jul-26 09:58
quickchick_2.0.2-1build5_amd64.deb65.0 KiB2024-Apr-08 14:36
quickchick_2.0.3-3build5_amd64.deb517.2 KiB2024-Sep-19 23:39