../ coq-extructures_0.3.1-4+b3_hurd-i386.buildinfo 01-Oct-2023 18:03 7188 libcoq-extructures_0.3.1-4+b3_hurd-i386.deb 01-Oct-2023 18:03 587616