ott

Name	Size	Modified
Up
libcoq-ott_0.32+ds-3build2_arm64.deb	181 KiB	02/16/2023 07:44:46 PM +00:00
libcoq-ott_0.32+ds-3build2_armhf.deb	181 KiB	02/16/2023 07:44:48 PM +00:00
libcoq-ott_0.32+ds-3build2_ppc64el.deb	181 KiB	02/16/2023 06:50:49 PM +00:00
libcoq-ott_0.32+ds-3build2_riscv64.deb	181 KiB	02/16/2023 08:13:58 PM +00:00
libcoq-ott_0.32+ds-3build2_s390x.deb	181 KiB	02/16/2023 07:44:53 PM +00:00
libcoq-ott_0.33+ds-1build1_arm64.deb	178 KiB	07/26/2023 06:22:14 AM +00:00
libcoq-ott_0.33+ds-1build1_armhf.deb	178 KiB	07/26/2023 06:22:18 AM +00:00
libcoq-ott_0.33+ds-1build1_ppc64el.deb	178 KiB	07/26/2023 06:22:23 AM +00:00
libcoq-ott_0.33+ds-1build1_riscv64.deb	178 KiB	07/26/2023 06:55:41 AM +00:00
libcoq-ott_0.33+ds-1build1_s390x.deb	178 KiB	07/26/2023 06:22:28 AM +00:00
libcoq-ott_0.33+ds-2build3_arm64.deb	177 KiB	04/01/2024 10:35:31 AM +00:00
libcoq-ott_0.33+ds-2build3_armhf.deb	178 KiB	04/01/2024 10:36:42 AM +00:00
libcoq-ott_0.33+ds-2build3_ppc64el.deb	178 KiB	04/01/2024 08:04:27 PM +00:00
libcoq-ott_0.33+ds-2build3_riscv64.deb	178 KiB	04/01/2024 10:38:18 AM +00:00
libcoq-ott_0.33+ds-2build3_s390x.deb	178 KiB	04/01/2024 03:39:47 PM +00:00
libcoq-ott_0.33+ds-4build4_arm64.deb	186 KiB	09/07/2024 03:44:03 PM +00:00
libcoq-ott_0.33+ds-4build4_ppc64el.deb	186 KiB	09/07/2024 03:44:06 PM +00:00
libcoq-ott_0.33+ds-4build4_riscv64.deb	186 KiB	09/07/2024 04:34:39 PM +00:00
libcoq-ott_0.33+ds-4build4_s390x.deb	186 KiB	09/07/2024 03:44:08 PM +00:00
ott-tools_0.32+ds-3build2_arm64.deb	1.7 MiB	02/16/2023 07:44:46 PM +00:00
ott-tools_0.32+ds-3build2_armhf.deb	1.4 MiB	02/16/2023 07:44:48 PM +00:00
ott-tools_0.32+ds-3build2_ppc64el.deb	1.5 MiB	02/16/2023 06:50:49 PM +00:00
ott-tools_0.32+ds-3build2_riscv64.deb	1.4 MiB	02/16/2023 08:13:58 PM +00:00
ott-tools_0.32+ds-3build2_s390x.deb	1.5 MiB	02/16/2023 07:44:53 PM +00:00
ott-tools_0.33+ds-1build1_arm64.deb	1.6 MiB	07/26/2023 06:22:14 AM +00:00
ott-tools_0.33+ds-1build1_armhf.deb	1.4 MiB	07/26/2023 06:22:18 AM +00:00
ott-tools_0.33+ds-1build1_ppc64el.deb	1.5 MiB	07/26/2023 06:22:23 AM +00:00
ott-tools_0.33+ds-1build1_riscv64.deb	1.4 MiB	07/26/2023 06:55:41 AM +00:00
ott-tools_0.33+ds-1build1_s390x.deb	1.5 MiB	07/26/2023 06:22:28 AM +00:00
ott-tools_0.33+ds-2build3_arm64.deb	1.7 MiB	04/01/2024 10:35:31 AM +00:00
ott-tools_0.33+ds-2build3_armhf.deb	1.4 MiB	04/01/2024 10:36:42 AM +00:00
ott-tools_0.33+ds-2build3_ppc64el.deb	1.6 MiB	04/01/2024 08:04:27 PM +00:00
ott-tools_0.33+ds-2build3_riscv64.deb	1.5 MiB	04/01/2024 10:38:18 AM +00:00
ott-tools_0.33+ds-2build3_s390x.deb	1.5 MiB	04/01/2024 03:39:47 PM +00:00
ott-tools_0.33+ds-4build4_arm64.deb	1.8 MiB	09/07/2024 03:44:03 PM +00:00
ott-tools_0.33+ds-4build4_ppc64el.deb	1.7 MiB	09/07/2024 03:44:05 PM +00:00
ott-tools_0.33+ds-4build4_riscv64.deb	1.7 MiB	09/07/2024 04:34:39 PM +00:00
ott-tools_0.33+ds-4build4_s390x.deb	1.7 MiB	09/07/2024 03:44:08 PM +00:00
ott_0.32+ds-3build2.debian.tar.xz	6.9 KiB	02/16/2023 06:50:14 PM +00:00
ott_0.32+ds-3build2.dsc	2.1 KiB	02/16/2023 06:50:14 PM +00:00
ott_0.32+ds.orig.tar.xz	1.1 MiB	07/10/2022 11:39:10 PM +00:00
ott_0.33+ds-1build1.debian.tar.xz	6.6 KiB	07/26/2023 05:19:30 AM +00:00
ott_0.33+ds-1build1.dsc	2.1 KiB	07/26/2023 05:19:30 AM +00:00
ott_0.33+ds-2build3.debian.tar.xz	6.9 KiB	04/01/2024 05:43:19 AM +00:00
ott_0.33+ds-2build3.dsc	2.1 KiB	04/01/2024 05:43:19 AM +00:00
ott_0.33+ds-4build4.debian.tar.xz	8.1 KiB	09/07/2024 03:43:55 PM +00:00
ott_0.33+ds-4build4.dsc	2.1 KiB	09/07/2024 03:43:55 PM +00:00
ott_0.33+ds.orig.tar.xz	1.1 MiB	06/13/2023 05:30:00 AM +00:00