Home
/
ubuntu
/
pool
/
universe
/
c
/
coquelicot
File Name
Size
Date
..
—
—
coquelicot_0.9.2-2.debian.tar.gz
26.02KB
2013-06-17 14:33:39
coquelicot_0.9.2-2.dsc
2.23KB
2013-06-17 14:33:39
coquelicot_0.9.2-2_all.deb
274.25KB
2013-06-17 15:33:39
coquelicot_0.9.2.orig.tar.gz
170.68KB
2013-06-17 14:33:39
coquelicot_0.9.5-1.debian.tar.xz
33.57KB
2015-10-24 00:36:35
coquelicot_0.9.5-1.dsc
2.28KB
2015-10-24 00:36:35
coquelicot_0.9.5-1_all.deb
314.98KB
2015-10-24 03:51:27
coquelicot_0.9.5.orig.tar.gz
182.81KB
2015-10-24 00:36:35
coquelicot_0.9.6-1ubuntu1.debian.tar.xz
33.81KB
2018-03-02 12:53:33
coquelicot_0.9.6-1ubuntu1.dsc
2.16KB
2018-03-02 12:53:33
coquelicot_0.9.6-1ubuntu1_all.deb
287.48KB
2018-03-02 12:53:34
coquelicot_0.9.6.orig.tar.gz
187.09KB
2016-12-21 01:18:27
coquelicot_3.2.0-8build2.debian.tar.xz
2.39KB
2023-02-16 20:50:16
coquelicot_3.2.0-8build2.dsc
2.04KB
2023-02-16 20:50:16
coquelicot_3.2.0.orig.tar.gz
271.23KB
2022-05-13 10:20:49
coquelicot_3.4.1-1build5.debian.tar.xz
2.27KB
2024-04-08 10:57:40
coquelicot_3.4.1-1build5.dsc
2.11KB
2024-04-08 10:57:40
coquelicot_3.4.1-3build6.debian.tar.xz
2.29KB
2024-09-17 18:51:42
coquelicot_3.4.1-3build6.dsc
2.04KB
2024-09-17 18:51:42
coquelicot_3.4.1.orig.tar.gz
274.93KB
2024-01-21 01:35:33
coquelicot_3.4.2-1build1.debian.tar.xz
2.28KB
2024-11-21 09:16:33
coquelicot_3.4.2-1build1.dsc
2.04KB
2024-11-21 09:16:33
coquelicot_3.4.2.orig.tar.bz2
224.86KB
2024-11-20 20:47:26
libcoq-coquelicot_3.2.0-8build2_amd64.deb
3.57MB
2023-02-16 20:50:27
libcoq-coquelicot_3.4.1-1build5_amd64.deb
3.59MB
2024-04-08 17:36:30
libcoq-coquelicot_3.4.1-3build6_amd64.deb
3.68MB
2024-09-20 02:39:49
libcoq-coquelicot_3.4.2-1build1_amd64.deb
3.68MB
2024-11-21 16:01:18
10" >