Index of /ubuntu/pool/universe/c/coq-equations/
name
size
date
libcoq-equations_1.3.1-8.20-1build7_amd64v3.deb
1.28M
2026-01-30 03:15:46
libcoq-equations_1.3.1-8.20-1build7_amd64.deb
1.28M
2026-01-30 03:15:36
coq-equations_1.3.1-8.20-1build7.debian.tar.xz
2.9K
2026-01-29 19:55:00
coq-equations_1.3.1-8.20-1build7.dsc
2.1K
2026-01-29 19:55:00
libcoq-equations_1.3.1-8.20-1build6_amd64v3.deb
1.28M
2026-01-06 00:09:09
libcoq-equations_1.3.1-8.20-1build6_amd64.deb
1.28M
2026-01-06 00:08:57
coq-equations_1.3.1-8.20-1build6.debian.tar.xz
2.9K
2026-01-05 20:02:52
coq-equations_1.3.1-8.20-1build6.dsc
2.1K
2026-01-05 20:02:52
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