Index of /raspbian/raspbian/pool/main/c/coq-reduction-effects/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-reduction-effects_0.1.5-4+b1_armhf.deb14.6 KiB2024-Jun-24 22:08
coq-reduction-effects_0.1.5-4.debian.tar.xz1.8 KiB2024-Apr-26 14:01
coq-reduction-effects_0.1.5-4.dsc2.2 KiB2024-Apr-26 14:01
coq-reduction-effects_0.1.5.orig.tar.gz10.1 KiB2023-Dec-22 10:16
libcoq-reduction-effects_0.1.4-3+b2_armhf.deb13.8 KiB2023-May-21 01:16
coq-reduction-effects_0.1.4-3.debian.tar.xz1.5 KiB2023-Jan-25 07:47
coq-reduction-effects_0.1.4-3.dsc2.2 KiB2023-Jan-25 07:47
coq-reduction-effects_0.1.4.orig.tar.gz10.1 KiB2022-Aug-13 05:08