coq-equations_1.3.2-9.2-2.debian.tar.xz
coq-equations_1.3.2-9.2-2.dsc
coq-equations_1.3.2-9.2.orig.tar.gz
libcoq-equations_1.3.2-9.2-2+b2_amd64.deb