| .. |
| aac-tactics_0.4-2.debian.tar.xz |
2884 |
2025-04-21T14:02:00.654Z |
| aac-tactics_0.4-2.dsc |
2191 |
2025-04-21T14:02:01.569Z |
| aac-tactics_0.4-5build2.debian.tar.xz |
3076 |
2025-04-21T14:02:03.534Z |
| aac-tactics_0.4-5build2.dsc |
1914 |
2025-04-21T14:02:04.503Z |
| aac-tactics_0.4.orig.tar.gz |
77336 |
2025-04-21T14:02:05.817Z |
| aac-tactics_8.11.0-1.debian.tar.xz |
3520 |
2025-04-21T14:02:06.554Z |
| aac-tactics_8.11.0-1.dsc |
2178 |
2025-04-21T14:02:07.414Z |
| aac-tactics_8.11.0.orig.tar.gz |
65363 |
2025-04-21T14:02:08.490Z |
| aac-tactics_8.15.0-1.debian.tar.xz |
3600 |
2025-04-21T14:02:09.677Z |
| aac-tactics_8.15.0-1.dsc |
2209 |
2025-04-21T14:02:10.611Z |
| aac-tactics_8.15.0.orig.tar.gz |
68103 |
2025-04-21T14:02:12.074Z |
| aac-tactics_8.18.0-1build3.debian.tar.xz |
3904 |
2025-04-21T14:02:13.689Z |
| aac-tactics_8.18.0-1build3.dsc |
2182 |
2025-04-21T14:02:14.692Z |
| aac-tactics_8.18.0.orig.tar.gz |
75607 |
2025-04-21T14:02:16.058Z |
| aac-tactics_8.20.0-1build3.debian.tar.xz |
3944 |
2025-04-21T14:02:20.841Z |
| aac-tactics_8.20.0-1build3.dsc |
2103 |
2025-04-21T14:02:23.028Z |
| aac-tactics_8.20.0-1build4.debian.tar.xz |
3968 |
2025-06-19T20:22:56.457Z |
| aac-tactics_8.20.0-1build4.dsc |
2103 |
2025-06-19T20:22:56.463Z |
| aac-tactics_8.20.0-1build8.debian.tar.xz |
4080 |
2026-03-04T14:13:58.256Z |
| aac-tactics_8.20.0-1build8.dsc |
2103 |
2026-03-04T14:13:58.269Z |
| aac-tactics_8.20.0.orig.tar.gz |
77668 |
2025-04-21T14:02:23.762Z |
| aac-tactics_8.6.1-2.debian.tar.xz |
3248 |
2025-04-21T14:02:24.700Z |
| aac-tactics_8.6.1-2.dsc |
2238 |
2025-04-21T14:02:26.150Z |
| aac-tactics_8.6.1.orig.tar.gz |
75073 |
2025-04-21T14:02:27.412Z |
| libaac-tactics-coq_0.4-2_all.deb |
212528 |
2025-04-21T14:02:28.483Z |
| libaac-tactics-coq_0.4-5build2_all.deb |
212712 |
2025-04-21T14:02:29.943Z |
| libaac-tactics-coq_8.11.0-1_all.deb |
243456 |
2025-04-21T14:02:31.210Z |
| libaac-tactics-coq_8.15.0-1_all.deb |
289098 |
2025-04-21T14:02:32.415Z |
| libaac-tactics-coq_8.6.1-2_all.deb |
220796 |
2025-04-21T14:02:34.090Z |
| libaac-tactics-ocaml-dev_0.4-2_amd64.deb |
43922 |
2025-04-21T14:02:35.418Z |
| libaac-tactics-ocaml-dev_0.4-2_i386.deb |
44374 |
2025-04-21T14:02:36.323Z |
| libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb |
44036 |
2025-04-21T14:02:37.299Z |
| libaac-tactics-ocaml-dev_0.4-5build2_i386.deb |
44028 |
2025-04-21T14:02:38.603Z |
| libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb |
38624 |
2025-04-21T14:02:40.305Z |
| libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb |
40776 |
2025-04-21T14:02:41.793Z |
| libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb |
37684 |
2025-04-21T14:02:43.220Z |
| libaac-tactics-ocaml-dev_8.6.1-2_i386.deb |
37688 |
2025-04-21T14:02:44.487Z |
| libaac-tactics-ocaml_0.4-2_amd64.deb |
128116 |
2025-04-21T14:02:45.670Z |
| libaac-tactics-ocaml_0.4-2_i386.deb |
116964 |
2025-04-21T14:02:47.563Z |
| libaac-tactics-ocaml_0.4-5build2_amd64.deb |
119986 |
2025-04-21T14:02:48.403Z |
| libaac-tactics-ocaml_0.4-5build2_i386.deb |
111950 |
2025-04-21T14:02:49.517Z |
| libaac-tactics-ocaml_8.11.0-1_amd64.deb |
106896 |
2025-04-21T14:02:51.012Z |
| libaac-tactics-ocaml_8.15.0-1_amd64.deb |
130790 |
2025-04-21T14:02:52.261Z |
| libaac-tactics-ocaml_8.6.1-2_amd64.deb |
120296 |
2025-04-21T14:02:53.991Z |
| libaac-tactics-ocaml_8.6.1-2_i386.deb |
110796 |
2025-04-21T14:02:56.286Z |
| libcoq-aac-tactics_8.18.0-1build3_amd64.deb |
421676 |
2025-04-21T14:02:58.797Z |
| libcoq-aac-tactics_8.20.0-1build3_amd64.deb |
430918 |
2025-04-21T14:03:02.268Z |
| libcoq-aac-tactics_8.20.0-1build4_amd64.deb |
429676 |
2025-06-20T08:19:39.637Z |
| libcoq-aac-tactics_8.20.0-1build4_arm64.deb |
444810 |
2026-04-02T05:17:25.775Z |
| libcoq-aac-tactics_8.20.0-1build8_amd64.deb |
429554 |
2026-03-04T14:13:58.617Z |
| libcoq-aac-tactics_8.20.0-1build8_amd64v3.deb |
429614 |
2026-03-04T14:13:58.519Z |
| libcoq-aac-tactics_8.20.0-1build8_arm64.deb |
444276 |
2026-04-02T05:17:25.571Z |