Name	Last modified	Size	Description
	Parent Directory		-
	ladr_0.0.200911a-2.1.dsc	2019-11-21 09:38	1.3K
	ladr_0.0.200911a-2.1.debian.tar.xz	2019-11-21 09:38	19K
	prover9_0.0.200911a-2.1+b2_amd64.deb	2019-11-21 09:38	100K
	ladr4-apps_0.0.200911a-2.1+b2_amd64.deb	2019-11-21 09:38	156K
	libladr4_0.0.200911a-2.1+b2_amd64.deb	2019-11-21 09:38	184K
	libladr-dev_0.0.200911a-2.1+b2_amd64.deb	2019-11-21 09:38	278K
	ladr_0.0.200911a.orig.tar.gz	2019-11-21 09:38	1.7M

Univention GmbH, (c) Univention GmbH 2010-2025