coq-quickchick

Name	Size	Modified
Up
coq-quickchick_2.0.2-1build5.debian.tar.xz	3.2 KiB	04/08/2024 07:57:38 AM +00:00
coq-quickchick_2.0.2-1build5.dsc	2.3 KiB	04/08/2024 07:57:38 AM +00:00
coq-quickchick_2.0.2.orig.tar.gz	406 KiB	01/20/2024 11:35:34 PM +00:00
coq-quickchick_2.0.3-3build5.debian.tar.xz	2.9 KiB	09/17/2024 04:56:32 PM +00:00
coq-quickchick_2.0.3-3build5.dsc	2.2 KiB	09/17/2024 04:56:32 PM +00:00
coq-quickchick_2.0.3.orig.tar.gz	402 KiB	05/02/2024 11:53:14 AM +00:00
coq-quickchick_2.0.5-1.debian.tar.xz	2.8 KiB	12/18/2024 11:41:43 PM +00:00
coq-quickchick_2.0.5-1.dsc	2.2 KiB	12/18/2024 11:41:43 PM +00:00
coq-quickchick_2.0.5-1build1.debian.tar.xz	2.9 KiB	12/20/2024 02:16:36 PM +00:00
coq-quickchick_2.0.5-1build1.dsc	2.2 KiB	12/20/2024 02:16:36 PM +00:00
coq-quickchick_2.0.5.orig.tar.gz	403 KiB	12/18/2024 11:41:43 PM +00:00
libcoq-quickchick_2.0.2-1build5_arm64.deb	1.9 MiB	04/08/2024 02:36:32 PM +00:00
libcoq-quickchick_2.0.2-1build5_armhf.deb	1.9 MiB	04/08/2024 02:36:34 PM +00:00
libcoq-quickchick_2.0.2-1build5_ppc64el.deb	1.9 MiB	04/08/2024 02:36:35 PM +00:00
libcoq-quickchick_2.0.2-1build5_riscv64.deb	1.9 MiB	04/09/2024 07:00:05 AM +00:00
libcoq-quickchick_2.0.2-1build5_s390x.deb	1.9 MiB	04/08/2024 02:36:36 PM +00:00
libcoq-quickchick_2.0.3-3build5_arm64.deb	4.4 MiB	09/19/2024 11:39:49 PM +00:00
libcoq-quickchick_2.0.3-3build5_ppc64el.deb	4.4 MiB	09/20/2024 04:15:37 AM +00:00
libcoq-quickchick_2.0.3-3build5_riscv64.deb	4.6 MiB	09/20/2024 10:37:15 AM +00:00
libcoq-quickchick_2.0.3-3build5_s390x.deb	4.3 MiB	09/19/2024 11:39:50 PM +00:00
libcoq-quickchick_2.0.5-1_arm64.deb	4.4 MiB	12/19/2024 12:50:06 AM +00:00
libcoq-quickchick_2.0.5-1_ppc64el.deb	4.3 MiB	12/19/2024 12:50:46 AM +00:00
libcoq-quickchick_2.0.5-1_riscv64.deb	4.5 MiB	12/19/2024 12:50:55 AM +00:00
libcoq-quickchick_2.0.5-1_s390x.deb	4.3 MiB	12/19/2024 12:51:12 AM +00:00
libcoq-quickchick_2.0.5-1build1_arm64.deb	4.4 MiB	12/20/2024 02:16:55 PM +00:00
libcoq-quickchick_2.0.5-1build1_ppc64el.deb	4.3 MiB	12/20/2024 03:57:09 PM +00:00
libcoq-quickchick_2.0.5-1build1_riscv64.deb	4.5 MiB	12/20/2024 04:55:59 PM +00:00
libcoq-quickchick_2.0.5-1build1_s390x.deb	4.3 MiB	12/20/2024 02:17:15 PM +00:00
quickchick_2.0.2-1build5_arm64.deb	65 KiB	04/08/2024 02:36:32 PM +00:00
quickchick_2.0.2-1build5_armhf.deb	65 KiB	04/08/2024 02:36:34 PM +00:00
quickchick_2.0.2-1build5_ppc64el.deb	65 KiB	04/08/2024 02:36:35 PM +00:00
quickchick_2.0.2-1build5_riscv64.deb	65 KiB	04/09/2024 07:00:04 AM +00:00
quickchick_2.0.2-1build5_s390x.deb	65 KiB	04/08/2024 02:36:36 PM +00:00
quickchick_2.0.3-3build5_arm64.deb	590 KiB	09/19/2024 11:39:49 PM +00:00
quickchick_2.0.3-3build5_ppc64el.deb	576 KiB	09/20/2024 04:15:37 AM +00:00
quickchick_2.0.3-3build5_riscv64.deb	554 KiB	09/20/2024 10:37:15 AM +00:00
quickchick_2.0.3-3build5_s390x.deb	547 KiB	09/19/2024 11:39:50 PM +00:00
quickchick_2.0.5-1_arm64.deb	596 KiB	12/19/2024 12:50:06 AM +00:00
quickchick_2.0.5-1_ppc64el.deb	576 KiB	12/19/2024 12:50:46 AM +00:00
quickchick_2.0.5-1_riscv64.deb	554 KiB	12/19/2024 12:50:54 AM +00:00
quickchick_2.0.5-1_s390x.deb	547 KiB	12/19/2024 12:51:12 AM +00:00
quickchick_2.0.5-1build1_arm64.deb	596 KiB	12/20/2024 02:16:55 PM +00:00
quickchick_2.0.5-1build1_ppc64el.deb	577 KiB	12/20/2024 03:57:09 PM +00:00
quickchick_2.0.5-1build1_riscv64.deb	554 KiB	12/20/2024 04:55:59 PM +00:00
quickchick_2.0.5-1build1_s390x.deb	547 KiB	12/20/2024 02:17:14 PM +00:00