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