| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb | 38.1 KiB | 2024-May-15 17:29 |
| libaac-tactics-ocaml-dev_0.4-3_amd64.deb | 44.3 KiB | 2024-May-08 15:09 |
| libaac-tactics-ocaml_8.6.1-1_amd64.deb | 107.7 KiB | 2024-May-15 16:46 |
| libaac-tactics-ocaml_0.4-3_amd64.deb | 125.3 KiB | 2024-May-08 14:44 |
| libaac-tactics-coq_0.4-3_all.deb | 208.8 KiB | 2024-May-08 16:02 |
| libaac-tactics-coq_8.6.1-1_all.deb | 217.1 KiB | 2024-May-15 15:00 |