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

../
coq-equations_1.3-8.18-1build3.debian.tar.xz       11-Apr-2024 04:30                2848
coq-equations_1.3-8.18-1build3.dsc                 11-Apr-2024 04:30                2244
coq-equations_1.3-8.18.orig.tar.gz                 08-Mar-2024 09:51             1102730
coq-equations_1.3.1-8.20-1build8.debian.tar.xz     10-Apr-2026 04:59                3048
coq-equations_1.3.1-8.20-1build8.dsc               10-Apr-2026 04:59                2179
coq-equations_1.3.1-8.20.orig.tar.gz               10-Apr-2026 04:59             1104362
libcoq-equations_1.3-8.18-1build3_amd64.deb        11-Apr-2024 04:30             1591704
libcoq-equations_1.3.1-8.20-1build8_amd64.deb      10-Apr-2026 04:59             1343508