Parent Directory/ | | - | Directory |
coquelicot_0.9.6-1.1.debian.tar.xz | 2018-Aug-09 21:06:00 | 33.6K | application/x-xz |
coquelicot_0.9.6-1.1.dsc | 2018-Aug-09 21:06:00 | 2.3K | application/octet-stream |
coquelicot_0.9.6-1.1_all.deb | 2018-Aug-09 21:59:14 | 289.5K | application/vnd.debian.binary-package |
coquelicot_0.9.6.orig.tar.gz | 2016-Dec-20 22:48:27 | 187.0K | application/gzip |
coquelicot_3.2.0-8.debian.tar.xz | 2023-Jan-26 20:44:32 | 2.3K | application/x-xz |
coquelicot_3.2.0-8.dsc | 2023-Jan-26 20:44:32 | 2.0K | application/octet-stream |
coquelicot_3.2.0.orig.tar.gz | 2022-May-10 02:11:11 | 271.2K | application/gzip |
coquelicot_3.4.1-1.debian.tar.xz | 2024-Jan-21 03:16:42 | 2.0K | application/x-xz |
coquelicot_3.4.1-1.dsc | 2024-Jan-21 03:16:42 | 2.0K | application/octet-stream |
coquelicot_3.4.1.orig.tar.gz | 2024-Jan-21 03:16:42 | 274.9K | application/gzip |
libcoq-coquelicot_3.2.0-8+b3_armhf.deb | 2023-May-22 18:08:02 | 3.1M | application/vnd.debian.binary-package |
libcoq-coquelicot_3.4.1-1+b2_armhf.deb | 2024-Mar-02 06:08:01 | 3.1M | application/vnd.debian.binary-package |