| name | size | date |
|---|---|---|
| libcoq-aac-tactics_8.20.0-1build8_amd64.deb | 419.5K | 2026-03-04 08:35:50 |
| libcoq-aac-tactics_8.20.0-1build4_amd64.deb | 419.6K | 2025-06-20 04:01:49 |
| libcoq-aac-tactics_8.20.0-1build3_amd64.deb | 420.8K | 2025-02-18 21:25:34 |
| libcoq-aac-tactics_8.18.0-1build3_amd64.deb | 411.8K | 2024-04-08 07:57:47 |
| libaac-tactics-coq_8.15.0-1_all.deb | 282.3K | 2022-02-06 19:04:57 |
| libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb | 39.8K | 2022-02-06 19:04:56 |
| libaac-tactics-ocaml_8.15.0-1_amd64.deb | 127.7K | 2022-02-06 19:04:56 |
| libaac-tactics-coq_8.11.0-1_all.deb | 237.8K | 2020-03-18 19:48:46 |
| libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb | 37.7K | 2020-03-18 19:48:46 |
| libaac-tactics-ocaml_8.11.0-1_amd64.deb | 104.4K | 2020-03-18 19:48:46 |