|
../ |
— |
— |
|
aac-tactics_0.4-2.debian.tar.xz |
2.8 KB |
Jan 20, 2014 |
|
aac-tactics_0.4-2.dsc |
2.1 KB |
Jan 20, 2014 |
|
aac-tactics_0.4-5build2.debian.tar.xz |
3 KB |
Nov 4, 2015 |
|
aac-tactics_0.4-5build2.dsc |
1.9 KB |
Nov 4, 2015 |
|
aac-tactics_0.4.orig.tar.gz |
75.5 KB |
Dec 6, 2013 |
|
aac-tactics_8.11.0-1.debian.tar.xz |
3.4 KB |
Mar 18, 2020 |
|
aac-tactics_8.11.0-1.dsc |
2.1 KB |
Mar 18, 2020 |
|
aac-tactics_8.11.0.orig.tar.gz |
63.8 KB |
Mar 18, 2020 |
|
aac-tactics_8.15.0-1.debian.tar.xz |
3.5 KB |
Feb 6, 2022 |
|
aac-tactics_8.15.0-1.dsc |
2.2 KB |
Feb 6, 2022 |
|
aac-tactics_8.15.0.orig.tar.gz |
66.5 KB |
Feb 6, 2022 |
|
aac-tactics_8.18.0-1build3.debian.tar.xz |
3.8 KB |
Apr 8, 2024 |
|
aac-tactics_8.18.0-1build3.dsc |
2.1 KB |
Apr 8, 2024 |
|
aac-tactics_8.18.0.orig.tar.gz |
73.8 KB |
Dec 21, 2023 |
|
aac-tactics_8.20.0-1build3.debian.tar.xz |
3.9 KB |
Feb 18, 2025 |
|
aac-tactics_8.20.0-1build3.dsc |
2.1 KB |
Feb 18, 2025 |
|
aac-tactics_8.20.0-1build4.debian.tar.xz |
3.9 KB |
Jun 19, 2025 |
|
aac-tactics_8.20.0-1build4.dsc |
2.1 KB |
Jun 19, 2025 |
|
aac-tactics_8.20.0-1build8.debian.tar.xz |
4 KB |
Mar 4, 2026 |
|
aac-tactics_8.20.0-1build8.dsc |
2.1 KB |
Mar 4, 2026 |
|
aac-tactics_8.20.0.orig.tar.gz |
75.8 KB |
Nov 20, 2024 |
|
aac-tactics_8.6.1-2.debian.tar.xz |
3.2 KB |
Nov 1, 2017 |
|
aac-tactics_8.6.1-2.dsc |
2.2 KB |
Nov 1, 2017 |
|
aac-tactics_8.6.1.orig.tar.gz |
73.3 KB |
Dec 30, 2016 |
|
libaac-tactics-coq_0.4-2_all.deb |
207.5 KB |
Jan 20, 2014 |
|
libaac-tactics-coq_0.4-5build2_all.deb |
207.7 KB |
Nov 4, 2015 |
|
libaac-tactics-coq_8.11.0-1_all.deb |
237.8 KB |
Mar 18, 2020 |
|
libaac-tactics-coq_8.15.0-1_all.deb |
282.3 KB |
Feb 6, 2022 |
|
libaac-tactics-coq_8.6.1-2_all.deb |
215.6 KB |
Nov 1, 2017 |
|
libaac-tactics-ocaml_0.4-2_amd64.deb |
125.1 KB |
Jan 20, 2014 |
|
libaac-tactics-ocaml_0.4-2_i386.deb |
114.2 KB |
Jan 20, 2014 |
|
libaac-tactics-ocaml_0.4-5build2_amd64.deb |
117.2 KB |
Nov 4, 2015 |
|
libaac-tactics-ocaml_0.4-5build2_i386.deb |
109.3 KB |
Nov 4, 2015 |
|
libaac-tactics-ocaml_8.11.0-1_amd64.deb |
104.4 KB |
Mar 18, 2020 |
|
libaac-tactics-ocaml_8.15.0-1_amd64.deb |
127.7 KB |
Feb 6, 2022 |
|
libaac-tactics-ocaml_8.6.1-2_amd64.deb |
117.5 KB |
Nov 1, 2017 |
|
libaac-tactics-ocaml_8.6.1-2_i386.deb |
108.2 KB |
Nov 1, 2017 |
|
libaac-tactics-ocaml-dev_0.4-2_amd64.deb |
42.9 KB |
Jan 20, 2014 |
|
libaac-tactics-ocaml-dev_0.4-2_i386.deb |
43.3 KB |
Jan 20, 2014 |
|
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb |
43 KB |
Nov 4, 2015 |
|
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb |
43 KB |
Nov 4, 2015 |
|
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb |
37.7 KB |
Mar 18, 2020 |
|
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb |
39.8 KB |
Feb 6, 2022 |
|
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb |
36.8 KB |
Nov 1, 2017 |
|
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb |
36.8 KB |
Nov 1, 2017 |
|
libcoq-aac-tactics_8.18.0-1build3_amd64.deb |
411.8 KB |
Apr 8, 2024 |
|
libcoq-aac-tactics_8.20.0-1build3_amd64.deb |
420.8 KB |
Feb 18, 2025 |
|
libcoq-aac-tactics_8.20.0-1build4_amd64.deb |
419.6 KB |
Jun 20, 2025 |
|
libcoq-aac-tactics_8.20.0-1build8_amd64.deb |
419.5 KB |
Mar 4, 2026 |
|
libcoq-aac-tactics_8.20.0-1build8_amd64v3.deb |
419.5 KB |
Mar 4, 2026 |