/ubuntu-archive/ubuntu/pool/universe/c/coquelicot/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| coquelicot_0.9.2-2_all.deb | 274.3 KiB | 2013-Jun-17 15:33 |
| coquelicot_0.9.5-1_all.deb | 315.0 KiB | 2015-Oct-24 03:51 |
| coquelicot_0.9.6-1ubuntu1_all.deb | 287.5 KiB | 2018-Mar-02 13:53 |
| libcoq-coquelicot_3.4.1-1build5_amd64.deb | 3.6 MiB | 2024-Apr-08 17:36 |
| libcoq-coquelicot_3.4.3-1build10_amd64.deb | 3.7 MiB | 2026-Mar-07 22:01 |
| libcoq-coquelicot_3.4.3-1build1_amd64.deb | 3.7 MiB | 2025-Feb-20 07:20 |
| libcoq-coquelicot_3.4.3-1build5_amd64.deb | 3.7 MiB | 2025-Sep-01 22:52 |