| ../ |
- |
- |
| aac-tactics_0.4-2.debian.tar.xz |
2.8 KB |
2014-01-20 11:09 |
| aac-tactics_0.4-2.dsc |
2.1 KB |
2014-01-20 11:09 |
| aac-tactics_0.4-5build2.debian.tar.xz |
3.0 KB |
2015-11-05 00:30 |
| aac-tactics_0.4-5build2.dsc |
1.9 KB |
2015-11-05 00:30 |
| aac-tactics_0.4.orig.tar.gz |
75.5 KB |
2013-12-06 17:23 |
| aac-tactics_8.11.0-1.debian.tar.xz |
3.4 KB |
2020-03-18 18:28 |
| aac-tactics_8.11.0-1.dsc |
2.1 KB |
2020-03-18 18:28 |
| aac-tactics_8.11.0.orig.tar.gz |
63.8 KB |
2020-03-18 18:28 |
| aac-tactics_8.15.0-1.debian.tar.xz |
3.5 KB |
2022-02-06 17:19 |
| aac-tactics_8.15.0-1.dsc |
2.2 KB |
2022-02-06 17:19 |
| aac-tactics_8.15.0.orig.tar.gz |
66.5 KB |
2022-02-06 17:19 |
| aac-tactics_8.18.0-1build3.debian.tar.xz |
3.8 KB |
2024-04-08 07:57 |
| aac-tactics_8.18.0-1build3.dsc |
2.1 KB |
2024-04-08 07:57 |
| aac-tactics_8.18.0.orig.tar.gz |
73.8 KB |
2023-12-21 23:52 |
| aac-tactics_8.20.0-1build3.debian.tar.xz |
3.9 KB |
2025-02-18 21:25 |
| aac-tactics_8.20.0-1build3.dsc |
2.1 KB |
2025-02-18 21:25 |
| aac-tactics_8.20.0-1build4.debian.tar.xz |
3.9 KB |
2025-06-19 17:20 |
| aac-tactics_8.20.0-1build4.dsc |
2.1 KB |
2025-06-19 17:20 |
| aac-tactics_8.20.0-1build8.debian.tar.xz |
4.0 KB |
2026-03-04 08:35 |
| aac-tactics_8.20.0-1build8.dsc |
2.1 KB |
2026-03-04 08:35 |
| aac-tactics_8.20.0.orig.tar.gz |
75.8 KB |
2024-11-20 18:47 |
| aac-tactics_8.6.1-2.debian.tar.xz |
3.2 KB |
2017-11-01 13:05 |
| aac-tactics_8.6.1-2.dsc |
2.2 KB |
2017-11-01 13:05 |
| aac-tactics_8.6.1.orig.tar.gz |
73.3 KB |
2016-12-30 17:13 |
| libaac-tactics-coq_0.4-2_all.deb |
207.5 KB |
2014-01-20 11:33 |
| libaac-tactics-coq_0.4-5build2_all.deb |
207.7 KB |
2015-11-05 00:33 |
| libaac-tactics-coq_8.11.0-1_all.deb |
237.8 KB |
2020-03-18 19:48 |
| libaac-tactics-coq_8.15.0-1_all.deb |
282.3 KB |
2022-02-06 19:04 |
| libaac-tactics-coq_8.6.1-2_all.deb |
215.6 KB |
2017-11-01 13:05 |
| libaac-tactics-ocaml-dev_0.4-2_amd64.deb |
42.9 KB |
2014-01-20 11:33 |
| libaac-tactics-ocaml-dev_0.4-2_i386.deb |
43.3 KB |
2014-01-20 11:33 |
| libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb |
43.0 KB |
2015-11-05 00:33 |
| libaac-tactics-ocaml-dev_0.4-5build2_i386.deb |
43.0 KB |
2015-11-05 00:34 |
| libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb |
37.7 KB |
2020-03-18 19:48 |
| libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb |
39.8 KB |
2022-02-06 19:04 |
| libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb |
36.8 KB |
2017-11-01 13:05 |
| libaac-tactics-ocaml-dev_8.6.1-2_i386.deb |
36.8 KB |
2017-11-01 13:05 |
| libaac-tactics-ocaml_0.4-2_amd64.deb |
125.1 KB |
2014-01-20 11:33 |
| libaac-tactics-ocaml_0.4-2_i386.deb |
114.2 KB |
2014-01-20 11:33 |
| libaac-tactics-ocaml_0.4-5build2_amd64.deb |
117.2 KB |
2015-11-05 00:33 |
| libaac-tactics-ocaml_0.4-5build2_i386.deb |
109.3 KB |
2015-11-05 00:34 |
| libaac-tactics-ocaml_8.11.0-1_amd64.deb |
104.4 KB |
2020-03-18 19:48 |
| libaac-tactics-ocaml_8.15.0-1_amd64.deb |
127.7 KB |
2022-02-06 19:04 |
| libaac-tactics-ocaml_8.6.1-2_amd64.deb |
117.5 KB |
2017-11-01 13:05 |
| libaac-tactics-ocaml_8.6.1-2_i386.deb |
108.2 KB |
2017-11-01 13:05 |
| libcoq-aac-tactics_8.18.0-1build3_amd64.deb |
411.8 KB |
2024-04-08 07:57 |
| libcoq-aac-tactics_8.20.0-1build3_amd64.deb |
420.8 KB |
2025-02-18 21:25 |
| libcoq-aac-tactics_8.20.0-1build4_amd64.deb |
419.6 KB |
2025-06-20 04:01 |
| libcoq-aac-tactics_8.20.0-1build4_arm64.deb |
434.4 KB |
2025-06-20 04:01 |
| libcoq-aac-tactics_8.20.0-1build8_amd64.deb |
419.5 KB |
2026-03-04 08:35 |
| libcoq-aac-tactics_8.20.0-1build8_amd64v3.deb |
419.5 KB |
2026-03-04 08:35 |
| libcoq-aac-tactics_8.20.0-1build8_arm64.deb |
433.9 KB |
2026-03-04 08:35 |