| ../ | | - | Directory |
| aac-tactics_8.11.0-1.debian.tar.xz | 2020-Mar-17 23:16:48 | 3.4K | application/x-xz |
| aac-tactics_8.11.0-1.dsc | 2020-Mar-17 23:16:48 | 2.1K | application/octet-stream |
| aac-tactics_8.11.0.orig.tar.gz | 2020-Mar-17 23:16:48 | 63.8K | application/x-gtar-compressed |
| aac-tactics_8.9.0-1.debian.tar.xz | 2020-Feb-02 21:43:06 | 3.3K | application/x-xz |
| aac-tactics_8.9.0-1.dsc | 2020-Feb-02 21:43:06 | 1.9K | application/octet-stream |
| aac-tactics_8.9.0.orig.tar.gz | 2020-Feb-02 21:43:06 | 64.9K | application/x-gtar-compressed |
| libaac-tactics-coq_8.11.0-1_all.deb | 2020-Mar-17 23:36:49 | 239.1K | application/vnd.debian.binary-package |
| libaac-tactics-coq_8.9.0-1_all.deb | 2020-Feb-02 22:29:49 | 243.8K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb | 2020-Mar-17 23:36:49 | 38.0K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb | 2020-Mar-17 23:41:52 | 38.0K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml-dev_8.9.0-1+b1_amd64.deb | 2020-Feb-13 11:26:23 | 39.9K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml-dev_8.9.0-1+b1_arm64.deb | 2020-Feb-13 10:25:54 | 40.0K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml-dev_8.9.0-1+b1_armel.deb | 2020-Feb-13 10:25:56 | 39.9K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml-dev_8.9.0-1+b1_armhf.deb | 2020-Feb-13 10:25:52 | 39.9K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml-dev_8.9.0-1+b1_i386.deb | 2020-Feb-13 12:27:16 | 39.9K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml_8.11.0-1_amd64.deb | 2020-Mar-17 23:36:49 | 106.4K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml_8.11.0-1_arm64.deb | 2020-Mar-17 23:41:52 | 117.0K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml_8.9.0-1+b1_amd64.deb | 2020-Feb-13 11:26:23 | 117.8K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml_8.9.0-1+b1_arm64.deb | 2020-Feb-13 10:25:54 | 129.8K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml_8.9.0-1+b1_armel.deb | 2020-Feb-13 10:25:56 | 26.7K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml_8.9.0-1+b1_armhf.deb | 2020-Feb-13 10:25:52 | 115.0K | application/vnd.debian.binary-package |
| libaac-tactics-ocaml_8.9.0-1+b1_i386.deb | 2020-Feb-13 12:27:16 | 107.4K | application/vnd.debian.binary-package |