Welcome to the NetCologne GmbH open source mirroring service!

This machine mirrors various open-source projects. 20 Gbit/s uplink.

If there are any issues or you want another project mirrored, please contact mirror-service -=AT=- netcologne DOT de !

Index of /kali/pool/main/c/coqeal/

Index of /kali/pool/main/c/coqeal/


../
coqeal_2.0.2-2.debian.tar.xz                       04-Aug-2024 06:53    2372
coqeal_2.0.2-2.dsc                                 04-Aug-2024 06:53    1937
coqeal_2.0.2.orig.tar.gz                           26-Apr-2024 14:17    212K
libcoq-coqeal_2.0.2-2+b5_amd64.deb                 13-Oct-2024 12:51      5M
libcoq-coqeal_2.0.2-2+b5_arm64.deb                 13-Oct-2024 13:32      5M
libcoq-coqeal_2.0.2-2+b6_arm64.deb                 20-Nov-2024 22:42      5M
libcoq-coqeal_2.0.2-2+b7_amd64.deb                 21-Nov-2024 01:04      5M