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

../
coq-theories_8.12.0-3+b3_amd64.deb                 12-May-2025 11:33            36501836
coq_8.12.0-3+b3_amd64.deb                          12-May-2025 11:33            90453192
coq_8.16.1+dfsg-1+b2_amd64.deb                     17-Apr-2026 15:15            93212572
coq_8.19.1+dfsg-3+b2_amd64.deb                     29-Nov-2024 02:20            86624372
coq_8.20.0+dfsg-1+b1_amd64.deb                     26-Feb-2025 02:27            70066988
coq_8.20.0+dfsg-1_amd64.deb                        07-Feb-2025 14:09            76953200
coq_8.20.1+dfsg-1+b1_amd64.deb                     17-Apr-2026 15:13            70222224
coq_8.20.1+dfsg-1_amd64.deb                        19-Jun-2025 20:09            70220620
coqide_8.12.0-3+b3_amd64.deb                       12-May-2025 11:33             1879212
coqide_8.16.1+dfsg-1+b2_amd64.deb                  17-Apr-2026 15:15             1993412
coqide_8.19.1+dfsg-3+b2_amd64.deb                  29-Nov-2024 02:20             2151312
coqide_8.20.0+dfsg-1+b1_amd64.deb                  26-Feb-2025 02:27             1937236
coqide_8.20.0+dfsg-1_amd64.deb                     07-Feb-2025 14:09             1927168
coqide_8.20.1+dfsg-1+b1_amd64.deb                  17-Apr-2026 15:13             1930360
coqide_8.20.1+dfsg-1_amd64.deb                     19-Jun-2025 20:09             1929960
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   17-Apr-2026 15:15            42725424
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb   29-Nov-2024 02:20            67218564
libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_amd64.deb   26-Feb-2025 02:27            68714924
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb      07-Feb-2025 14:09            69383144
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   17-Apr-2026 15:13            68700208
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb      19-Jun-2025 20:09            68723636
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       17-Apr-2026 15:15            22556068
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb       29-Nov-2024 02:20            25065856
libcoq-core-ocaml_8.20.0+dfsg-1+b1_amd64.deb       26-Feb-2025 02:27            25949400
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb          07-Feb-2025 14:09            25868164
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       17-Apr-2026 15:13            25955760
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb          19-Jun-2025 20:09            25950932
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             12-May-2025 11:33            18727404
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 12-May-2025 11:33             7758156
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           17-Apr-2026 15:15            21526056
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb           29-Nov-2024 02:20            23657888
libcoq-stdlib_8.20.0+dfsg-1+b1_amd64.deb           26-Feb-2025 02:27            23527456
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb              07-Feb-2025 14:09            23529268
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           17-Apr-2026 15:13            23527164
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb              19-Jun-2025 20:09            23526120