Index of /mirror/ubuntu-ports/pool/universe/c/coq-extructures/

NameLast ModifiedSizeType
../ -  Directory
coq-extructures_0.4.0-1build5.debian.tar.xz2024-Apr-08 15:57:392.4Kapplication/x-xz
coq-extructures_0.4.0-1build5.dsc2024-Apr-08 15:57:392.1Ktext/prs.lines.tag
coq-extructures_0.4.0-4build5.debian.tar.xz2024-Sep-17 23:51:402.4Kapplication/x-xz
coq-extructures_0.4.0-4build5.dsc2024-Sep-17 23:51:402.1Ktext/prs.lines.tag
coq-extructures_0.4.0.orig.tar.gz2023-Dec-27 01:17:0741.1Kapplication/x-gtar-compressed
coq-extructures_0.5.0-1build6.debian.tar.xz2025-Feb-19 15:52:172.5Kapplication/x-xz
coq-extructures_0.5.0-1build6.dsc2025-Feb-19 15:52:172.1Ktext/prs.lines.tag
coq-extructures_0.5.0-1build9.debian.tar.xz2025-Jun-20 01:20:182.5Kapplication/x-xz
coq-extructures_0.5.0-1build9.dsc2025-Jun-20 01:20:192.1Ktext/prs.lines.tag
coq-extructures_0.5.0.orig.tar.gz2024-Dec-19 07:41:4541.6Kapplication/x-gtar-compressed
libcoq-extructures_0.4.0-1build5_arm64.deb2024-Apr-09 14:03:24714.5Kapplication/vnd.debian.binary-package
libcoq-extructures_0.4.0-1build5_armhf.deb2024-Apr-09 14:03:25714.2Kapplication/vnd.debian.binary-package
libcoq-extructures_0.4.0-1build5_riscv64.deb2024-Apr-09 15:00:04714.6Kapplication/vnd.debian.binary-package
libcoq-extructures_0.4.0-4build5_arm64.deb2024-Sep-20 09:35:17759.9Kapplication/vnd.debian.binary-package
libcoq-extructures_0.4.0-4build5_riscv64.deb2024-Sep-20 21:55:35759.8Kapplication/vnd.debian.binary-package
libcoq-extructures_0.5.0-1build6_arm64.deb2025-Feb-21 04:15:21822.8Kapplication/vnd.debian.binary-package
libcoq-extructures_0.5.0-1build6_riscv64.deb2025-Feb-21 11:24:58822.7Kapplication/vnd.debian.binary-package
libcoq-extructures_0.5.0-1build9_arm64.deb2025-Jun-21 07:24:25821.1Kapplication/vnd.debian.binary-package
libcoq-extructures_0.5.0-1build9_riscv64.deb2025-Jun-21 23:47:36820.8Kapplication/vnd.debian.binary-package
lighttpd/1.4.63