../ coq-mtac2_1.4+8.18-1+b1_hurd-i386.buildinfo 20-Mar-2024 09:03 7925 libcoq-mtac2-dbgsym_1.4+8.18-1+b1_hurd-i386.deb 20-Mar-2024 09:03 35K libcoq-mtac2_1.4+8.18-1+b1_hurd-i386.deb 20-Mar-2024 09:03 756K