Index of /pureos/pool/main/c/coquelicot/

../
coquelicot_3.2.0-8.debian.tar.xz                   14-Jun-2023 13:55    2372
coquelicot_3.2.0-8.dsc                             14-Jun-2023 13:55    2085
coquelicot_3.2.0.orig.tar.gz                       14-Jun-2023 13:55    271K
coquelicot_3.4.1-3.debian.tar.xz                   12-Sep-2024 03:40    2168
coquelicot_3.4.1-3.dsc                             12-Sep-2024 03:40    1855
coquelicot_3.4.1.orig.tar.gz                       10-May-2024 02:04    275K
libcoq-coquelicot_3.2.0-8+b1_amd64.deb             14-Jun-2023 20:17      3M
libcoq-coquelicot_3.2.0-8+b1_arm64.deb             14-Jun-2023 20:17      3M
libcoq-coquelicot_3.4.1-3+b3_amd64.deb             12-Sep-2024 07:01      3M
libcoq-coquelicot_3.4.1-3+b3_arm64.deb             12-Sep-2024 07:01      3M
libcoq-coquelicot_3.4.1-3+b4_amd64.deb             26-Sep-2024 22:28      3M
libcoq-coquelicot_3.4.1-3+b4_arm64.deb             26-Sep-2024 22:28      3M
libcoq-coquelicot_3.4.1-3+b5_amd64.deb             14-Oct-2024 04:02      3M
libcoq-coquelicot_3.4.1-3+b5_arm64.deb             14-Oct-2024 04:02      3M