ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /raspbian/raspbian/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.5-4.debian.tar.xz 180426-Apr-2024 18:01
coq-reduction-effects_0.1.4-3.dsc 221425-Jan-2023 11:47
coq-reduction-effects_0.1.5-4.dsc 221426-Apr-2024 18:01
coq-reduction-effects_0.1.4.orig.tar.gz 10K13-Aug-2022 09:08
coq-reduction-effects_0.1.5.orig.tar.gz 10K22-Dec-2023 14:16
libcoq-reduction-effects_0.1.4-3+b2_armhf.deb 14K21-May-2023 05:16
libcoq-reduction-effects_0.1.5-4+b1_armhf.deb 15K25-Jun-2024 02:08