../ coq-deriving_0.1.0-2.debian.tar.xz 31-Jul-2024 12:21 1968 coq-deriving_0.1.0-2.dsc 31-Jul-2024 12:21 2113 coq-deriving_0.1.0.orig.tar.gz 31-Jul-2024 12:21 29290 libcoq-deriving_0.1.0-2+b1_amd64.deb 31-Jul-2024 11:58 423128 libcoq-deriving_0.1.0-2+b1_arm64.deb 31-Jul-2024 11:52 423012 libcoq-deriving_0.1.0-2+b1_i386.deb 31-Jul-2024 12:20 422196