ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/c/coq-reduction-effects/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-reduction-effects_0.1.4-3.debian.tar.xz 157225-Jan-2023 11:47
coq-reduction-effects_0.1.4-3.dsc 221425-Jan-2023 11:47
coq-reduction-effects_0.1.4.orig.tar.gz 10K13-Aug-2022 09:08
coq-reduction-effects_0.1.5-5.debian.tar.xz 187604-Aug-2024 07:53
coq-reduction-effects_0.1.5-5.dsc 199504-Aug-2024 07:53
coq-reduction-effects_0.1.5.orig.tar.gz 10K22-Dec-2023 14:16
coq-reduction-effects_0.1.6-3.debian.tar.xz 232411-Jul-2026 09:04
coq-reduction-effects_0.1.6-3.dsc 222311-Jul-2026 09:04
coq-reduction-effects_0.1.6.orig.tar.gz 10K29-Oct-2025 12:39
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 14K13-Feb-2023 09:11
libcoq-reduction-effects_0.1.4-3+b1_arm64.deb 14K13-Feb-2023 09:11
libcoq-reduction-effects_0.1.4-3+b1_armhf.deb 14K13-Feb-2023 09:26
libcoq-reduction-effects_0.1.4-3+b1_i386.deb 14K13-Feb-2023 09:16
libcoq-reduction-effects_0.1.4-3+b1_ppc64el.deb 14K13-Feb-2023 09:27
libcoq-reduction-effects_0.1.4-3+b1_s390x.deb 14K13-Feb-2023 09:11
libcoq-reduction-effects_0.1.5-5+b10_arm64.deb 15K20-Jun-2026 18:45
libcoq-reduction-effects_0.1.5-5+b10_ppc64el.deb 15K20-Jun-2026 18:50
libcoq-reduction-effects_0.1.5-5+b11_amd64.deb 15K20-Jun-2026 18:45
libcoq-reduction-effects_0.1.5-5+b7_arm64.deb 15K15-Jun-2025 14:55
libcoq-reduction-effects_0.1.5-5+b7_riscv64.deb 15K15-Jun-2025 15:35
libcoq-reduction-effects_0.1.5-5+b7_s390x.deb 15K16-Jun-2025 22:19
libcoq-reduction-effects_0.1.5-5+b8_amd64.deb 15K15-Jun-2025 14:49
libcoq-reduction-effects_0.1.5-5+b8_ppc64el.deb 15K15-Jun-2025 14:44
libcoq-reduction-effects_0.1.5-5+b9_riscv64.deb 15K22-Jun-2026 16:15
libcoq-reduction-effects_0.1.5-5+b9_s390x.deb 15K20-Jun-2026 18:45
libcoq-reduction-effects_0.1.6-3+b1_riscv64.deb 16K14-Jul-2026 00:29
libcoq-reduction-effects_0.1.6-3_amd64.deb 16K11-Jul-2026 09:04
libcoq-reduction-effects_0.1.6-3_arm64.deb 16K11-Jul-2026 09:44
libcoq-reduction-effects_0.1.6-3_ppc64el.deb 16K11-Jul-2026 09:39
libcoq-reduction-effects_0.1.6-3_s390x.deb 16K11-Jul-2026 09:29