|
📁 ../
|
- |
- |
|
📄 aac-tactics_0.4-2.debian.tar.xz
|
2884 bytes
|
2014-01-20 15:09:02 |
|
📄 aac-tactics_0.4-2.dsc
|
2191 bytes
|
2014-01-20 15:09:02 |
|
📄 aac-tactics_0.4-5build2.debian.tar.xz
|
3076 bytes
|
2015-11-05 03:30:28 |
|
📄 aac-tactics_0.4-5build2.dsc
|
1914 bytes
|
2015-11-05 03:30:28 |
|
📄 aac-tactics_0.4.orig.tar.gz
|
77336 bytes
|
2013-12-06 21:23:26 |
|
📄 aac-tactics_8.11.0-1.debian.tar.xz
|
3520 bytes
|
2020-03-18 21:28:16 |
|
📄 aac-tactics_8.11.0-1.dsc
|
2178 bytes
|
2020-03-18 21:28:16 |
|
📄 aac-tactics_8.11.0.orig.tar.gz
|
65363 bytes
|
2020-03-18 21:28:16 |
|
📄 aac-tactics_8.15.0-1.debian.tar.xz
|
3600 bytes
|
2022-02-06 20:19:13 |
|
📄 aac-tactics_8.15.0-1.dsc
|
2209 bytes
|
2022-02-06 20:19:13 |
|
📄 aac-tactics_8.15.0.orig.tar.gz
|
68103 bytes
|
2022-02-06 20:19:13 |
|
📄 aac-tactics_8.18.0-1build3.debian.tar.xz
|
3904 bytes
|
2024-04-08 10:57:42 |
|
📄 aac-tactics_8.18.0-1build3.dsc
|
2182 bytes
|
2024-04-08 10:57:42 |
|
📄 aac-tactics_8.18.0.orig.tar.gz
|
75607 bytes
|
2023-12-22 02:52:05 |
|
📄 aac-tactics_8.20.0-1build3.debian.tar.xz
|
3944 bytes
|
2025-02-19 00:25:10 |
|
📄 aac-tactics_8.20.0-1build3.dsc
|
2103 bytes
|
2025-02-19 00:25:10 |
|
📄 aac-tactics_8.20.0-1build4.debian.tar.xz
|
3968 bytes
|
2025-06-19 20:20:21 |
|
📄 aac-tactics_8.20.0-1build4.dsc
|
2103 bytes
|
2025-06-19 20:20:21 |
|
📄 aac-tactics_8.20.0.orig.tar.gz
|
77668 bytes
|
2024-11-20 21:47:30 |
|
📄 aac-tactics_8.6.1-2.debian.tar.xz
|
3248 bytes
|
2017-11-01 16:05:16 |
|
📄 aac-tactics_8.6.1-2.dsc
|
2238 bytes
|
2017-11-01 16:05:16 |
|
📄 aac-tactics_8.6.1.orig.tar.gz
|
75073 bytes
|
2016-12-30 20:13:27 |
|
📄 libaac-tactics-coq_0.4-2_all.deb
|
212528 bytes
|
2014-01-20 15:33:29 |
|
📄 libaac-tactics-coq_0.4-5build2_all.deb
|
212712 bytes
|
2015-11-05 03:33:49 |
|
📄 libaac-tactics-coq_8.11.0-1_all.deb
|
243456 bytes
|
2020-03-18 22:48:46 |
|
📄 libaac-tactics-coq_8.15.0-1_all.deb
|
289098 bytes
|
2022-02-06 22:04:57 |
|
📄 libaac-tactics-coq_8.6.1-2_all.deb
|
220796 bytes
|
2017-11-01 16:05:26 |
|
📄 libaac-tactics-ocaml-dev_0.4-2_amd64.deb
|
43922 bytes
|
2014-01-20 15:33:28 |
|
📄 libaac-tactics-ocaml-dev_0.4-2_i386.deb
|
44374 bytes
|
2014-01-20 15:33:57 |
|
📄 libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb
|
44036 bytes
|
2015-11-05 03:33:49 |
|
📄 libaac-tactics-ocaml-dev_0.4-5build2_i386.deb
|
44028 bytes
|
2015-11-05 03:34:15 |
|
📄 libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb
|
38624 bytes
|
2020-03-18 22:48:46 |
|
📄 libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
|
40776 bytes
|
2022-02-06 22:04:56 |
|
📄 libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
|
37684 bytes
|
2017-11-01 16:05:26 |
|
📄 libaac-tactics-ocaml-dev_8.6.1-2_i386.deb
|
37688 bytes
|
2017-11-01 16:05:29 |
|
📄 libaac-tactics-ocaml_0.4-2_amd64.deb
|
128116 bytes
|
2014-01-20 15:33:28 |
|
📄 libaac-tactics-ocaml_0.4-2_i386.deb
|
116964 bytes
|
2014-01-20 15:33:57 |
|
📄 libaac-tactics-ocaml_0.4-5build2_amd64.deb
|
119986 bytes
|
2015-11-05 03:33:46 |
|
📄 libaac-tactics-ocaml_0.4-5build2_i386.deb
|
111950 bytes
|
2015-11-05 03:34:14 |
|
📄 libaac-tactics-ocaml_8.11.0-1_amd64.deb
|
106896 bytes
|
2020-03-18 22:48:46 |
|
📄 libaac-tactics-ocaml_8.15.0-1_amd64.deb
|
130790 bytes
|
2022-02-06 22:04:56 |
|
📄 libaac-tactics-ocaml_8.6.1-2_amd64.deb
|
120296 bytes
|
2017-11-01 16:05:26 |
|
📄 libaac-tactics-ocaml_8.6.1-2_i386.deb
|
110796 bytes
|
2017-11-01 16:05:28 |
|
📄 libcoq-aac-tactics_8.18.0-1build3_amd64.deb
|
421676 bytes
|
2024-04-08 10:57:47 |
|
📄 libcoq-aac-tactics_8.20.0-1build3_amd64.deb
|
430918 bytes
|
2025-02-19 00:25:34 |
|
📄 libcoq-aac-tactics_8.20.0-1build4_amd64.deb
|
429676 bytes
|
2025-06-20 07:01:49 |