Index of /raspbian/pool/main/c/casadi

	Name	Last modified	Size
	Parent Directory		-
	casadi_3.7.0+ds2.orig.tar.xz	2025-08-12 23:39	1.7M
	casadi_3.7.0+ds2-3.dsc	2025-08-12 23:39	2.3K
	casadi_3.7.0+ds2-3.debian.tar.xz	2025-08-12 23:39	6.0K