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

NameLast ModifiedSizeType
../ -  Directory
coq-equations_1.3-8.18-1build3.debian.tar.xz2024-Apr-08 15:57:392.8Kapplication/x-xz
coq-equations_1.3-8.18-1build3.dsc2024-Apr-08 15:57:392.1Ktext/prs.lines.tag
coq-equations_1.3-8.18.orig.tar.gz2023-Dec-24 01:16:591.0Mapplication/x-gtar-compressed
coq-equations_1.3-8.19-2build3.debian.tar.xz2024-Sep-08 03:04:332.8Kapplication/x-xz
coq-equations_1.3-8.19-2build3.dsc2024-Sep-08 03:04:332.1Ktext/prs.lines.tag
coq-equations_1.3-8.19.orig.tar.gz2024-May-02 19:53:161.0Mapplication/x-gtar-compressed
coq-equations_1.3.1-8.20-1build4.debian.tar.xz2025-Feb-19 15:52:172.8Kapplication/x-xz
coq-equations_1.3.1-8.20-1build4.dsc2025-Feb-19 15:52:172.1Ktext/prs.lines.tag
coq-equations_1.3.1-8.20-1build5.debian.tar.xz2025-Jun-20 21:22:252.9Kapplication/x-xz
coq-equations_1.3.1-8.20-1build5.dsc2025-Jun-20 21:22:262.1Ktext/prs.lines.tag
coq-equations_1.3.1-8.20.orig.tar.gz2024-Nov-21 02:47:281.0Mapplication/x-gtar-compressed
libcoq-equations_1.3-8.18-1build3_arm64.deb2024-Apr-08 21:14:531.6Mapplication/vnd.debian.binary-package
libcoq-equations_1.3-8.18-1build3_armhf.deb2024-Apr-08 21:15:021.5Mapplication/vnd.debian.binary-package
libcoq-equations_1.3-8.18-1build3_riscv64.deb2024-Apr-08 21:15:301.5Mapplication/vnd.debian.binary-package
libcoq-equations_1.3-8.19-2build3_arm64.deb2024-Sep-08 03:05:051.3Mapplication/vnd.debian.binary-package
libcoq-equations_1.3-8.19-2build3_riscv64.deb2024-Sep-08 03:58:481.3Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build4_arm64.deb2025-Feb-19 15:53:551.3Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build4_riscv64.deb2025-Feb-19 21:45:191.3Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build5_arm64.deb2025-Jun-21 01:40:441.3Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build5_riscv64.deb2025-Jun-21 03:30:221.3Mapplication/vnd.debian.binary-package
lighttpd/1.4.63