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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-reduction-effects_0.1.3-2.debian.tar.xz2022-07-19 02:05 1.4K 
[TXT]coq-reduction-effects_0.1.3-2.dsc2022-07-19 02:05 2.1K 
[ ]coq-reduction-effects_0.1.3.orig.tar.gz2022-07-19 02:05 9.8K 
[ ]coq-reduction-effects_0.1.4-1.debian.tar.xz2022-08-13 00:08 1.4K 
[TXT]coq-reduction-effects_0.1.4-1.dsc2022-08-13 00:08 2.1K 
[ ]coq-reduction-effects_0.1.4-2.debian.tar.xz2022-09-06 04:09 1.5K 
[TXT]coq-reduction-effects_0.1.4-2.dsc2022-09-06 04:09 2.2K 
[ ]coq-reduction-effects_0.1.4-3.debian.tar.xz2023-01-25 01:47 1.5K 
[TXT]coq-reduction-effects_0.1.4-3.dsc2023-01-25 01:47 2.2K 
[ ]coq-reduction-effects_0.1.4-4.debian.tar.xz2023-06-12 15:28 1.7K 
[TXT]coq-reduction-effects_0.1.4-4.dsc2023-06-12 15:28 2.2K 
[ ]coq-reduction-effects_0.1.4.orig.tar.gz2022-08-13 00:08 10K 
[ ]coq-reduction-effects_0.1.5-1.debian.tar.xz2023-12-22 04:16 1.7K 
[TXT]coq-reduction-effects_0.1.5-1.dsc2023-12-22 04:16 2.2K 
[ ]coq-reduction-effects_0.1.5-4.debian.tar.xz2024-04-26 09:01 1.8K 
[TXT]coq-reduction-effects_0.1.5-4.dsc2024-04-26 09:01 2.2K 
[ ]coq-reduction-effects_0.1.5-5.debian.tar.xz2024-08-03 22:53 1.8K 
[TXT]coq-reduction-effects_0.1.5-5.dsc2024-08-03 22:53 1.9K 
[ ]coq-reduction-effects_0.1.5.orig.tar.gz2023-12-22 04:16 10K 
[ ]coq-reduction-effects_0.1.6-4.debian.tar.xz2026-07-28 04:39 2.3K 
[TXT]coq-reduction-effects_0.1.6-4.dsc2026-07-28 04:39 2.2K 
[ ]coq-reduction-effects_0.1.6.orig.tar.gz2025-10-29 03:39 10K 
[ ]libcoq-reduction-effects_0.1.3-2_armhf.deb2022-07-27 17:08 13K 
[ ]libcoq-reduction-effects_0.1.4-1_armhf.deb2022-08-15 05:08 13K 
[ ]libcoq-reduction-effects_0.1.4-2+b1_armhf.deb2022-12-02 10:08 14K 
[ ]libcoq-reduction-effects_0.1.4-2_armhf.deb2022-09-17 10:25 14K 
[ ]libcoq-reduction-effects_0.1.4-3+b1_armhf.deb2023-02-02 20:54 14K 
[ ]libcoq-reduction-effects_0.1.4-3+b2_armhf.deb2023-05-20 20:16 14K 
[ ]libcoq-reduction-effects_0.1.4-3_armhf.deb2023-01-30 16:08 14K 
[ ]libcoq-reduction-effects_0.1.4-4+b1_armhf.deb2023-10-20 11:08 14K 
[ ]libcoq-reduction-effects_0.1.4-4_armhf.deb2023-09-14 13:35 14K 
[ ]libcoq-reduction-effects_0.1.5-1+b1_armhf.deb2024-06-18 05:56 14K 
[ ]libcoq-reduction-effects_0.1.5-1_armhf.deb2024-01-23 10:08 14K 
[ ]libcoq-reduction-effects_0.1.5-4+b1_armhf.deb2024-06-24 17:08 15K 
[ ]libcoq-reduction-effects_0.1.5-5_armhf.deb2024-09-04 17:08 14K 
Apache/2.4.53 (Debian) Server at mirror.quadstate.us Port 443