Index of /ubuntu/pool/universe/c/coquelicot/
name
size
date
libcoq-coquelicot_3.4.3-1build9_amd64v3.deb
3.67M
2026-01-31 08:17:56
libcoq-coquelicot_3.4.3-1build9_amd64.deb
3.67M
2026-01-31 08:17:45
coquelicot_3.4.3-1build9.debian.tar.xz
2.5K
2026-01-28 00:59:09
coquelicot_3.4.3-1build9.dsc
2.0K
2026-01-28 00:59:09
libcoq-coquelicot_3.4.3-1build8_amd64v3.deb
3.67M
2026-01-06 00:09:07
libcoq-coquelicot_3.4.3-1build8_amd64.deb
3.67M
2026-01-06 00:08:54
coquelicot_3.4.3-1build8.debian.tar.xz
2.4K
2026-01-04 23:06:47
coquelicot_3.4.3-1build8.dsc
2.0K
2026-01-04 23:06:47
libcoq-coquelicot_3.4.3-1build5_amd64.deb
3.67M
2025-09-01 19:52:29
coquelicot_3.4.3-1build5.debian.tar.xz
2.4K
2025-08-31 19:42:11
coquelicot_3.4.3-1build5.dsc
2.0K
2025-08-31 19:42:11
libcoq-coquelicot_3.4.3-1build1_amd64.deb
3.68M
2025-02-20 04:20:11
coquelicot_3.4.3-1build1.debian.tar.xz
2.3K
2025-02-19 07:52:19
coquelicot_3.4.3-1build1.dsc
2.0K
2025-02-19 07:52:19
coquelicot_3.4.3.orig.tar.bz2
224.9K
2025-02-18 01:39:13
libcoq-coquelicot_3.4.1-1build5_amd64.deb
3.59M
2024-04-08 14:36:30
coquelicot_3.4.1-1build5.debian.tar.xz
2.3K
2024-04-08 07:57:40
coquelicot_3.4.1-1build5.dsc
2.1K
2024-04-08 07:57:40
coquelicot_3.4.1.orig.tar.gz
274.9K
2024-01-20 23:35:33
coquelicot_0.9.6-1ubuntu1_all.deb
287.5K
2018-03-02 10:53:34
coquelicot_0.9.6-1ubuntu1.debian.tar.xz
33.8K
2018-03-02 10:53:33
coquelicot_0.9.6-1ubuntu1.dsc
2.2K
2018-03-02 10:53:33
coquelicot_0.9.6.orig.tar.gz
187.1K
2016-12-20 23:18:27
coquelicot_0.9.5-1_all.deb
315.0K
2015-10-24 00:51:27
coquelicot_0.9.5-1.debian.tar.xz
33.6K
2015-10-23 21:36:35
coquelicot_0.9.5-1.dsc
2.3K
2015-10-23 21:36:35
coquelicot_0.9.5.orig.tar.gz
182.8K
2015-10-23 21:36:35
coquelicot_0.9.2-2_all.deb
274.3K
2013-06-17 12:33:39
coquelicot_0.9.2-2.debian.tar.gz
26.0K
2013-06-17 11:33:39
coquelicot_0.9.2-2.dsc
2.2K
2013-06-17 11:33:39
coquelicot_0.9.2.orig.tar.gz
170.7K
2013-06-17 11:33:39