coquelicot

0 directories 17 files 35 MiB total

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.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.2-1+b1_s390x.deb	3.2 MiB	11/22/2024 08:41:38 AM +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