| Parent directory/ | - | - |
| aac-tactics_0.4-3.debian.tar.xz | 2.9 KiB | 02 Dec 2023 05:25:44 +0000 |
| aac-tactics_0.4-3.dsc | 2.2 KiB | 02 Dec 2023 05:25:45 +0000 |
| aac-tactics_0.4.orig.tar.gz | 75.5 KiB | 02 Dec 2023 05:25:45 +0000 |
| aac-tactics_8.6.1-1.debian.tar.xz | 3.1 KiB | 01 Dec 2023 13:47:48 +0000 |
| aac-tactics_8.6.1-1.dsc | 2.2 KiB | 01 Dec 2023 13:47:48 +0000 |
| aac-tactics_8.6.1.orig.tar.gz | 73.3 KiB | 01 Dec 2023 13:47:48 +0000 |
| libaac-tactics-coq_0.4-3_all.deb | 208.8 KiB | 02 Dec 2023 05:25:45 +0000 |
| libaac-tactics-coq_8.6.1-1_all.deb | 217.1 KiB | 01 Dec 2023 13:47:49 +0000 |
| libaac-tactics-ocaml-dev_0.4-3_amd64.deb | 44.3 KiB | 02 Dec 2023 05:25:45 +0000 |
| libaac-tactics-ocaml-dev_0.4-3_armel.deb | 44.2 KiB | 02 Dec 2023 05:25:46 +0000 |
| libaac-tactics-ocaml-dev_0.4-3_armhf.deb | 44.3 KiB | 02 Dec 2023 05:25:46 +0000 |
| libaac-tactics-ocaml-dev_0.4-3_i386.deb | 43.9 KiB | 02 Dec 2023 05:25:46 +0000 |
| libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb | 38.1 KiB | 01 Dec 2023 13:47:49 +0000 |
| libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb | 38.1 KiB | 01 Dec 2023 13:47:49 +0000 |
| libaac-tactics-ocaml-dev_8.6.1-1_i386.deb | 38.1 KiB | 01 Dec 2023 13:47:49 +0000 |
| libaac-tactics-ocaml_0.4-3_amd64.deb | 125.3 KiB | 02 Dec 2023 05:25:46 +0000 |
| libaac-tactics-ocaml_0.4-3_armel.deb | 120.2 KiB | 02 Dec 2023 05:25:46 +0000 |
| libaac-tactics-ocaml_0.4-3_armhf.deb | 121.9 KiB | 02 Dec 2023 05:25:47 +0000 |
| libaac-tactics-ocaml_0.4-3_i386.deb | 114.9 KiB | 02 Dec 2023 05:25:47 +0000 |
| libaac-tactics-ocaml_8.6.1-1_amd64.deb | 107.7 KiB | 01 Dec 2023 13:47:50 +0000 |
| libaac-tactics-ocaml_8.6.1-1_armhf.deb | 114.8 KiB | 01 Dec 2023 13:47:50 +0000 |
| libaac-tactics-ocaml_8.6.1-1_i386.deb | 101.3 KiB | 01 Dec 2023 13:47:50 +0000 |
