Index of /deepin/pool/main/c/coq/


../
coq-theories_8.6-4_amd64.deb                       30-Dec-2016 00:56            31441296
coq-theories_8.6-4_arm64.deb                       30-Dec-2016 01:57            22857022
coq-theories_8.6-4_i386.deb                        30-Dec-2016 01:57            30400702
coq-theories_8.6-4_mips64el.deb                    30-Dec-2016 14:29            22853882
coq-theories_8.6-5_amd64.deb                       26-Sep-2017 10:04            33427214
coq-theories_8.6-5_i386.deb                        26-Sep-2017 11:14            32009618
coq_8.6-4.debian.tar.xz                            30-Dec-2016 00:56               21972
coq_8.6-4.dsc                                      30-Dec-2016 00:56                2396
coq_8.6-4_amd64.deb                                30-Dec-2016 00:56            13953402
coq_8.6-4_arm64.deb                                30-Dec-2016 01:57            13825574
coq_8.6-4_i386.deb                                 30-Dec-2016 01:57            13593774
coq_8.6-4_mips64el.deb                             30-Dec-2016 14:29            19119940
coq_8.6-5.debian.tar.xz                            26-Sep-2017 10:04               21784
coq_8.6-5.dsc                                      26-Sep-2017 10:04                2411
coq_8.6-5_amd64.deb                                26-Sep-2017 10:04            17741728
coq_8.6-5_i386.deb                                 26-Sep-2017 11:14            16992028
coq_8.6.orig.tar.gz                                28-Dec-2016 13:44             5008604
coqide_8.6-4_amd64.deb                             30-Dec-2016 00:56             1406016
coqide_8.6-4_arm64.deb                             30-Dec-2016 01:57             1423986
coqide_8.6-4_i386.deb                              30-Dec-2016 01:57             1313916
coqide_8.6-4_mips64el.deb                          30-Dec-2016 14:29             1891524
coqide_8.6-5_amd64.deb                             26-Sep-2017 10:04             1606782
coqide_8.6-5_i386.deb                              26-Sep-2017 11:14             1449006
libcoq-ocaml-dev_8.6-4_amd64.deb                   30-Dec-2016 00:56            13289600
libcoq-ocaml-dev_8.6-4_arm64.deb                   30-Dec-2016 01:57            13517276
libcoq-ocaml-dev_8.6-4_i386.deb                    30-Dec-2016 01:57            13323506
libcoq-ocaml-dev_8.6-4_mips64el.deb                30-Dec-2016 14:29            10051066
libcoq-ocaml-dev_8.6-5_amd64.deb                   26-Sep-2017 10:04            13874690
libcoq-ocaml-dev_8.6-5_i386.deb                    26-Sep-2017 11:14            13862886
libcoq-ocaml_8.6-4_amd64.deb                       30-Dec-2016 00:56             3502166
libcoq-ocaml_8.6-4_arm64.deb                       30-Dec-2016 01:57             3479538
libcoq-ocaml_8.6-4_i386.deb                        30-Dec-2016 01:57             3401658
libcoq-ocaml_8.6-4_mips64el.deb                    30-Dec-2016 14:29             2373916
libcoq-ocaml_8.6-5_amd64.deb                       26-Sep-2017 10:04             3647208
libcoq-ocaml_8.6-5_i386.deb                        26-Sep-2017 11:14             3460172