Index of /mcrl2/release-ppa/ubuntu/dists/xenial/main/binary-armhf

	Name	Last modified	Size	Description
	Parent Directory		-
	Packages.gz	2019-09-03 08:07	20
	Packages.xz	2019-09-03 08:07	32
	Release	2019-09-03 08:07	119
	by-hash/	2017-07-03 11:23	-