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

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