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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-reduction-effects_0.1.4-3.debian.tar.xz	2023-01-25 08:47	1.5K
	coq-reduction-effects_0.1.4-3.dsc	2023-01-25 08:47	2.2K
	coq-reduction-effects_0.1.4.orig.tar.gz	2022-08-13 07:08	10K
	coq-reduction-effects_0.1.5-4.debian.tar.xz	2024-04-26 16:01	1.8K
	coq-reduction-effects_0.1.5-4.dsc	2024-04-26 16:01	2.2K
	coq-reduction-effects_0.1.5.orig.tar.gz	2023-12-22 11:16	10K
	libcoq-reduction-effects_0.1.4-3+b2_armhf.deb	2023-05-21 03:16	14K
	libcoq-reduction-effects_0.1.5-4+b1_armhf.deb	2024-06-25 00:08	15K

NetClub mirror

Tükrözött repository-k:

Sebesség: 1Gbit/s