ott

Name	Size	Modified
Up
libcoq-ott_0.32+ds-3+b1_amd64.deb	160 KiB	02/14/2023 06:26:42 AM +00:00
libcoq-ott_0.32+ds-3+b1_arm64.deb	160 KiB	02/14/2023 06:26:56 AM +00:00
libcoq-ott_0.32+ds-3+b1_armhf.deb	160 KiB	02/14/2023 06:42:15 AM +00:00
libcoq-ott_0.32+ds-3+b1_i386.deb	160 KiB	02/14/2023 06:42:11 AM +00:00
libcoq-ott_0.32+ds-3+b1_ppc64el.deb	160 KiB	02/14/2023 06:57:23 AM +00:00
libcoq-ott_0.32+ds-3+b1_s390x.deb	160 KiB	02/14/2023 06:42:20 AM +00:00
libcoq-ott_0.33+ds-4+b2_amd64.deb	164 KiB	08/21/2024 03:54:04 AM +00:00
libcoq-ott_0.33+ds-4+b2_arm64.deb	164 KiB	08/21/2024 03:59:18 AM +00:00
libcoq-ott_0.33+ds-4+b2_riscv64.deb	164 KiB	08/21/2024 06:37:37 AM +00:00
libcoq-ott_0.33+ds-4+b2_s390x.deb	164 KiB	08/21/2024 04:19:41 AM +00:00
libcoq-ott_0.33+ds-4+b3_ppc64el.deb	164 KiB	08/31/2024 03:50:16 AM +00:00
ott-tools_0.32+ds-3+b1_amd64.deb	1.2 MiB	02/14/2023 06:26:42 AM +00:00
ott-tools_0.32+ds-3+b1_arm64.deb	1.4 MiB	02/14/2023 06:26:56 AM +00:00
ott-tools_0.32+ds-3+b1_armhf.deb	1.2 MiB	02/14/2023 06:42:15 AM +00:00
ott-tools_0.32+ds-3+b1_i386.deb	1.2 MiB	02/14/2023 06:42:11 AM +00:00
ott-tools_0.32+ds-3+b1_ppc64el.deb	1.3 MiB	02/14/2023 06:57:23 AM +00:00
ott-tools_0.32+ds-3+b1_s390x.deb	1.3 MiB	02/14/2023 06:42:20 AM +00:00
ott-tools_0.33+ds-4+b2_amd64.deb	1.4 MiB	08/21/2024 03:54:04 AM +00:00
ott-tools_0.33+ds-4+b2_arm64.deb	1.6 MiB	08/21/2024 03:59:18 AM +00:00
ott-tools_0.33+ds-4+b2_riscv64.deb	1.5 MiB	08/21/2024 06:37:37 AM +00:00
ott-tools_0.33+ds-4+b2_s390x.deb	1.4 MiB	08/21/2024 04:19:41 AM +00:00
ott-tools_0.33+ds-4+b3_ppc64el.deb	1.4 MiB	08/31/2024 03:50:16 AM +00:00
ott_0.32+ds-3.debian.tar.xz	6.8 KiB	01/25/2023 08:58:28 AM +00:00
ott_0.32+ds-3.dsc	2.1 KiB	01/25/2023 08:58:28 AM +00:00
ott_0.32+ds.orig.tar.xz	1.1 MiB	07/10/2022 04:36:04 PM +00:00
ott_0.33+ds-4.debian.tar.xz	8.0 KiB	08/03/2024 12:52:12 PM +00:00
ott_0.33+ds-4.dsc	1.8 KiB	08/03/2024 12:52:12 PM +00:00
ott_0.33+ds.orig.tar.xz	1.1 MiB	06/12/2023 08:34:02 PM +00:00