../ coq-record-update_0.3.7-3.debian.tar.xz 28-Jul-2026 11:44 2324 coq-record-update_0.3.7-3.dsc 28-Jul-2026 11:44 2167 coq-record-update_0.3.7.orig.tar.gz 10-Jul-2026 17:23 18K libcoq-record-update_0.3.7-3+b1_arm64.deb 26-Aug-2026 01:03 19K libcoq-record-update_0.3.7-3+b2_amd64.deb 26-Aug-2026 01:08 19K libcoq-record-update_0.3.7-3_armhf.deb 28-Jul-2026 12:05 19K libcoq-record-update_0.3.7-3_i386.deb 28-Jul-2026 12:05 19K