Index of /mirror/ubuntu-ports/pool/universe/c/coqeal/

NameLast ModifiedSizeType
../ -  Directory
coqeal_2.0.1-1build5.debian.tar.xz2024-Apr-08 15:57:382.5Kapplication/x-xz
coqeal_2.0.1-1build5.dsc2024-Apr-08 15:57:382.2Ktext/prs.lines.tag
coqeal_2.0.1.orig.tar.gz2024-Jan-21 13:45:48211.7Kapplication/x-gtar-compressed
coqeal_2.0.2-2build5.debian.tar.xz2024-Sep-18 00:56:312.5Kapplication/x-xz
coqeal_2.0.2-2build5.dsc2024-Sep-18 00:56:312.1Ktext/prs.lines.tag
coqeal_2.0.2.orig.tar.gz2024-May-03 09:55:06211.9Kapplication/x-gtar-compressed
coqeal_2.0.3-1build6.debian.tar.xz2025-Feb-19 15:52:062.5Kapplication/x-xz
coqeal_2.0.3-1build6.dsc2025-Feb-19 15:52:062.1Ktext/prs.lines.tag
coqeal_2.0.3.orig.tar.gz2024-Dec-19 07:41:43211.9Kapplication/x-gtar-compressed
coqeal_2.1.0-1build2.debian.tar.xz2025-Jun-20 01:20:172.4Kapplication/x-xz
coqeal_2.1.0-1build2.dsc2025-Jun-20 01:20:172.1Ktext/prs.lines.tag
coqeal_2.1.0.orig.tar.gz2025-May-02 00:23:24221.4Kapplication/x-gtar-compressed
libcoq-coqeal_2.0.1-1build5_arm64.deb2024-Apr-09 16:28:465.2Mapplication/vnd.debian.binary-package
libcoq-coqeal_2.0.1-1build5_armhf.deb2024-Apr-09 15:42:315.2Mapplication/vnd.debian.binary-package
libcoq-coqeal_2.0.1-1build5_riscv64.deb2024-Apr-09 18:43:335.2Mapplication/vnd.debian.binary-package
libcoq-coqeal_2.0.2-2build5_arm64.deb2024-Sep-20 12:15:365.7Mapplication/vnd.debian.binary-package
libcoq-coqeal_2.0.2-2build5_riscv64.deb2024-Sep-21 00:50:305.7Mapplication/vnd.debian.binary-package
libcoq-coqeal_2.0.3-1build6_arm64.deb2025-Feb-21 06:38:135.9Mapplication/vnd.debian.binary-package
libcoq-coqeal_2.0.3-1build6_riscv64.deb2025-Feb-21 17:52:415.9Mapplication/vnd.debian.binary-package
libcoq-coqeal_2.1.0-1build2_arm64.deb2025-Jun-21 12:29:486.1Mapplication/vnd.debian.binary-package
libcoq-coqeal_2.1.0-1build2_riscv64.deb2025-Jun-22 02:07:126.1Mapplication/vnd.debian.binary-package
lighttpd/1.4.63