coquelicot

Name	Size	Modified
Up
coquelicot_3.2.0-8.debian.tar.xz	2.3 KiB	01/26/2023 12:44:32 PM +00:00
coquelicot_3.2.0-8.dsc	2.0 KiB	01/26/2023 12:44:32 PM +00:00
coquelicot_3.2.0.orig.tar.gz	271 KiB	05/09/2022 06:11:11 PM +00:00
coquelicot_3.4.1-3.debian.tar.xz	2.1 KiB	08/04/2024 06:53:30 AM +00:00
coquelicot_3.4.1-3.dsc	1.8 KiB	08/04/2024 06:53:30 AM +00:00
coquelicot_3.4.1.orig.tar.gz	275 KiB	01/20/2024 07:16:42 PM +00:00
coquelicot_3.4.2-1.debian.tar.xz	2.2 KiB	11/20/2024 10:07:51 AM +00:00
coquelicot_3.4.2-1.dsc	2.0 KiB	11/20/2024 10:07:51 AM +00:00
coquelicot_3.4.2.orig.tar.bz2	225 KiB	11/20/2024 10:07:51 AM +00:00
libcoq-coquelicot_3.2.0-8+b1_amd64.deb	3.1 MiB	02/13/2023 07:44:06 AM +00:00
libcoq-coquelicot_3.2.0-8+b1_arm64.deb	3.1 MiB	02/13/2023 07:44:11 AM +00:00
libcoq-coquelicot_3.2.0-8+b1_armhf.deb	3.1 MiB	02/13/2023 07:44:12 AM +00:00
libcoq-coquelicot_3.2.0-8+b1_i386.deb	3.1 MiB	02/13/2023 07:44:15 AM +00:00
libcoq-coquelicot_3.2.0-8+b1_ppc64el.deb	3.1 MiB	02/14/2023 12:11:13 AM +00:00
libcoq-coquelicot_3.2.0-8+b1_s390x.deb	3.1 MiB	02/13/2023 10:25:13 AM +00:00
libcoq-coquelicot_3.4.1-3+b5_amd64.deb	3.2 MiB	10/13/2024 11:54:40 AM +00:00
libcoq-coquelicot_3.4.1-3+b5_arm64.deb	3.2 MiB	10/13/2024 12:30:26 PM +00:00
libcoq-coquelicot_3.4.1-3+b5_ppc64el.deb	3.2 MiB	10/13/2024 12:51:01 PM +00:00
libcoq-coquelicot_3.4.1-3+b5_riscv64.deb	3.2 MiB	10/14/2024 02:00:12 AM +00:00
libcoq-coquelicot_3.4.1-3+b5_s390x.deb	3.2 MiB	10/13/2024 12:09:57 PM +00:00
libcoq-coquelicot_3.4.2-1_amd64.deb	3.2 MiB	11/21/2024 12:08:13 AM +00:00
libcoq-coquelicot_3.4.2-1_arm64.deb	3.2 MiB	11/20/2024 08:15:13 PM +00:00
libcoq-coquelicot_3.4.2-1_ppc64el.deb	3.2 MiB	11/20/2024 06:53:42 PM +00:00
libcoq-coquelicot_3.4.2-1_riscv64.deb	3.2 MiB	11/21/2024 05:41:28 AM +00:00
libcoq-coquelicot_3.4.2-1_s390x.deb	3.2 MiB	11/21/2024 02:40:53 AM +00:00