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

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