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

../
coq-equations_1.3-8.18-1build3.debian.tar.xz       04-Mar-2026 09:32    2848
coq-equations_1.3-8.18-1build3.dsc                 04-Mar-2026 09:32    2244
coq-equations_1.3-8.18.orig.tar.gz                 04-Mar-2026 09:32      1M
coq-equations_1.3.1-8.20-1build8.debian.tar.xz     22-Jul-2026 18:38    3048
coq-equations_1.3.1-8.20-1build8.dsc               22-Jul-2026 18:38    2179
coq-equations_1.3.1-8.20.orig.tar.gz               22-Jul-2026 18:38      1M
libcoq-equations_1.3-8.18-1build3_amd64.deb        04-Mar-2026 09:32      2M
libcoq-equations_1.3.1-8.20-1build8_amd64.deb      22-Jul-2026 18:38      1M