Triple - Together we Inspire
News
About us
Contact
Careers
/pool/universe/c/coquelicot/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
coquelicot_0.9.2-2.debian.tar.gz
26643
2013-Jun-17 11:33
coquelicot_0.9.2-2.dsc
2283
2013-Jun-17 11:33
coquelicot_0.9.2-2_all.deb
280832
2013-Jun-17 12:33
coquelicot_0.9.2.orig.tar.gz
174781
2013-Jun-17 11:33
coquelicot_0.9.5-1.debian.tar.xz
34380
2015-Oct-23 21:36
coquelicot_0.9.5-1.dsc
2339
2015-Oct-23 21:36
coquelicot_0.9.5-1_all.deb
322536
2015-Oct-24 00:51
coquelicot_0.9.5.orig.tar.gz
187194
2015-Oct-23 21:36
coquelicot_0.9.6-1ubuntu1.debian.tar.xz
34620
2018-Mar-02 10:53
coquelicot_0.9.6-1ubuntu1.dsc
2211
2018-Mar-02 10:53
coquelicot_0.9.6-1ubuntu1_all.deb
294376
2018-Mar-02 10:53
coquelicot_0.9.6.orig.tar.gz
191585
2016-Dec-20 23:18
coquelicot_3.2.0-8build2.debian.tar.xz
2452
2023-Feb-16 18:50
coquelicot_3.2.0-8build2.dsc
2084
2023-Feb-16 18:50
coquelicot_3.2.0.orig.tar.gz
277736
2022-May-13 07:20
coquelicot_3.3.1-1build1.debian.tar.xz
1952
2023-Jul-24 17:37
coquelicot_3.3.1-1build1.dsc
2084
2023-Jul-24 17:37
coquelicot_3.3.1.orig.tar.gz
279767
2023-Jun-14 23:24
coquelicot_3.4.1-1build5.debian.tar.xz
2324
2024-Apr-08 07:57
coquelicot_3.4.1-1build5.dsc
2163
2024-Apr-08 07:57
coquelicot_3.4.1-2build4.debian.tar.xz
2200
2024-Jun-15 14:43
coquelicot_3.4.1-2build4.dsc
2084
2024-Jun-15 14:43
coquelicot_3.4.1.orig.tar.gz
281532
2024-Jan-20 23:35
libcoq-coquelicot_3.2.0-8build2_amd64.deb
3747112
2023-Feb-16 18:50
libcoq-coquelicot_3.3.1-1build1_amd64.deb
3771238
2023-Jul-25 17:19
libcoq-coquelicot_3.4.1-1build5_amd64.deb
3768322
2024-Apr-08 14:36
libcoq-coquelicot_3.4.1-2build4_amd64.deb
3863652
2024-Jun-15 21:48