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-3_arm64.deb	185 KiB	05/03/2024 01:21:16 PM +00:00
libcoq-ott_0.33+ds-3_armhf.deb	185 KiB	05/09/2024 08:24:49 AM +00:00
libcoq-ott_0.33+ds-3_ppc64el.deb	185 KiB	05/03/2024 05:55:02 AM +00:00
libcoq-ott_0.33+ds-3_riscv64.deb	185 KiB	05/05/2024 04:28:28 PM +00:00
libcoq-ott_0.33+ds-3_s390x.deb	185 KiB	05/03/2024 07:11:46 AM +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-3_arm64.deb	1.7 MiB	05/03/2024 01:21:16 PM +00:00
ott-tools_0.33+ds-3_armhf.deb	1.4 MiB	05/09/2024 08:24:49 AM +00:00
ott-tools_0.33+ds-3_ppc64el.deb	1.6 MiB	05/03/2024 05:55:02 AM +00:00
ott-tools_0.33+ds-3_riscv64.deb	1.5 MiB	05/05/2024 04:28:28 PM +00:00
ott-tools_0.33+ds-3_s390x.deb	1.5 MiB	05/03/2024 07:11:46 AM +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-3.debian.tar.xz	7.9 KiB	05/03/2024 01:49:55 AM +00:00
ott_0.33+ds-3.dsc	2.1 KiB	05/03/2024 01:49:55 AM +00:00
ott_0.33+ds.orig.tar.xz	1.1 MiB	06/13/2023 05:30:00 AM +00:00