Index of /debian/pool/non-free-firmware/c/coq/

../
coq_8.16.1+dfsg-1+b2_amd64.deb                     01-Aug-2023 14:25            93212572
coqide_8.16.1+dfsg-1+b2_amd64.deb                  01-Aug-2023 14:27             1993412
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   01-Aug-2023 15:03            42725424
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       01-Aug-2023 12:53            22556068
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           01-Aug-2023 14:29            21526056