Index of /raspbian/pool/main/c/coq/

../
coq-theories_8.12.0-3+b2_armhf.deb                 12-Jan-2022 13:20            23922776
coq-theories_8.9.0-1_armhf.deb                     25-Feb-2019 10:08            20350056
coq_8.12.0-3+b2_armhf.deb                          12-Jan-2022 13:20            86025776
coq_8.16.1+dfsg-1+b2_armhf.deb                     16-Jan-2024 21:46            86586616
coq_8.9.0-1_armhf.deb                              25-Feb-2019 10:08            55637572
coqide_8.12.0-3+b2_armhf.deb                       12-Jan-2022 13:20             1640556
coqide_8.16.1+dfsg-1+b2_armhf.deb                  16-Jan-2024 21:46             1732972
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb   16-Jan-2024 21:46            43043540
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb       16-Jan-2024 21:46            22121064
libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb             12-Jan-2022 13:20            19075512
libcoq-ocaml-dev_8.9.0-1_armhf.deb                 25-Feb-2019 10:08            14303792
libcoq-ocaml_8.12.0-3+b2_armhf.deb                 12-Jan-2022 13:20             7674492
libcoq-ocaml_8.9.0-1_armhf.deb                     25-Feb-2019 10:08             5325948
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb           16-Jan-2024 21:46            21525680