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


../
coq-theories_8.11.0-1+b1_amd64.deb                 07-Apr-2020 15:29            33269648
coq-theories_8.11.0-1+b1_arm64.deb                 07-Apr-2020 17:10            21431952
coq-theories_8.12.0-3+b1_amd64.deb                 02-Oct-2020 12:27            37141832
coq-theories_8.12.0-3+b1_arm64.deb                 02-Oct-2020 12:57            23926028
coq-theories_8.12.0-3+b1_armel.deb                 02-Oct-2020 14:58            23909576
coq-theories_8.12.0-3+b1_armhf.deb                 02-Oct-2020 14:28            23918208
coq-theories_8.12.0-3+b1_i386.deb                  02-Oct-2020 12:27            35402568
coq-theories_8.12.0-3+b2_amd64.deb                 13-Oct-2020 23:13            36491180
coq-theories_8.12.0-3+b2_arm64.deb                 13-Oct-2020 23:13            23919264
coq-theories_8.12.0-3+b2_armel.deb                 14-Oct-2020 02:14            23916828
coq-theories_8.12.0-3+b2_armhf.deb                 13-Oct-2020 23:30            23918744
coq-theories_8.12.0-3+b2_i386.deb                  13-Oct-2020 23:14            35217772
coq-theories_8.12.0-3+b3_amd64.deb                 25-Nov-2020 07:28            36501836
coq-theories_8.12.0-3+b3_arm64.deb                 25-Nov-2020 07:58            23925860
coq-theories_8.12.0-3+b3_armel.deb                 25-Nov-2020 17:44            23913512
coq-theories_8.12.0-3+b3_armhf.deb                 25-Nov-2020 07:43            23918664
coq-theories_8.12.0-3+b3_i386.deb                  25-Nov-2020 07:18            35237680
coq-theories_8.6-5+b1_armhf.deb                    06-Oct-2017 12:13            22900792
coq-theories_8.9.0-1+b1_amd64.deb                  29-Jul-2019 08:58            29732148
coq-theories_8.9.0-1+b1_arm64.deb                  29-Jul-2019 09:13            20372776
coq-theories_8.9.0-1+b1_armel.deb                  29-Jul-2019 14:11            20360040
coq-theories_8.9.0-1+b1_armhf.deb                  29-Jul-2019 09:59            20351388
coq-theories_8.9.0-1+b1_i386.deb                   29-Jul-2019 08:38            28424192
coq-theories_8.9.0-1+b2_amd64.deb                  05-Aug-2019 16:29            29724356
coq-theories_8.9.0-1+b2_arm64.deb                  05-Aug-2019 16:29            20371824
coq-theories_8.9.0-1+b2_armel.deb                  05-Aug-2019 21:29            20358884
coq-theories_8.9.0-1+b2_armhf.deb                  05-Aug-2019 18:43            20351380
coq-theories_8.9.0-1+b2_i386.deb                   05-Aug-2019 16:14            28423608
coq-theories_8.9.1-2+b1_amd64.deb                  03-Dec-2019 12:12            30183784
coq-theories_8.9.1-2+b1_arm64.deb                  03-Dec-2019 08:27            20372136
coq-theories_8.9.1-2+b1_armel.deb                  03-Dec-2019 15:44            20356716
coq-theories_8.9.1-2+b1_armhf.deb                  03-Dec-2019 08:16            20364596
coq-theories_8.9.1-2+b1_i386.deb                   03-Dec-2019 11:25            28971444
coq-theories_8.9.1-2+b2_amd64.deb                  30-Dec-2019 05:25            30185952
coq-theories_8.9.1-2+b2_arm64.deb                  30-Dec-2019 06:25            20375292
coq-theories_8.9.1-2+b2_armel.deb                  30-Dec-2019 12:27            20355600
coq-theories_8.9.1-2+b2_armhf.deb                  30-Dec-2019 06:25            20364404
coq-theories_8.9.1-2+b2_i386.deb                   30-Dec-2019 05:05            28981152
coq-theories_8.9.1-5+b1_amd64.deb                  11-Feb-2020 20:29            30160688
coq-theories_8.9.1-5+b1_arm64.deb                  11-Feb-2020 18:30            20357464
coq-theories_8.9.1-5+b1_armel.deb                  12-Feb-2020 06:41            20336724
coq-theories_8.9.1-5+b1_armhf.deb                  11-Feb-2020 18:45            20345004
coq-theories_8.9.1-5+b1_i386.deb                   11-Feb-2020 16:26            28979508
coq_8.11.0-1+b1_amd64.deb                          07-Apr-2020 15:29            76593512
coq_8.11.0-1+b1_arm64.deb                          07-Apr-2020 17:10            83882096
coq_8.12.0-3+b1_amd64.deb                          02-Oct-2020 12:27            78683684
coq_8.12.0-3+b1_arm64.deb                          02-Oct-2020 12:57            85584152
coq_8.12.0-3+b1_armel.deb                          02-Oct-2020 14:58            89983740
coq_8.12.0-3+b1_armhf.deb                          02-Oct-2020 14:28            75733432
coq_8.12.0-3+b1_i386.deb                           02-Oct-2020 12:27            73781404
coq_8.12.0-3+b2_amd64.deb                          13-Oct-2020 23:13            90459820
coq_8.12.0-3+b2_arm64.deb                          13-Oct-2020 23:13            95971472
coq_8.12.0-3+b2_armel.deb                          14-Oct-2020 02:14           105884324
coq_8.12.0-3+b2_armhf.deb                          13-Oct-2020 23:30            88352820
coq_8.12.0-3+b2_i386.deb                           13-Oct-2020 23:14            87867408
coq_8.12.0-3+b3_amd64.deb                          25-Nov-2020 07:28            90453192
coq_8.12.0-3+b3_arm64.deb                          25-Nov-2020 07:58            96071892
coq_8.12.0-3+b3_armel.deb                          25-Nov-2020 17:44           105872392
coq_8.12.0-3+b3_armhf.deb                          25-Nov-2020 07:43            88355300
coq_8.12.0-3+b3_i386.deb                           25-Nov-2020 07:18            87886220
coq_8.12.0-3.debian.tar.xz                         10-Sep-2020 06:38               37772
coq_8.12.0-3.dsc                                   10-Sep-2020 06:38                2483
coq_8.12.0.orig.tar.gz                             22-Aug-2020 09:26             6008211
coq_8.6-5+b1_armhf.deb                             06-Oct-2017 12:13            17041530
coq_8.9.0-1+b1_amd64.deb                           29-Jul-2019 08:58            59011264
coq_8.9.0-1+b1_arm64.deb                           29-Jul-2019 09:13            63326848
coq_8.9.0-1+b1_armel.deb                           29-Jul-2019 14:11            50047348
coq_8.9.0-1+b1_armhf.deb                           29-Jul-2019 09:59            57400508
coq_8.9.0-1+b1_i386.deb                            29-Jul-2019 08:38            56215368
coq_8.9.0-1+b2_amd64.deb                           05-Aug-2019 16:29            59027500
coq_8.9.0-1+b2_arm64.deb                           05-Aug-2019 16:29            63336728
coq_8.9.0-1+b2_armel.deb                           05-Aug-2019 21:29            50036884
coq_8.9.0-1+b2_armhf.deb                           05-Aug-2019 18:43            57409576
coq_8.9.0-1+b2_i386.deb                            05-Aug-2019 16:14            56236628
coq_8.9.1-2+b1_amd64.deb                           03-Dec-2019 12:12            62448460
coq_8.9.1-2+b1_arm64.deb                           03-Dec-2019 08:27            67126968
coq_8.9.1-2+b1_armel.deb                           03-Dec-2019 15:44            55168440
coq_8.9.1-2+b1_armhf.deb                           03-Dec-2019 08:16            60853072
coq_8.9.1-2+b1_i386.deb                            03-Dec-2019 11:25            59507976
coq_8.9.1-2+b2_amd64.deb                           30-Dec-2019 05:25            62438196
coq_8.9.1-2+b2_arm64.deb                           30-Dec-2019 06:25            67137404
coq_8.9.1-2+b2_armel.deb                           30-Dec-2019 12:27            55164832
coq_8.9.1-2+b2_armhf.deb                           30-Dec-2019 06:25            60857600
coq_8.9.1-2+b2_i386.deb                            30-Dec-2019 05:05            59511728
coq_8.9.1-5+b1_amd64.deb                           11-Feb-2020 20:29            70365144
coq_8.9.1-5+b1_arm64.deb                           11-Feb-2020 18:30            76902004
coq_8.9.1-5+b1_armel.deb                           12-Feb-2020 06:41            73424612
coq_8.9.1-5+b1_armhf.deb                           11-Feb-2020 18:45            68443024
coq_8.9.1-5+b1_i386.deb                            11-Feb-2020 16:26            66470300
coqide_8.11.0-1+b1_amd64.deb                       07-Apr-2020 15:29             1719048
coqide_8.11.0-1+b1_arm64.deb                       07-Apr-2020 17:10             2057764
coqide_8.12.0-3+b1_amd64.deb                       02-Oct-2020 12:27             1765916
coqide_8.12.0-3+b1_arm64.deb                       02-Oct-2020 12:57             2098104
coqide_8.12.0-3+b1_armel.deb                       02-Oct-2020 14:58               46752
coqide_8.12.0-3+b1_armhf.deb                       02-Oct-2020 14:28             1631516
coqide_8.12.0-3+b1_i386.deb                        02-Oct-2020 12:27             1578640
coqide_8.12.0-3+b2_amd64.deb                       13-Oct-2020 23:13             1877020
coqide_8.12.0-3+b2_arm64.deb                       13-Oct-2020 23:13             2176328
coqide_8.12.0-3+b2_armel.deb                       14-Oct-2020 02:14               46740
coqide_8.12.0-3+b2_armhf.deb                       13-Oct-2020 23:30             1737324
coqide_8.12.0-3+b2_i386.deb                        13-Oct-2020 23:14             1722472
coqide_8.12.0-3+b3_amd64.deb                       25-Nov-2020 07:28             1879212
coqide_8.12.0-3+b3_arm64.deb                       25-Nov-2020 07:58             2170596
coqide_8.12.0-3+b3_armel.deb                       25-Nov-2020 17:44               46764
coqide_8.12.0-3+b3_armhf.deb                       25-Nov-2020 07:43             1736840
coqide_8.12.0-3+b3_i386.deb                        25-Nov-2020 07:18             1723020
coqide_8.6-5+b1_armhf.deb                          06-Oct-2017 12:13             1505348
coqide_8.9.1-5+b1_amd64.deb                        11-Feb-2020 20:29             1856292
coqide_8.9.1-5+b1_arm64.deb                        11-Feb-2020 18:30             2209780
coqide_8.9.1-5+b1_armel.deb                        12-Feb-2020 06:41              101700
coqide_8.9.1-5+b1_armhf.deb                        11-Feb-2020 18:45             1743216
coqide_8.9.1-5+b1_i386.deb                         11-Feb-2020 16:26             1682244
libcoq-ocaml-dev_8.11.0-1+b1_amd64.deb             07-Apr-2020 15:29            16070112
libcoq-ocaml-dev_8.11.0-1+b1_arm64.deb             07-Apr-2020 17:10            16437436
libcoq-ocaml-dev_8.12.0-3+b1_amd64.deb             02-Oct-2020 12:27            16485392
libcoq-ocaml-dev_8.12.0-3+b1_arm64.deb             02-Oct-2020 12:57            16866260
libcoq-ocaml-dev_8.12.0-3+b1_armel.deb             02-Oct-2020 14:58             9704472
libcoq-ocaml-dev_8.12.0-3+b1_armhf.deb             02-Oct-2020 14:28            17271740
libcoq-ocaml-dev_8.12.0-3+b1_i386.deb              02-Oct-2020 12:27            16465272
libcoq-ocaml-dev_8.12.0-3+b2_amd64.deb             13-Oct-2020 23:13            18721532
libcoq-ocaml-dev_8.12.0-3+b2_arm64.deb             13-Oct-2020 23:13            18723976
libcoq-ocaml-dev_8.12.0-3+b2_armel.deb             14-Oct-2020 02:14            11282876
libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb             13-Oct-2020 23:30            19182792
libcoq-ocaml-dev_8.12.0-3+b2_i386.deb              13-Oct-2020 23:14            18661384
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             25-Nov-2020 07:28            18727404
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb             25-Nov-2020 07:58            18726796
libcoq-ocaml-dev_8.12.0-3+b3_armel.deb             25-Nov-2020 17:44            11283240
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb             25-Nov-2020 07:43            19195248
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              25-Nov-2020 07:18            18658564
libcoq-ocaml-dev_8.6-5+b1_armhf.deb                06-Oct-2017 12:13            14377820
libcoq-ocaml-dev_8.9.0-1+b1_amd64.deb              29-Jul-2019 08:58            13752108
libcoq-ocaml-dev_8.9.0-1+b1_arm64.deb              29-Jul-2019 09:13            14037564
libcoq-ocaml-dev_8.9.0-1+b1_armel.deb              29-Jul-2019 14:11             7960464
libcoq-ocaml-dev_8.9.0-1+b1_armhf.deb              29-Jul-2019 09:59            14419948
libcoq-ocaml-dev_8.9.0-1+b1_i386.deb               29-Jul-2019 08:38            13769220
libcoq-ocaml-dev_8.9.0-1+b2_amd64.deb              05-Aug-2019 16:29            13735472
libcoq-ocaml-dev_8.9.0-1+b2_arm64.deb              05-Aug-2019 16:29            14046384
libcoq-ocaml-dev_8.9.0-1+b2_armel.deb              05-Aug-2019 21:29             7960640
libcoq-ocaml-dev_8.9.0-1+b2_armhf.deb              05-Aug-2019 18:43            14429048
libcoq-ocaml-dev_8.9.0-1+b2_i386.deb               05-Aug-2019 16:14            13762948
libcoq-ocaml-dev_8.9.1-2+b1_amd64.deb              03-Dec-2019 12:12            14092616
libcoq-ocaml-dev_8.9.1-2+b1_arm64.deb              03-Dec-2019 08:27            14425920
libcoq-ocaml-dev_8.9.1-2+b1_armel.deb              03-Dec-2019 15:44             8231836
libcoq-ocaml-dev_8.9.1-2+b1_armhf.deb              03-Dec-2019 08:16            14776768
libcoq-ocaml-dev_8.9.1-2+b1_i386.deb               03-Dec-2019 11:25            14113972
libcoq-ocaml-dev_8.9.1-2+b2_amd64.deb              30-Dec-2019 05:25            14093620
libcoq-ocaml-dev_8.9.1-2+b2_arm64.deb              30-Dec-2019 06:26            14426204
libcoq-ocaml-dev_8.9.1-2+b2_armel.deb              30-Dec-2019 12:27             8233192
libcoq-ocaml-dev_8.9.1-2+b2_armhf.deb              30-Dec-2019 06:25            14774972
libcoq-ocaml-dev_8.9.1-2+b2_i386.deb               30-Dec-2019 05:05            14122696
libcoq-ocaml-dev_8.9.1-5+b1_amd64.deb              11-Feb-2020 20:29            15105664
libcoq-ocaml-dev_8.9.1-5+b1_arm64.deb              11-Feb-2020 18:30            15420420
libcoq-ocaml-dev_8.9.1-5+b1_armel.deb              12-Feb-2020 06:41             8862248
libcoq-ocaml-dev_8.9.1-5+b1_armhf.deb              11-Feb-2020 18:45            15770472
libcoq-ocaml-dev_8.9.1-5+b1_i386.deb               11-Feb-2020 16:26            15064624
libcoq-ocaml_8.11.0-1+b1_amd64.deb                 07-Apr-2020 15:29             6354016
libcoq-ocaml_8.11.0-1+b1_arm64.deb                 07-Apr-2020 17:10             6753356
libcoq-ocaml_8.12.0-3+b1_amd64.deb                 02-Oct-2020 12:27             6746188
libcoq-ocaml_8.12.0-3+b1_arm64.deb                 02-Oct-2020 12:57             7143312
libcoq-ocaml_8.12.0-3+b1_armel.deb                 02-Oct-2020 14:58             4592728
libcoq-ocaml_8.12.0-3+b1_armhf.deb                 02-Oct-2020 14:28             6689924
libcoq-ocaml_8.12.0-3+b1_i386.deb                  02-Oct-2020 12:27             6433860
libcoq-ocaml_8.12.0-3+b2_amd64.deb                 13-Oct-2020 23:13             7761932
libcoq-ocaml_8.12.0-3+b2_arm64.deb                 13-Oct-2020 23:13             7974072
libcoq-ocaml_8.12.0-3+b2_armel.deb                 14-Oct-2020 02:14             5460596
libcoq-ocaml_8.12.0-3+b2_armhf.deb                 13-Oct-2020 23:30             7742568
libcoq-ocaml_8.12.0-3+b2_i386.deb                  13-Oct-2020 23:14             7569328
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 25-Nov-2020 07:28             7758156
libcoq-ocaml_8.12.0-3+b3_arm64.deb                 25-Nov-2020 07:58             7980456
libcoq-ocaml_8.12.0-3+b3_armel.deb                 25-Nov-2020 17:44             5460152
libcoq-ocaml_8.12.0-3+b3_armhf.deb                 25-Nov-2020 07:43             7743064
libcoq-ocaml_8.12.0-3+b3_i386.deb                  25-Nov-2020 07:18             7575772
libcoq-ocaml_8.6-5+b1_armhf.deb                    06-Oct-2017 12:13             3576306
libcoq-ocaml_8.9.0-1+b1_amd64.deb                  29-Jul-2019 08:58             5520256
libcoq-ocaml_8.9.0-1+b1_arm64.deb                  29-Jul-2019 09:13             5870988
libcoq-ocaml_8.9.0-1+b1_armel.deb                  29-Jul-2019 14:11             3627244
libcoq-ocaml_8.9.0-1+b1_armhf.deb                  29-Jul-2019 09:59             5438256
libcoq-ocaml_8.9.0-1+b1_i386.deb                   29-Jul-2019 08:38             5238508
libcoq-ocaml_8.9.0-1+b2_amd64.deb                  05-Aug-2019 16:29             5525456
libcoq-ocaml_8.9.0-1+b2_arm64.deb                  05-Aug-2019 16:29             5870036
libcoq-ocaml_8.9.0-1+b2_armel.deb                  05-Aug-2019 21:29             3628276
libcoq-ocaml_8.9.0-1+b2_armhf.deb                  05-Aug-2019 18:43             5438172
libcoq-ocaml_8.9.0-1+b2_i386.deb                   05-Aug-2019 16:14             5238744
libcoq-ocaml_8.9.1-2+b1_amd64.deb                  03-Dec-2019 12:12             5682652
libcoq-ocaml_8.9.1-2+b1_arm64.deb                  03-Dec-2019 08:27             6047596
libcoq-ocaml_8.9.1-2+b1_armel.deb                  03-Dec-2019 15:44             3805604
libcoq-ocaml_8.9.1-2+b1_armhf.deb                  03-Dec-2019 08:16             5610480
libcoq-ocaml_8.9.1-2+b1_i386.deb                   03-Dec-2019 11:25             5400748
libcoq-ocaml_8.9.1-2+b2_amd64.deb                  30-Dec-2019 05:25             5682464
libcoq-ocaml_8.9.1-2+b2_arm64.deb                  30-Dec-2019 06:26             6049852
libcoq-ocaml_8.9.1-2+b2_armel.deb                  30-Dec-2019 12:27             3806196
libcoq-ocaml_8.9.1-2+b2_armhf.deb                  30-Dec-2019 06:25             5609368
libcoq-ocaml_8.9.1-2+b2_i386.deb                   30-Dec-2019 05:05             5402476
libcoq-ocaml_8.9.1-5+b1_amd64.deb                  11-Feb-2020 20:29             5685396
libcoq-ocaml_8.9.1-5+b1_arm64.deb                  11-Feb-2020 18:30             6051560
libcoq-ocaml_8.9.1-5+b1_armel.deb                  12-Feb-2020 06:41             3806504
libcoq-ocaml_8.9.1-5+b1_armhf.deb                  11-Feb-2020 18:45             5608784
libcoq-ocaml_8.9.1-5+b1_i386.deb                   11-Feb-2020 16:26             5401620