Index of /debian-buster/pool/main/c/coq/

../
coq-theories_8.9.0-1_amd64.deb                     14-May-2025 12:04            29737672
coq_8.9.0-1_amd64.deb                              14-May-2025 11:58            58990560
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 14-May-2025 12:05            13703936
libcoq-ocaml_8.9.0-1_amd64.deb                     14-May-2025 11:50             5463112