Index of /debian/pool/main/c/coq-equations/

../
coq-equations_1.3-8.16-2.debian.tar.xz             31-Oct-2025 09:21                2232
coq-equations_1.3-8.16-2.dsc                       31-Oct-2025 09:21                2166
coq-equations_1.3-8.16.orig.tar.gz                 31-Oct-2025 09:21             1097638
coq-equations_1.3.1-8.20-1.debian.tar.xz           31-Oct-2025 09:21                2748
coq-equations_1.3.1-8.20-1.dsc                     31-Oct-2025 09:21                2180
coq-equations_1.3.1-8.20.orig.tar.gz               31-Oct-2025 09:21             1104362
libcoq-equations_1.3-8.16-2+b1_amd64.deb           31-Oct-2025 09:21             1421860
libcoq-equations_1.3.1-8.20-1+b4_amd64.deb         31-Oct-2025 09:21             1209136