Index of /kali/pool/main/c/coq/


../
coq-theories_8.6-5+b1_armhf.deb                    06-Oct-2017 12:13            22900792
coq-theories_8.6-5_amd64.deb                       26-Sep-2017 10:04            33427214
coq-theories_8.6-5_arm64.deb                       26-Sep-2017 11:45            22871304
coq-theories_8.6-5_armel.deb                       06-Oct-2017 17:59            22871666
coq-theories_8.6-5_i386.deb                        26-Sep-2017 11:14            32009618
coq-theories_8.9.0-1_amd64.deb                     25-Feb-2019 12:04            29737672
coq-theories_8.9.0-1_arm64.deb                     25-Feb-2019 12:02            20367676
coq-theories_8.9.0-1_armel.deb                     25-Feb-2019 12:03            20356976
coq-theories_8.9.0-1_armhf.deb                     25-Feb-2019 12:03            20351780
coq-theories_8.9.0-1_i386.deb                      25-Feb-2019 12:05            28414968
coq_8.6-5+b1_armhf.deb                             06-Oct-2017 12:13            17041530
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_arm64.deb                                26-Sep-2017 11:45            18887518
coq_8.6-5_armel.deb                                06-Oct-2017 17:59            25230794
coq_8.6-5_i386.deb                                 26-Sep-2017 11:14            16992028
coq_8.6.orig.tar.gz                                28-Dec-2016 13:44             5008604
coq_8.9.0-1.debian.tar.xz                          25-Feb-2019 12:01               27816
coq_8.9.0-1.dsc                                    25-Feb-2019 12:01                2417
coq_8.9.0-1_amd64.deb                              25-Feb-2019 12:04            58990560
coq_8.9.0-1_arm64.deb                              25-Feb-2019 12:02            63337232
coq_8.9.0-1_armel.deb                              25-Feb-2019 12:03            50026616
coq_8.9.0-1_armhf.deb                              25-Feb-2019 12:03            57327100
coq_8.9.0-1_i386.deb                               25-Feb-2019 12:05            56195896
coq_8.9.0.orig.tar.gz                              25-Feb-2019 12:01             5395769
coqide_8.6-5+b1_armhf.deb                          06-Oct-2017 12:13             1505348
coqide_8.6-5_amd64.deb                             26-Sep-2017 10:04             1606782
coqide_8.6-5_arm64.deb                             26-Sep-2017 11:45             1750258
coqide_8.6-5_armel.deb                             06-Oct-2017 17:59             1970754
coqide_8.6-5_i386.deb                              26-Sep-2017 11:14             1449006
libcoq-ocaml-dev_8.6-5+b1_armhf.deb                06-Oct-2017 12:13            14377820
libcoq-ocaml-dev_8.6-5_amd64.deb                   26-Sep-2017 10:04            13874690
libcoq-ocaml-dev_8.6-5_arm64.deb                   26-Sep-2017 11:45            14089284
libcoq-ocaml-dev_8.6-5_armel.deb                   06-Oct-2017 17:59             9967484
libcoq-ocaml-dev_8.6-5_i386.deb                    26-Sep-2017 11:14            13862886
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 25-Feb-2019 12:04            13703936
libcoq-ocaml-dev_8.9.0-1_arm64.deb                 25-Feb-2019 12:02            14001864
libcoq-ocaml-dev_8.9.0-1_armel.deb                 25-Feb-2019 12:04             7940984
libcoq-ocaml-dev_8.9.0-1_armhf.deb                 25-Feb-2019 12:03            14391840
libcoq-ocaml-dev_8.9.0-1_i386.deb                  25-Feb-2019 12:05            13728788
libcoq-ocaml_8.6-5+b1_armhf.deb                    06-Oct-2017 12:13             3576306
libcoq-ocaml_8.6-5_amd64.deb                       26-Sep-2017 10:04             3647208
libcoq-ocaml_8.6-5_arm64.deb                       26-Sep-2017 11:45             3826660
libcoq-ocaml_8.6-5_armel.deb                       06-Oct-2017 17:59             2331874
libcoq-ocaml_8.6-5_i386.deb                        26-Sep-2017 11:14             3460172
libcoq-ocaml_8.9.0-1_amd64.deb                     25-Feb-2019 12:04             5463112
libcoq-ocaml_8.9.0-1_arm64.deb                     25-Feb-2019 12:02             5803688
libcoq-ocaml_8.9.0-1_armel.deb                     25-Feb-2019 12:04             3578420
libcoq-ocaml_8.9.0-1_armhf.deb                     25-Feb-2019 12:03             5384100
libcoq-ocaml_8.9.0-1_i386.deb                      25-Feb-2019 12:05             5186088