Index of /ubuntu/pool/universe/c/coqeal/
name
size
date
libcoq-coqeal_2.1.0-1build8_amd64v3.deb
6.16M
2026-02-01 05:28:02
libcoq-coqeal_2.1.0-1build8_amd64.deb
6.16M
2026-02-01 05:27:44
coqeal_2.1.0-1build8.debian.tar.xz
2.5K
2026-01-28 08:18:13
coqeal_2.1.0-1build8.dsc
2.1K
2026-01-28 08:18:13
libcoq-coqeal_2.1.0-1build7_amd64v3.deb
6.16M
2026-01-06 13:33:40
libcoq-coqeal_2.1.0-1build7_amd64.deb
6.16M
2026-01-06 13:33:35
coqeal_2.1.0-1build7.debian.tar.xz
2.5K
2026-01-04 23:06:46
coqeal_2.1.0-1build7.dsc
2.1K
2026-01-04 23:06:46
libcoq-coqeal_2.1.0-1build3_amd64.deb
6.16M
2025-09-02 13:04:06
coqeal_2.1.0-1build3.debian.tar.xz
2.5K
2025-08-31 19:42:09
coqeal_2.1.0-1build3.dsc
2.1K
2025-08-31 19:42:09
coqeal_2.1.0.orig.tar.gz
221.4K
2025-05-01 16:23:24
libcoq-coqeal_2.0.3-1build6_amd64.deb
5.92M
2025-02-20 17:00:17
coqeal_2.0.3-1build6.debian.tar.xz
2.5K
2025-02-19 07:52:06
coqeal_2.0.3-1build6.dsc
2.1K
2025-02-19 07:52:06
coqeal_2.0.3.orig.tar.gz
211.9K
2024-12-18 23:41:43
libcoq-coqeal_2.0.1-1build5_amd64.deb
5.26M
2024-04-09 07:42:31
coqeal_2.0.1-1build5.debian.tar.xz
2.5K
2024-04-08 07:57:38
coqeal_2.0.1-1build5.dsc
2.2K
2024-04-08 07:57:38
coqeal_2.0.1.orig.tar.gz
211.7K
2024-01-21 05:45:48