Index of /ubuntu/ddebs/pool/universe/c/coq/

../
coq-dbgsym_8.15.0+dfsg-2_amd64.ddeb                06-Feb-2022 08:36     10M
coq-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb           23-Apr-2016 14:45    823K
coq-dbgsym_8.4pl4dfsg-3build2_i386.ddeb            23-Apr-2016 09:17    771K
coq-dbgsym_8.5-2_amd64.ddeb                        29-Jan-2016 14:44      1M
coqide-dbgsym_8.15.0+dfsg-2_amd64.ddeb             06-Feb-2022 08:37    682K
coqide-dbgsym_8.3.pl4+dfsg-1_amd64.ddeb            03-Apr-2012 19:20    646K
coqide-dbgsym_8.4pl4dfsg-3build2_amd64.ddeb        23-Apr-2016 14:45    260K
coqide-dbgsym_8.4pl4dfsg-3build2_i386.ddeb         23-Apr-2016 09:17    243K
coqide-dbgsym_8.5-2_amd64.ddeb                     29-Jan-2016 14:44    323K
libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_amd64.ddeb  06-Feb-2022 08:37      2M
libcoq-ocaml-dbgsym_8.5-2_amd64.ddeb               29-Jan-2016 14:43    236K
libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_amd6..> 23-Apr-2016 14:45    106K
libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_i386..> 23-Apr-2016 09:17     99K
libcoq-ocaml-dev-dbgsym_8.5-2_amd64.ddeb           29-Jan-2016 14:44     67K