| 📂 Parent Directory | | |
| 📄 aac-tactics_0.4-2.debian.tar.xz | 2014-01-20 11:09:02 | 2.82 KB |
| 📄 aac-tactics_0.4-2.dsc | 2014-01-20 11:09:02 | 2.14 KB |
| 📄 aac-tactics_0.4-5build2.debian.tar.xz | 2015-11-05 00:30:28 | 3 KB |
| 📄 aac-tactics_0.4-5build2.dsc | 2015-11-05 00:30:28 | 1.87 KB |
| 📄 aac-tactics_0.4.orig.tar.gz | 2013-12-06 17:23:26 | 75.52 KB |
| 📄 aac-tactics_8.11.0-1.debian.tar.xz | 2020-03-18 18:28:16 | 3.44 KB |
| 📄 aac-tactics_8.11.0-1.dsc | 2020-03-18 18:28:16 | 2.13 KB |
| 📄 aac-tactics_8.11.0.orig.tar.gz | 2020-03-18 18:28:16 | 63.83 KB |
| 📄 aac-tactics_8.15.0-1.debian.tar.xz | 2022-02-06 17:19:13 | 3.52 KB |
| 📄 aac-tactics_8.15.0-1.dsc | 2022-02-06 17:19:13 | 2.16 KB |
| 📄 aac-tactics_8.15.0.orig.tar.gz | 2022-02-06 17:19:13 | 66.51 KB |
| 📄 aac-tactics_8.18.0-1build3.debian.tar.xz | 2024-04-08 07:57:42 | 3.81 KB |
| 📄 aac-tactics_8.18.0-1build3.dsc | 2024-04-08 07:57:42 | 2.13 KB |
| 📄 aac-tactics_8.18.0.orig.tar.gz | 2023-12-21 23:52:05 | 73.83 KB |
| 📄 aac-tactics_8.19.1-2build3.debian.tar.xz | 2024-09-07 15:43:56 | 3.83 KB |
| 📄 aac-tactics_8.19.1-2build3.dsc | 2024-09-07 15:43:56 | 2.05 KB |
| 📄 aac-tactics_8.19.1.orig.tar.gz | 2024-06-11 17:54:04 | 75.18 KB |
| 📄 aac-tactics_8.20.0-1build3.debian.tar.xz | 2025-02-18 21:25:10 | 3.85 KB |
| 📄 aac-tactics_8.20.0-1build3.dsc | 2025-02-18 21:25:10 | 2.05 KB |
| 📄 aac-tactics_8.20.0.orig.tar.gz | 2024-11-20 18:47:30 | 75.85 KB |
| 📄 aac-tactics_8.6.1-2.debian.tar.xz | 2017-11-01 13:05:16 | 3.17 KB |
| 📄 aac-tactics_8.6.1-2.dsc | 2017-11-01 13:05:16 | 2.19 KB |
| 📄 aac-tactics_8.6.1.orig.tar.gz | 2016-12-30 17:13:27 | 73.31 KB |
| 📄 libaac-tactics-coq_0.4-2_all.deb | 2014-01-20 11:33:29 | 207.55 KB |
| 📄 libaac-tactics-coq_0.4-5build2_all.deb | 2015-11-05 00:33:49 | 207.73 KB |
| 📄 libaac-tactics-coq_8.11.0-1_all.deb | 2020-03-18 19:48:46 | 237.75 KB |
| 📄 libaac-tactics-coq_8.15.0-1_all.deb | 2022-02-06 19:04:57 | 282.32 KB |
| 📄 libaac-tactics-coq_8.6.1-2_all.deb | 2017-11-01 13:05:26 | 215.62 KB |
| 📄 libaac-tactics-ocaml-dev_0.4-2_amd64.deb | 2014-01-20 11:33:28 | 42.89 KB |
| 📄 libaac-tactics-ocaml-dev_0.4-2_i386.deb | 2014-01-20 11:33:57 | 43.33 KB |
| 📄 libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb | 2015-11-05 00:33:49 | 43 KB |
| 📄 libaac-tactics-ocaml-dev_0.4-5build2_i386.deb | 2015-11-05 00:34:15 | 43 KB |
| 📄 libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb | 2020-03-18 19:48:46 | 37.72 KB |
| 📄 libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb | 2022-02-06 19:04:56 | 39.82 KB |
| 📄 libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb | 2017-11-01 13:05:26 | 36.8 KB |
| 📄 libaac-tactics-ocaml-dev_8.6.1-2_i386.deb | 2017-11-01 13:05:29 | 36.8 KB |
| 📄 libaac-tactics-ocaml_0.4-2_amd64.deb | 2014-01-20 11:33:28 | 125.11 KB |
| 📄 libaac-tactics-ocaml_0.4-2_i386.deb | 2014-01-20 11:33:57 | 114.22 KB |
| 📄 libaac-tactics-ocaml_0.4-5build2_amd64.deb | 2015-11-05 00:33:46 | 117.17 KB |
| 📄 libaac-tactics-ocaml_0.4-5build2_i386.deb | 2015-11-05 00:34:14 | 109.33 KB |
| 📄 libaac-tactics-ocaml_8.11.0-1_amd64.deb | 2020-03-18 19:48:46 | 104.39 KB |
| 📄 libaac-tactics-ocaml_8.15.0-1_amd64.deb | 2022-02-06 19:04:56 | 127.72 KB |
| 📄 libaac-tactics-ocaml_8.6.1-2_amd64.deb | 2017-11-01 13:05:26 | 117.48 KB |
| 📄 libaac-tactics-ocaml_8.6.1-2_i386.deb | 2017-11-01 13:05:28 | 108.2 KB |
| 📄 libcoq-aac-tactics_8.18.0-1build3_amd64.deb | 2024-04-08 07:57:47 | 411.79 KB |
| 📄 libcoq-aac-tactics_8.19.1-2build3_amd64.deb | 2024-09-07 15:44:01 | 429.82 KB |
| 📄 libcoq-aac-tactics_8.20.0-1build3_amd64.deb | 2025-02-18 21:25:34 | 420.82 KB |
