Index of /ubuntu/pool/universe/c/coqprime/
name
size
date
coqprime-tools_8.20.1-1build7_amd64v3.deb
182.9K
2026-01-30 09:03:44
libcoq-coqprime_8.20.1-1build7_amd64v3.deb
1.96M
2026-01-30 09:03:44
coqprime-tools_8.20.1-1build7_amd64.deb
182.8K
2026-01-30 09:03:16
libcoq-coqprime_8.20.1-1build7_amd64.deb
1.96M
2026-01-30 09:03:15
coqprime_8.20.1-1build7.debian.tar.xz
3.6K
2026-01-29 19:54:58
coqprime_8.20.1-1build7.dsc
2.1K
2026-01-29 19:54:58
coqprime-tools_8.20.1-1build6_amd64v3.deb
182.8K
2026-01-06 00:09:08
libcoq-coqprime_8.20.1-1build6_amd64v3.deb
1.96M
2026-01-06 00:09:08
coqprime-tools_8.20.1-1build6_amd64.deb
182.7K
2026-01-06 00:08:55
libcoq-coqprime_8.20.1-1build6_amd64.deb
1.96M
2026-01-06 00:08:55
coqprime_8.20.1-1build6.debian.tar.xz
3.6K
2026-01-05 20:02:51
coqprime_8.20.1-1build6.dsc
2.1K
2026-01-05 20:02:51
coqprime-tools_8.20.1-1build5_amd64.deb
180.6K
2025-06-20 17:40:39
libcoq-coqprime_8.20.1-1build5_amd64.deb
1.96M
2025-06-20 17:40:39
coqprime_8.20.1-1build5.debian.tar.xz
3.6K
2025-06-20 13:22:25
coqprime_8.20.1-1build5.dsc
2.1K
2025-06-20 13:22:25
coqprime-tools_8.20.1-1build4_amd64.deb
183.1K
2025-02-19 07:53:12
libcoq-coqprime_8.20.1-1build4_amd64.deb
1.96M
2025-02-19 07:53:12
coqprime_8.20.1-1build4.debian.tar.xz
3.5K
2025-02-19 07:52:11
coqprime_8.20.1-1build4.dsc
2.1K
2025-02-19 07:52:11
coqprime_8.20.1.orig.tar.gz
0.95M
2025-01-24 05:56:11
coqprime-tools_8.18-1build3_amd64.deb
175.0K
2024-04-08 10:59:15
libcoq-coqprime_8.18-1build3_amd64.deb
1.93M
2024-04-08 10:59:15
coqprime_8.18-1build3.debian.tar.xz
3.4K
2024-04-08 07:57:39
coqprime_8.18-1build3.dsc
2.2K
2024-04-08 07:57:39
coqprime_8.18.orig.tar.gz
0.95M
2023-12-23 17:16:58