| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| libaac-tactics-coq_8.11.0-1_all.deb | 244928 | 2020-May-12 09:36 |
| libaac-tactics-ocaml_8.11.0-1+b1_amd64.deb | 109244 | 2020-May-12 09:36 |
| libaac-tactics-ocaml-dev_8.11.0-1+b1_amd64.deb | 39276 | 2020-May-12 09:36 |