| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| alt-ergo_0.95.2-3_amd64.deb | 1.5 MiB | 2024-May-08 16:22 |
| alt-ergo_1.30-1_amd64.deb | 2.3 MiB | 2024-May-15 17:19 |
| alt-ergo_2.0.0-3_amd64.deb | 3.9 MiB | 2024-May-07 16:50 |
| alt-ergo_2.0.0-3_i386.deb | 3.4 MiB | 2024-May-08 06:26 |
| libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb | 699.8 KiB | 2024-May-08 17:00 |