| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| coquelicot_0.9.2-2_all.deb | 280832 | 2013-Jun-17 12:33 |
| coquelicot_0.9.6-1ubuntu1_all.deb | 294376 | 2018-Mar-02 10:53 |
| coquelicot_0.9.5-1_all.deb | 322536 | 2015-Oct-24 00:51 |
| libcoq-coquelicot_3.4.1-1build5_amd64.deb | 3768322 | 2024-Apr-08 14:36 |
| libcoq-coquelicot_3.4.3-1build2_amd64.deb | 3852164 | 2025-May-08 15:28 |
| libcoq-coquelicot_3.4.3-1build1_amd64.deb | 3855942 | 2025-Feb-20 04:20 |
| libcoq-coquelicot_3.4.1-3build6_amd64.deb | 3863634 | 2024-Sep-19 23:39 |