Index of /pub/ubuntu/pool/universe/c/casadi

	Name	Last modified	Size	Description
	Parent Directory		-
	casadi_3.7.0+ds2-3.debian.tar.xz	2025-10-28 23:11	6.0K
	casadi_3.7.0+ds2-3.dsc	2025-10-28 23:11	2.3K
	casadi_3.7.0+ds2.orig.tar.xz	2025-10-28 23:11	1.7M