/ubuntu/pool/universe/c/coq-reduction-effects/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-reduction-effects_0.1.5-1build3.debian.tar.xz1.9 KiB08.04.2024 07:57
coq-reduction-effects_0.1.5-1build3.dsc2.2 KiB08.04.2024 07:57
coq-reduction-effects_0.1.5-5build11.debian.tar.xz2.2 KiB03.03.2026 21:25
coq-reduction-effects_0.1.5-5build11.dsc2.2 KiB03.03.2026 21:25
coq-reduction-effects_0.1.5-5build7.debian.tar.xz2.1 KiB18.02.2025 21:25
coq-reduction-effects_0.1.5-5build7.dsc2.2 KiB18.02.2025 21:25
coq-reduction-effects_0.1.5-5build8.debian.tar.xz2.1 KiB20.06.2025 13:22
coq-reduction-effects_0.1.5-5build8.dsc2.2 KiB20.06.2025 13:22
coq-reduction-effects_0.1.5.orig.tar.gz10.1 KiB22.12.2023 17:26
coq-reduction-effects_0.1.6-4build4.debian.tar.xz2.4 KiB10.09.2026 07:03
coq-reduction-effects_0.1.6-4build4.dsc2.2 KiB10.09.2026 07:03
coq-reduction-effects_0.1.6-4build5.debian.tar.xz2.4 KiB18.09.2026 12:50
coq-reduction-effects_0.1.6-4build5.dsc2.2 KiB18.09.2026 12:50
coq-reduction-effects_0.1.6.orig.tar.gz10.2 KiB28.07.2026 17:29
libcoq-reduction-effects_0.1.5-1build3_amd64.deb14.2 KiB08.04.2024 07:57
libcoq-reduction-effects_0.1.5-5build11_amd64.deb15.1 KiB03.03.2026 21:26
libcoq-reduction-effects_0.1.5-5build11_amd64v3.deb15.1 KiB03.03.2026 21:26
libcoq-reduction-effects_0.1.5-5build11_arm64.deb15.4 KiB03.03.2026 21:27
libcoq-reduction-effects_0.1.5-5build7_amd64.deb15.1 KiB18.02.2025 21:25
libcoq-reduction-effects_0.1.5-5build8_amd64.deb15.1 KiB20.06.2025 13:23
libcoq-reduction-effects_0.1.5-5build8_arm64.deb15.6 KiB20.06.2025 13:24
libcoq-reduction-effects_0.1.6-4build4_amd64.deb15.9 KiB10.09.2026 07:33
libcoq-reduction-effects_0.1.6-4build4_amd64v3.deb15.9 KiB10.09.2026 07:33
libcoq-reduction-effects_0.1.6-4build4_arm64.deb16.2 KiB10.09.2026 07:33
libcoq-reduction-effects_0.1.6-4build5_amd64.deb16.0 KiB18.09.2026 14:17
libcoq-reduction-effects_0.1.6-4build5_amd64v3.deb16.0 KiB18.09.2026 13:06
libcoq-reduction-effects_0.1.6-4build5_arm64.deb16.2 KiB18.09.2026 14:18