Index of /pios/debian/pool/main/d/direnv

	Name	Last modified	Size	Description

	Parent Directory		-
	direnv_2.25.2-2_armhf.deb	2021-02-21 06:11	1.8M
	direnv_2.25.2-2_arm64.deb	2021-02-21 04:59	1.7M

Apache/2.4.62 (Debian) Server at repo.vitracom.net Port 80