Index of /debian/pool/main/a/aac-tactics
Name
Last modified
Size
Description
Parent Directory
-
aac-tactics_0.4-3.debian.tar.xz
2014-07-30 05:11
2.9K
aac-tactics_0.4-3.dsc
2014-07-30 05:11
2.2K
aac-tactics_0.4.orig.tar.gz
2013-12-06 02:54
76K
aac-tactics_8.6.1-1.debian.tar.xz
2016-12-30 05:13
3.1K
aac-tactics_8.6.1-1.dsc
2016-12-30 05:13
2.2K
aac-tactics_8.6.1.orig.tar.gz
2016-12-30 05:13
73K
aac-tactics_8.15.0-1.debian.tar.xz
2022-02-06 08:09
3.5K
aac-tactics_8.15.0-1.dsc
2022-02-06 08:09
2.2K
aac-tactics_8.15.0.orig.tar.gz
2022-02-06 08:09
67K
aac-tactics_8.15.1-1.debian.tar.xz
2022-04-03 16:10
3.6K
aac-tactics_8.15.1-1.dsc
2022-04-03 16:10
2.2K
aac-tactics_8.15.1-2.debian.tar.xz
2022-04-13 03:15
3.6K
aac-tactics_8.15.1-2.dsc
2022-04-13 03:15
2.2K
aac-tactics_8.15.1-3.debian.tar.xz
2022-04-17 08:08
3.7K
aac-tactics_8.15.1-3.dsc
2022-04-17 08:08
2.2K
aac-tactics_8.15.1-4.debian.tar.xz
2022-05-22 13:33
3.7K
aac-tactics_8.15.1-4.dsc
2022-05-22 13:33
2.2K
aac-tactics_8.15.1-5.debian.tar.xz
2022-06-01 09:16
3.7K
aac-tactics_8.15.1-5.dsc
2022-06-01 09:16
2.2K
aac-tactics_8.15.1-6.debian.tar.xz
2022-06-12 08:00
3.7K
aac-tactics_8.15.1-6.dsc
2022-06-12 08:00
2.2K
aac-tactics_8.15.1.orig.tar.gz
2022-04-03 16:10
67K
aac-tactics_8.16.0-1.debian.tar.xz
2022-09-06 05:04
3.4K
aac-tactics_8.16.0-1.dsc
2022-09-06 05:04
2.1K
aac-tactics_8.16.0.orig.tar.gz
2022-09-06 05:04
74K
aac-tactics_8.17.0-1.debian.tar.xz
2023-01-04 14:04
3.5K
aac-tactics_8.17.0-1.dsc
2023-01-04 14:04
2.1K
aac-tactics_8.17.0-2.debian.tar.xz
2023-06-12 16:29
3.6K
aac-tactics_8.17.0-2.dsc
2023-06-12 16:29
2.1K
aac-tactics_8.17.0-3.debian.tar.xz
2023-09-12 02:19
3.6K
aac-tactics_8.17.0-3.dsc
2023-09-12 02:19
1.8K
aac-tactics_8.17.0.orig.tar.gz
2023-01-04 14:04
74K
aac-tactics_8.18.0-1.debian.tar.xz
2023-12-21 09:34
3.6K
aac-tactics_8.18.0-1.dsc
2023-12-21 09:34
2.1K
aac-tactics_8.18.0.orig.tar.gz
2023-12-21 09:34
74K
aac-tactics_8.19.0-1.debian.tar.xz
2024-04-26 09:46
3.6K
aac-tactics_8.19.0-1.dsc
2024-04-26 09:46
2.1K
aac-tactics_8.19.0.orig.tar.gz
2024-04-26 09:46
75K
aac-tactics_8.19.1-1.debian.tar.xz
2024-06-11 01:19
3.7K
aac-tactics_8.19.1-1.dsc
2024-06-11 01:19
2.1K
aac-tactics_8.19.1-2.debian.tar.xz
2024-08-03 11:44
3.7K
aac-tactics_8.19.1-2.dsc
2024-08-03 11:44
1.8K
aac-tactics_8.19.1.orig.tar.gz
2024-06-11 01:19
75K
aac-tactics_8.20.0-1.debian.tar.xz
2024-11-20 04:52
3.7K
aac-tactics_8.20.0-1.dsc
2024-11-20 04:52
2.1K
aac-tactics_8.20.0.orig.tar.gz
2024-11-20 04:52
76K
libaac-tactics-coq_0.4-3_all.deb
2014-07-30 05:11
209K
libaac-tactics-coq_8.6.1-1_all.deb
2016-12-30 05:13
217K
libaac-tactics-coq_8.15.0-1_all.deb
2022-02-06 08:44
256K
libaac-tactics-ocaml-dev_0.4-3_amd64.deb
2014-07-30 05:11
44K
libaac-tactics-ocaml-dev_0.4-3_armel.deb
2014-07-30 05:56
44K
libaac-tactics-ocaml-dev_0.4-3_armhf.deb
2014-07-30 05:56
44K
libaac-tactics-ocaml-dev_0.4-3_i386.deb
2014-07-30 05:41
44K
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb
2016-12-30 05:13
38K
libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb
2016-12-30 05:43
38K
libaac-tactics-ocaml-dev_8.6.1-1_armel.deb
2016-12-30 05:43
38K
libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb
2016-12-30 05:43
38K
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb
2016-12-30 05:43
38K
libaac-tactics-ocaml-dev_8.6.1-1_mips.deb
2016-12-30 05:43
38K
libaac-tactics-ocaml-dev_8.6.1-1_mips64el.deb
2017-01-04 06:43
38K
libaac-tactics-ocaml-dev_8.6.1-1_mipsel.deb
2016-12-30 05:43
38K
libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb
2016-12-30 05:43
38K
libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb
2016-12-30 05:43
38K
libaac-tactics-ocaml-dev_8.15.0-1+b1_amd64.deb
2022-03-23 08:26
39K
libaac-tactics-ocaml-dev_8.15.0-1+b1_arm64.deb
2022-03-23 08:11
39K
libaac-tactics-ocaml-dev_8.15.0-1+b1_armhf.deb
2022-03-23 08:11
39K
libaac-tactics-ocaml-dev_8.15.0-1+b1_i386.deb
2022-03-23 08:00
39K
libaac-tactics-ocaml-dev_8.15.0-1+b1_ppc64el.deb
2022-03-23 08:11
39K
libaac-tactics-ocaml-dev_8.15.0-1+b1_s390x.deb
2022-03-23 11:12
39K
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
2022-02-06 08:44
38K
libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb
2022-02-06 08:44
38K
libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb
2022-02-06 08:44
38K
libaac-tactics-ocaml-dev_8.15.0-1_i386.deb
2022-02-06 08:29
38K
libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb
2022-02-06 08:44
38K
libaac-tactics-ocaml-dev_8.15.0-1_s390x.deb
2022-02-06 08:29
38K
libaac-tactics-ocaml-dev_8.15.1-1_amd64.deb
2022-04-03 16:10
38K
libaac-tactics-ocaml-dev_8.15.1-1_arm64.deb
2022-04-04 14:28
38K
libaac-tactics-ocaml-dev_8.15.1-1_armhf.deb
2022-04-04 14:28
38K
libaac-tactics-ocaml-dev_8.15.1-1_i386.deb
2022-04-04 14:28
38K
libaac-tactics-ocaml-dev_8.15.1-1_ppc64el.deb
2022-04-04 14:28
38K
libaac-tactics-ocaml-dev_8.15.1-1_s390x.deb
2022-04-04 14:13
38K
libaac-tactics-ocaml-dev_8.15.1-2_amd64.deb
2022-04-13 03:40
38K
libaac-tactics-ocaml-dev_8.15.1-2_arm64.deb
2022-04-13 03:40
38K
libaac-tactics-ocaml-dev_8.15.1-2_armhf.deb
2022-04-13 03:40
38K
libaac-tactics-ocaml-dev_8.15.1-2_i386.deb
2022-04-13 03:35
38K
libaac-tactics-ocaml-dev_8.15.1-2_ppc64el.deb
2022-04-13 03:40
38K
libaac-tactics-ocaml-dev_8.15.1-2_s390x.deb
2022-04-13 03:40
38K
libaac-tactics-ocaml-dev_8.15.1-3_amd64.deb
2022-04-17 08:43
38K
libaac-tactics-ocaml-dev_8.15.1-3_arm64.deb
2022-04-17 08:43
38K
libaac-tactics-ocaml-dev_8.15.1-3_armhf.deb
2022-04-17 08:43
38K
libaac-tactics-ocaml-dev_8.15.1-3_i386.deb
2022-04-17 08:43
38K
libaac-tactics-ocaml-dev_8.15.1-3_ppc64el.deb
2022-04-17 08:43
38K
libaac-tactics-ocaml-dev_8.15.1-3_s390x.deb
2022-04-17 08:59
38K
libaac-tactics-ocaml-dev_8.15.1-4_amd64.deb
2022-05-22 14:13
39K
libaac-tactics-ocaml-dev_8.15.1-4_arm64.deb
2022-05-22 14:13
39K
libaac-tactics-ocaml-dev_8.15.1-4_armhf.deb
2022-05-22 14:13
39K
libaac-tactics-ocaml-dev_8.15.1-4_i386.deb
2022-05-22 14:03
39K
libaac-tactics-ocaml-dev_8.15.1-4_ppc64el.deb
2022-05-22 14:13
39K
libaac-tactics-ocaml-dev_8.15.1-4_s390x.deb
2022-05-22 14:13
39K
libaac-tactics-ocaml-dev_8.15.1-5_amd64.deb
2022-06-01 09:31
39K
libaac-tactics-ocaml-dev_8.15.1-5_arm64.deb
2022-06-01 09:42
39K
libaac-tactics-ocaml-dev_8.15.1-5_armhf.deb
2022-06-01 09:42
39K
libaac-tactics-ocaml-dev_8.15.1-5_i386.deb
2022-06-01 09:31
39K
libaac-tactics-ocaml-dev_8.15.1-5_ppc64el.deb
2022-06-01 09:42
39K
libaac-tactics-ocaml-dev_8.15.1-5_s390x.deb
2022-06-01 09:42
39K
libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb
2022-06-12 08:25
39K
libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb
2022-06-12 08:25
39K
libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb
2022-06-12 08:25
39K
libaac-tactics-ocaml-dev_8.15.1-6_i386.deb
2022-06-12 08:15
39K
libaac-tactics-ocaml-dev_8.15.1-6_ppc64el.deb
2022-06-12 08:25
39K
libaac-tactics-ocaml-dev_8.15.1-6_s390x.deb
2022-06-12 10:11
39K
libaac-tactics-ocaml_0.4-3_amd64.deb
2014-07-30 05:11
125K
libaac-tactics-ocaml_0.4-3_armel.deb
2014-07-30 05:56
120K
libaac-tactics-ocaml_0.4-3_armhf.deb
2014-07-30 05:56
122K
libaac-tactics-ocaml_0.4-3_i386.deb
2014-07-30 05:41
115K
libaac-tactics-ocaml_8.6.1-1_amd64.deb
2016-12-30 05:13
108K
libaac-tactics-ocaml_8.6.1-1_arm64.deb
2016-12-30 05:43
105K
libaac-tactics-ocaml_8.6.1-1_armel.deb
2016-12-30 05:43
112K
libaac-tactics-ocaml_8.6.1-1_armhf.deb
2016-12-30 05:43
115K
libaac-tactics-ocaml_8.6.1-1_i386.deb
2016-12-30 05:43
101K
libaac-tactics-ocaml_8.6.1-1_mips.deb
2016-12-30 05:43
27K
libaac-tactics-ocaml_8.6.1-1_mips64el.deb
2017-01-04 06:43
27K
libaac-tactics-ocaml_8.6.1-1_mipsel.deb
2016-12-30 05:43
27K
libaac-tactics-ocaml_8.6.1-1_ppc64el.deb
2016-12-30 05:43
27K
libaac-tactics-ocaml_8.6.1-1_s390x.deb
2016-12-30 05:43
27K
libaac-tactics-ocaml_8.15.0-1+b1_amd64.deb
2022-03-23 08:26
111K
libaac-tactics-ocaml_8.15.0-1+b1_arm64.deb
2022-03-23 08:11
119K
libaac-tactics-ocaml_8.15.0-1+b1_armhf.deb
2022-03-23 08:11
110K
libaac-tactics-ocaml_8.15.0-1+b1_i386.deb
2022-03-23 08:00
104K
libaac-tactics-ocaml_8.15.0-1+b1_ppc64el.deb
2022-03-23 08:11
114K
libaac-tactics-ocaml_8.15.0-1+b1_s390x.deb
2022-03-23 11:12
113K
libaac-tactics-ocaml_8.15.0-1_amd64.deb
2022-02-06 08:44
111K
libaac-tactics-ocaml_8.15.0-1_arm64.deb
2022-02-06 08:44
119K
libaac-tactics-ocaml_8.15.0-1_armhf.deb
2022-02-06 08:44
110K
libaac-tactics-ocaml_8.15.0-1_i386.deb
2022-02-06 08:29
103K
libaac-tactics-ocaml_8.15.0-1_ppc64el.deb
2022-02-06 08:44
114K
libaac-tactics-ocaml_8.15.0-1_s390x.deb
2022-02-06 08:29
112K
libaac-tactics-ocaml_8.15.1-1_amd64.deb
2022-04-03 16:10
111K
libaac-tactics-ocaml_8.15.1-1_arm64.deb
2022-04-04 14:28
119K
libaac-tactics-ocaml_8.15.1-1_armhf.deb
2022-04-04 14:28
110K
libaac-tactics-ocaml_8.15.1-1_i386.deb
2022-04-04 14:28
103K
libaac-tactics-ocaml_8.15.1-1_ppc64el.deb
2022-04-04 14:28
114K
libaac-tactics-ocaml_8.15.1-1_s390x.deb
2022-04-04 14:13
112K
libaac-tactics-ocaml_8.15.1-2_amd64.deb
2022-04-13 03:40
111K
libaac-tactics-ocaml_8.15.1-2_arm64.deb
2022-04-13 03:40
119K
libaac-tactics-ocaml_8.15.1-2_armhf.deb
2022-04-13 03:40
110K
libaac-tactics-ocaml_8.15.1-2_i386.deb
2022-04-13 03:35
104K
libaac-tactics-ocaml_8.15.1-2_ppc64el.deb
2022-04-13 03:40
114K
libaac-tactics-ocaml_8.15.1-2_s390x.deb
2022-04-13 03:40
113K
libaac-tactics-ocaml_8.15.1-3_amd64.deb
2022-04-17 08:43
111K
libaac-tactics-ocaml_8.15.1-3_arm64.deb
2022-04-17 08:43
119K
libaac-tactics-ocaml_8.15.1-3_armhf.deb
2022-04-17 08:43
110K
libaac-tactics-ocaml_8.15.1-3_i386.deb
2022-04-17 08:43
104K
libaac-tactics-ocaml_8.15.1-3_ppc64el.deb
2022-04-17 08:43
114K
libaac-tactics-ocaml_8.15.1-3_s390x.deb
2022-04-17 08:59
112K
libaac-tactics-ocaml_8.15.1-4_amd64.deb
2022-05-22 14:13
111K
libaac-tactics-ocaml_8.15.1-4_arm64.deb
2022-05-22 14:13
119K
libaac-tactics-ocaml_8.15.1-4_armhf.deb
2022-05-22 14:13
110K
libaac-tactics-ocaml_8.15.1-4_i386.deb
2022-05-22 14:03
104K
libaac-tactics-ocaml_8.15.1-4_ppc64el.deb
2022-05-22 14:13
114K
libaac-tactics-ocaml_8.15.1-4_s390x.deb
2022-05-22 14:13
112K
libaac-tactics-ocaml_8.15.1-5_amd64.deb
2022-06-01 09:31
112K
libaac-tactics-ocaml_8.15.1-5_arm64.deb
2022-06-01 09:42
119K
libaac-tactics-ocaml_8.15.1-5_armhf.deb
2022-06-01 09:42
110K
libaac-tactics-ocaml_8.15.1-5_i386.deb
2022-06-01 09:31
104K
libaac-tactics-ocaml_8.15.1-5_ppc64el.deb
2022-06-01 09:42
114K
libaac-tactics-ocaml_8.15.1-5_s390x.deb
2022-06-01 09:42
113K
libaac-tactics-ocaml_8.15.1-6_amd64.deb
2022-06-12 08:25
112K
libaac-tactics-ocaml_8.15.1-6_arm64.deb
2022-06-12 08:25
119K
libaac-tactics-ocaml_8.15.1-6_armhf.deb
2022-06-12 08:25
110K
libaac-tactics-ocaml_8.15.1-6_i386.deb
2022-06-12 08:15
104K
libaac-tactics-ocaml_8.15.1-6_ppc64el.deb
2022-06-12 08:25
114K
libaac-tactics-ocaml_8.15.1-6_s390x.deb
2022-06-12 10:11
112K
libcoq-aac-tactics_8.15.1-1_all.deb
2022-04-03 16:10
261K
libcoq-aac-tactics_8.15.1-2_all.deb
2022-04-13 03:40
261K
libcoq-aac-tactics_8.15.1-3_amd64.deb
2022-04-17 08:43
261K
libcoq-aac-tactics_8.15.1-3_arm64.deb
2022-04-17 08:43
261K
libcoq-aac-tactics_8.15.1-3_armhf.deb
2022-04-17 08:43
261K
libcoq-aac-tactics_8.15.1-3_i386.deb
2022-04-17 08:43
261K
libcoq-aac-tactics_8.15.1-3_ppc64el.deb
2022-04-17 08:43
261K
libcoq-aac-tactics_8.15.1-3_s390x.deb
2022-04-17 08:59
261K
libcoq-aac-tactics_8.15.1-4_amd64.deb
2022-05-22 14:13
261K
libcoq-aac-tactics_8.15.1-4_arm64.deb
2022-05-22 14:13
261K
libcoq-aac-tactics_8.15.1-4_armhf.deb
2022-05-22 14:13
261K
libcoq-aac-tactics_8.15.1-4_i386.deb
2022-05-22 14:03
261K
libcoq-aac-tactics_8.15.1-4_ppc64el.deb
2022-05-22 14:13
261K
libcoq-aac-tactics_8.15.1-4_s390x.deb
2022-05-22 14:13
261K
libcoq-aac-tactics_8.15.1-5_amd64.deb
2022-06-01 09:31
261K
libcoq-aac-tactics_8.15.1-5_arm64.deb
2022-06-01 09:42
261K
libcoq-aac-tactics_8.15.1-5_armhf.deb
2022-06-01 09:42
261K
libcoq-aac-tactics_8.15.1-5_i386.deb
2022-06-01 09:31
261K
libcoq-aac-tactics_8.15.1-5_ppc64el.deb
2022-06-01 09:42
261K
libcoq-aac-tactics_8.15.1-5_s390x.deb
2022-06-01 09:42
261K
libcoq-aac-tactics_8.15.1-6_amd64.deb
2022-06-12 08:25
261K
libcoq-aac-tactics_8.15.1-6_arm64.deb
2022-06-12 08:25
261K
libcoq-aac-tactics_8.15.1-6_armhf.deb
2022-06-12 08:25
261K
libcoq-aac-tactics_8.15.1-6_i386.deb
2022-06-12 08:15
261K
libcoq-aac-tactics_8.15.1-6_ppc64el.deb
2022-06-12 08:25
261K
libcoq-aac-tactics_8.15.1-6_s390x.deb
2022-06-12 10:11
261K
libcoq-aac-tactics_8.16.0-1+b1_amd64.deb
2022-11-29 08:44
381K
libcoq-aac-tactics_8.16.0-1+b1_arm64.deb
2022-11-29 08:28
389K
libcoq-aac-tactics_8.16.0-1+b1_armhf.deb
2022-11-29 08:28
380K
libcoq-aac-tactics_8.16.0-1+b1_i386.deb
2022-11-29 08:43
373K
libcoq-aac-tactics_8.16.0-1+b1_ppc64el.deb
2022-11-29 09:29
384K
libcoq-aac-tactics_8.16.0-1+b1_s390x.deb
2022-11-30 10:47
383K
libcoq-aac-tactics_8.16.0-1_amd64.deb
2022-09-06 08:11
382K
libcoq-aac-tactics_8.16.0-1_arm64.deb
2022-09-06 08:11
390K
libcoq-aac-tactics_8.16.0-1_armhf.deb
2022-09-06 07:40
381K
libcoq-aac-tactics_8.16.0-1_i386.deb
2022-09-06 08:56
373K
libcoq-aac-tactics_8.16.0-1_ppc64el.deb
2022-09-06 09:42
385K
libcoq-aac-tactics_8.16.0-1_s390x.deb
2022-09-06 14:56
383K
libcoq-aac-tactics_8.17.0-1+b1_amd64.deb
2023-01-23 20:15
381K
libcoq-aac-tactics_8.17.0-1+b1_arm64.deb
2023-01-23 20:25
389K
libcoq-aac-tactics_8.17.0-1+b1_armhf.deb
2023-01-23 20:15
380K
libcoq-aac-tactics_8.17.0-1+b1_i386.deb
2023-01-23 20:15
373K
libcoq-aac-tactics_8.17.0-1+b1_ppc64el.deb
2023-01-23 23:43
384K
libcoq-aac-tactics_8.17.0-1+b1_s390x.deb
2023-01-23 19:54
382K
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb
2023-02-13 00:11
381K
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb
2023-02-13 00:11
389K
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb
2023-02-13 00:11
379K
libcoq-aac-tactics_8.17.0-1+b2_i386.deb
2023-02-13 00:06
373K
libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb
2023-02-13 00:11
384K
libcoq-aac-tactics_8.17.0-1+b2_s390x.deb
2023-02-13 00:06
382K
libcoq-aac-tactics_8.17.0-1_amd64.deb
2023-01-04 16:28
380K
libcoq-aac-tactics_8.17.0-1_arm64.deb
2023-01-04 17:13
388K
libcoq-aac-tactics_8.17.0-1_armhf.deb
2023-01-04 17:12
379K
libcoq-aac-tactics_8.17.0-1_i386.deb
2023-01-04 16:42
372K
libcoq-aac-tactics_8.17.0-1_ppc64el.deb
2023-01-06 10:56
383K
libcoq-aac-tactics_8.17.0-1_s390x.deb
2023-01-07 09:40
382K
libcoq-aac-tactics_8.17.0-2+b1_amd64.deb
2023-07-23 00:57
380K
libcoq-aac-tactics_8.17.0-2+b1_arm64.deb
2023-07-23 00:57
388K
libcoq-aac-tactics_8.17.0-2+b1_armhf.deb
2023-07-23 00:57
379K
libcoq-aac-tactics_8.17.0-2+b1_i386.deb
2023-07-23 00:57
372K
libcoq-aac-tactics_8.17.0-2+b1_ppc64el.deb
2023-07-23 00:57
382K
libcoq-aac-tactics_8.17.0-2+b1_s390x.deb
2023-07-23 00:57
381K
libcoq-aac-tactics_8.17.0-2_amd64.deb
2023-06-12 18:43
379K
libcoq-aac-tactics_8.17.0-2_arm64.deb
2023-06-13 04:13
387K
libcoq-aac-tactics_8.17.0-2_armhf.deb
2023-06-12 23:13
378K
libcoq-aac-tactics_8.17.0-2_i386.deb
2023-06-12 20:00
371K
libcoq-aac-tactics_8.17.0-2_ppc64el.deb
2023-06-18 09:55
382K
libcoq-aac-tactics_8.17.0-2_riscv64.deb
2023-08-30 08:22
377K
libcoq-aac-tactics_8.17.0-2_s390x.deb
2023-06-13 00:24
381K
libcoq-aac-tactics_8.17.0-3+b1_amd64.deb
2023-09-22 03:26
380K
libcoq-aac-tactics_8.17.0-3+b1_arm64.deb
2023-09-22 05:14
388K
libcoq-aac-tactics_8.17.0-3+b1_armhf.deb
2023-09-22 03:42
378K
libcoq-aac-tactics_8.17.0-3+b1_i386.deb
2023-09-22 03:21
372K
libcoq-aac-tactics_8.17.0-3+b1_ppc64el.deb
2023-09-22 03:57
382K
libcoq-aac-tactics_8.17.0-3+b1_riscv64.deb
2023-09-23 15:13
382K
libcoq-aac-tactics_8.17.0-3+b1_s390x.deb
2023-09-22 03:11
381K
libcoq-aac-tactics_8.17.0-3_amd64.deb
2023-09-12 02:59
379K
libcoq-aac-tactics_8.17.0-3_arm64.deb
2023-09-12 03:00
387K
libcoq-aac-tactics_8.17.0-3_armhf.deb
2023-09-12 03:00
378K
libcoq-aac-tactics_8.17.0-3_i386.deb
2023-09-12 02:44
371K
libcoq-aac-tactics_8.17.0-3_ppc64el.deb
2023-09-12 03:00
382K
libcoq-aac-tactics_8.17.0-3_riscv64.deb
2023-09-12 04:36
377K
libcoq-aac-tactics_8.17.0-3_s390x.deb
2023-09-12 02:44
381K
libcoq-aac-tactics_8.18.0-1+b1_amd64.deb
2024-03-19 14:40
375K
libcoq-aac-tactics_8.18.0-1+b1_arm64.deb
2024-03-19 14:40
383K
libcoq-aac-tactics_8.18.0-1+b1_armhf.deb
2024-03-26 11:17
373K
libcoq-aac-tactics_8.18.0-1+b1_i386.deb
2024-03-19 14:35
367K
libcoq-aac-tactics_8.18.0-1+b1_ppc64el.deb
2024-03-19 14:35
378K
libcoq-aac-tactics_8.18.0-1+b1_riscv64.deb
2024-04-10 21:43
378K
libcoq-aac-tactics_8.18.0-1+b1_s390x.deb
2024-03-19 17:19
376K
libcoq-aac-tactics_8.18.0-1+b2_amd64.deb
2024-04-27 03:26
384K
libcoq-aac-tactics_8.18.0-1+b2_arm64.deb
2024-04-27 03:26
391K
libcoq-aac-tactics_8.18.0-1+b2_armhf.deb
2024-04-27 03:32
382K
libcoq-aac-tactics_8.18.0-1+b2_i386.deb
2024-04-27 03:26
376K
libcoq-aac-tactics_8.18.0-1+b2_ppc64el.deb
2024-04-27 03:26
386K
libcoq-aac-tactics_8.18.0-1+b2_riscv64.deb
2024-04-27 03:31
386K
libcoq-aac-tactics_8.18.0-1+b2_s390x.deb
2024-04-27 03:26
385K
libcoq-aac-tactics_8.18.0-1_amd64.deb
2023-12-21 12:31
375K
libcoq-aac-tactics_8.18.0-1_arm64.deb
2023-12-31 03:40
383K
libcoq-aac-tactics_8.18.0-1_armhf.deb
2023-12-31 03:40
373K
libcoq-aac-tactics_8.18.0-1_i386.deb
2023-12-31 03:40
367K
libcoq-aac-tactics_8.18.0-1_ppc64el.deb
2023-12-26 03:41
377K
libcoq-aac-tactics_8.18.0-1_riscv64.deb
2023-12-26 10:46
378K
libcoq-aac-tactics_8.18.0-1_s390x.deb
2023-12-26 12:07
376K
libcoq-aac-tactics_8.19.0-1_amd64.deb
2024-04-27 18:03
383K
libcoq-aac-tactics_8.19.0-1_arm64.deb
2024-04-27 18:03
391K
libcoq-aac-tactics_8.19.0-1_armhf.deb
2024-04-27 18:08
381K
libcoq-aac-tactics_8.19.0-1_i386.deb
2024-04-27 13:39
375K
libcoq-aac-tactics_8.19.0-1_ppc64el.deb
2024-04-27 13:02
386K
libcoq-aac-tactics_8.19.0-1_riscv64.deb
2024-04-27 13:23
386K
libcoq-aac-tactics_8.19.0-1_s390x.deb
2024-04-27 18:36
384K
libcoq-aac-tactics_8.19.1-1+b1_amd64.deb
2024-06-15 06:49
389K
libcoq-aac-tactics_8.19.1-1+b1_arm64.deb
2024-06-15 06:49
397K
libcoq-aac-tactics_8.19.1-1+b1_armhf.deb
2024-06-15 06:59
388K
libcoq-aac-tactics_8.19.1-1+b1_i386.deb
2024-06-15 06:49
382K
libcoq-aac-tactics_8.19.1-1+b1_ppc64el.deb
2024-06-15 06:49
392K
libcoq-aac-tactics_8.19.1-1+b1_riscv64.deb
2024-06-15 06:59
391K
libcoq-aac-tactics_8.19.1-1+b1_s390x.deb
2024-06-15 17:01
389K
libcoq-aac-tactics_8.19.1-1_amd64.deb
2024-06-11 01:49
391K
libcoq-aac-tactics_8.19.1-1_arm64.deb
2024-06-11 01:49
399K
libcoq-aac-tactics_8.19.1-1_armhf.deb
2024-06-11 01:49
389K
libcoq-aac-tactics_8.19.1-1_i386.deb
2024-06-11 01:44
383K
libcoq-aac-tactics_8.19.1-1_ppc64el.deb
2024-06-11 01:49
393K
libcoq-aac-tactics_8.19.1-1_riscv64.deb
2024-06-11 01:59
393K
libcoq-aac-tactics_8.19.1-1_s390x.deb
2024-06-11 01:49
392K
libcoq-aac-tactics_8.19.1-2+b1_amd64.deb
2024-08-08 14:24
394K
libcoq-aac-tactics_8.19.1-2+b1_arm64.deb
2024-08-08 14:29
400K
libcoq-aac-tactics_8.19.1-2+b1_ppc64el.deb
2024-08-08 13:48
394K
libcoq-aac-tactics_8.19.1-2+b1_riscv64.deb
2024-08-08 18:17
398K
libcoq-aac-tactics_8.19.1-2+b1_s390x.deb
2024-08-03 23:23
389K
libcoq-aac-tactics_8.19.1-2+b2_amd64.deb
2024-08-20 23:48
393K
libcoq-aac-tactics_8.19.1-2+b2_arm64.deb
2024-08-20 23:48
400K
libcoq-aac-tactics_8.19.1-2+b2_ppc64el.deb
2024-08-20 23:48
394K
libcoq-aac-tactics_8.19.1-2+b2_riscv64.deb
2024-08-21 00:45
397K
libcoq-aac-tactics_8.19.1-2+b2_s390x.deb
2024-08-10 23:32
395K
libcoq-aac-tactics_8.19.1-2+b3_ppc64el.deb
2024-08-30 11:00
395K
libcoq-aac-tactics_8.19.1-2+b3_s390x.deb
2024-08-20 23:54
395K
libcoq-aac-tactics_8.19.1-2_amd64.deb
2024-08-03 12:14
388K
libcoq-aac-tactics_8.19.1-2_arm64.deb
2024-08-03 12:09
396K
libcoq-aac-tactics_8.19.1-2_armhf.deb
2024-08-03 12:15
387K
libcoq-aac-tactics_8.19.1-2_i386.deb
2024-08-03 12:09
382K
libcoq-aac-tactics_8.19.1-2_ppc64el.deb
2024-08-03 12:09
392K
libcoq-aac-tactics_8.19.1-2_riscv64.deb
2024-08-03 12:25
391K
libcoq-aac-tactics_8.19.1-2_s390x.deb
2024-08-03 13:41
389K
libcoq-aac-tactics_8.20.0-1+b1_amd64.deb
2025-01-28 12:31
385K
libcoq-aac-tactics_8.20.0-1+b1_arm64.deb
2025-01-28 16:38
391K
libcoq-aac-tactics_8.20.0-1+b1_ppc64el.deb
2025-01-28 11:29
386K
libcoq-aac-tactics_8.20.0-1+b1_riscv64.deb
2025-01-29 03:28
389K
libcoq-aac-tactics_8.20.0-1+b1_s390x.deb
2025-01-30 01:51
387K
libcoq-aac-tactics_8.20.0-1+b2_amd64.deb
2025-02-12 23:01
385K
libcoq-aac-tactics_8.20.0-1+b2_arm64.deb
2025-02-12 23:06
391K
libcoq-aac-tactics_8.20.0-1+b2_ppc64el.deb
2025-02-12 23:01
386K
libcoq-aac-tactics_8.20.0-1+b2_riscv64.deb
2025-02-13 00:33
389K
libcoq-aac-tactics_8.20.0-1+b2_s390x.deb
2025-02-13 05:49
386K
libcoq-aac-tactics_8.20.0-1+b3_amd64.deb
2025-02-17 19:15
385K
libcoq-aac-tactics_8.20.0-1+b3_arm64.deb
2025-02-17 19:20
391K
libcoq-aac-tactics_8.20.0-1+b3_ppc64el.deb
2025-02-17 19:15
386K
libcoq-aac-tactics_8.20.0-1+b3_riscv64.deb
2025-02-17 19:56
388K
libcoq-aac-tactics_8.20.0-1+b3_s390x.deb
2025-02-18 10:50
387K
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb
2025-06-14 21:48
385K
libcoq-aac-tactics_8.20.0-1+b4_arm64.deb
2025-06-15 01:33
391K
libcoq-aac-tactics_8.20.0-1+b4_ppc64el.deb
2025-06-15 02:13
385K
libcoq-aac-tactics_8.20.0-1+b4_riscv64.deb
2025-06-15 01:48
388K
libcoq-aac-tactics_8.20.0-1+b4_s390x.deb
2025-06-16 15:19
386K
libcoq-aac-tactics_8.20.0-1_amd64.deb
2024-11-20 09:16
385K
libcoq-aac-tactics_8.20.0-1_arm64.deb
2024-11-20 09:57
391K
libcoq-aac-tactics_8.20.0-1_ppc64el.deb
2024-11-20 09:52
386K
libcoq-aac-tactics_8.20.0-1_riscv64.deb
2024-11-20 09:37
388K
libcoq-aac-tactics_8.20.0-1_s390x.deb
2024-11-20 21:40
386K