Index of /bionic-dev/pool/main/c/coq/

../
coq-theories_8.6-5build1_amd64.deb                 07-Jan-2019 18:09            33181580
coq-theories_8.6-5build1_i386.deb                  07-Jan-2019 18:13            32170552
coq_8.6-5build1_amd64.deb                          07-Jan-2019 19:05            17673808
coq_8.6-5build1_i386.deb                           07-Jan-2019 18:55            16948548
coqide_8.6-5build1_amd64.deb                       07-Jan-2019 18:57             1544828
coqide_8.6-5build1_i386.deb                        07-Jan-2019 18:38             1388920
libcoq-ocaml-dev_8.6-5build1_amd64.deb             07-Jan-2019 18:18            13815188
libcoq-ocaml-dev_8.6-5build1_i386.deb              07-Jan-2019 19:09            13796020
libcoq-ocaml_8.6-5build1_amd64.deb                 07-Jan-2019 18:47             3564612
libcoq-ocaml_8.6-5build1_i386.deb                  07-Jan-2019 18:45             3394144