coq-equations

Name	Size	Modified
Up
coq-equations_1.3-8.16-2build2.debian.tar.xz	2.3 KiB	02/17/2023 07:29:10 AM +00:00
coq-equations_1.3-8.16-2build2.dsc	2.1 KiB	02/17/2023 07:29:10 AM +00:00
coq-equations_1.3-8.16.orig.tar.gz	1.0 MiB	11/06/2022 03:17:27 AM +00:00
coq-equations_1.3-8.18-1build3.debian.tar.xz	2.8 KiB	04/08/2024 07:57:39 AM +00:00
coq-equations_1.3-8.18-1build3.dsc	2.2 KiB	04/08/2024 07:57:39 AM +00:00
coq-equations_1.3-8.18.orig.tar.gz	1.1 MiB	12/23/2023 05:16:59 PM +00:00
coq-equations_1.3-8.19-2build3.debian.tar.xz	2.8 KiB	09/07/2024 07:04:33 PM +00:00
coq-equations_1.3-8.19-2build3.dsc	2.1 KiB	09/07/2024 07:04:33 PM +00:00
coq-equations_1.3-8.19.orig.tar.gz	1.1 MiB	05/02/2024 11:53:16 AM +00:00
coq-equations_1.3.1-8.20-1.debian.tar.xz	2.7 KiB	11/20/2024 06:47:28 PM +00:00
coq-equations_1.3.1-8.20-1.dsc	2.1 KiB	11/20/2024 06:47:28 PM +00:00
coq-equations_1.3.1-8.20.orig.tar.gz	1.1 MiB	11/20/2024 06:47:28 PM +00:00
libcoq-equations_1.3-8.16-2build2_arm64.deb	1.6 MiB	02/17/2023 07:29:23 AM +00:00
libcoq-equations_1.3-8.16-2build2_armhf.deb	1.5 MiB	02/17/2023 07:29:24 AM +00:00
libcoq-equations_1.3-8.16-2build2_ppc64el.deb	1.6 MiB	02/17/2023 07:29:26 AM +00:00
libcoq-equations_1.3-8.16-2build2_riscv64.deb	1.6 MiB	02/17/2023 08:04:04 AM +00:00
libcoq-equations_1.3-8.16-2build2_s390x.deb	1.6 MiB	02/17/2023 07:29:27 AM +00:00
libcoq-equations_1.3-8.18-1build3_arm64.deb	1.6 MiB	04/08/2024 01:14:53 PM +00:00
libcoq-equations_1.3-8.18-1build3_armhf.deb	1.5 MiB	04/08/2024 01:15:02 PM +00:00
libcoq-equations_1.3-8.18-1build3_ppc64el.deb	1.5 MiB	04/08/2024 01:15:27 PM +00:00
libcoq-equations_1.3-8.18-1build3_riscv64.deb	1.5 MiB	04/08/2024 01:15:30 PM +00:00
libcoq-equations_1.3-8.18-1build3_s390x.deb	1.6 MiB	04/08/2024 01:15:47 PM +00:00
libcoq-equations_1.3-8.19-2build3_arm64.deb	1.4 MiB	09/07/2024 07:05:05 PM +00:00
libcoq-equations_1.3-8.19-2build3_ppc64el.deb	1.3 MiB	09/07/2024 07:05:06 PM +00:00
libcoq-equations_1.3-8.19-2build3_riscv64.deb	1.3 MiB	09/07/2024 07:58:48 PM +00:00
libcoq-equations_1.3-8.19-2build3_s390x.deb	1.3 MiB	09/07/2024 07:05:07 PM +00:00
libcoq-equations_1.3.1-8.20-1_arm64.deb	1.3 MiB	11/21/2024 07:17:24 AM +00:00
libcoq-equations_1.3.1-8.20-1_ppc64el.deb	1.3 MiB	11/21/2024 07:17:59 AM +00:00
libcoq-equations_1.3.1-8.20-1_riscv64.deb	1.3 MiB	11/21/2024 08:16:32 AM +00:00
libcoq-equations_1.3.1-8.20-1_s390x.deb	1.3 MiB	11/21/2024 07:18:33 AM +00:00