Index of /ubuntu/pool/universe/c/coq-equations/
name
size
date
libcoq-equations_1.3.1-8.20-1build8_amd64v3.deb
1.28M
2026-03-04 17:34:47
libcoq-equations_1.3.1-8.20-1build8_amd64.deb
1.28M
2026-03-04 17:34:40
coq-equations_1.3.1-8.20-1build8.debian.tar.xz
3.0K
2026-03-04 17:33:31
coq-equations_1.3.1-8.20-1build8.dsc
2.1K
2026-03-04 17:33:31
libcoq-equations_1.3.1-8.20-1build5_amd64.deb
1.28M
2025-06-20 17:40:40
coq-equations_1.3.1-8.20-1build5.dsc
2.1K
2025-06-20 13:22:26
coq-equations_1.3.1-8.20-1build5.debian.tar.xz
2.9K
2025-06-20 13:22:25
libcoq-equations_1.3.1-8.20-1build4_amd64.deb
1.29M
2025-02-19 07:53:21
coq-equations_1.3.1-8.20-1build4.debian.tar.xz
2.8K
2025-02-19 07:52:17
coq-equations_1.3.1-8.20-1build4.dsc
2.1K
2025-02-19 07:52:17
coq-equations_1.3.1-8.20.orig.tar.gz
1.05M
2024-11-20 18:47:28
libcoq-equations_1.3-8.18-1build3_amd64.deb
1.52M
2024-04-08 10:59:16
coq-equations_1.3-8.18-1build3.debian.tar.xz
2.8K
2024-04-08 07:57:39
coq-equations_1.3-8.18-1build3.dsc
2.2K
2024-04-08 07:57:39
coq-equations_1.3-8.18.orig.tar.gz
1.05M
2023-12-23 17:16:59