Index of /pool/main/c/casadi

	Name	Last modified	Size
	Parent Directory		-
	casadi_3.7.0+ds2-3.debian.tar.xz	13-Aug-2025 01:39	6.0K
	casadi_3.7.0+ds2-3.dsc	13-Aug-2025 01:39	2.3K
	casadi_3.7.0+ds2-3_amd64.deb	28-Oct-2025 19:26	16K
	casadi_3.7.0+ds2-3_arm64.deb	28-Oct-2025 19:26	14K
	casadi_3.7.0+ds2-3_armhf.deb	28-Oct-2025 19:26	14K
	casadi_3.7.0+ds2-3_i386.deb	28-Oct-2025 19:31	17K
	casadi_3.7.0+ds2.orig.tar.xz	13-Aug-2025 01:39	1.7M
	libcasadi-dev_3.7.0+ds2-3_amd64.deb	28-Oct-2025 19:26	280K
	libcasadi-dev_3.7.0+ds2-3_arm64.deb	28-Oct-2025 19:26	280K
	libcasadi-dev_3.7.0+ds2-3_armhf.deb	28-Oct-2025 19:26	280K
	libcasadi-dev_3.7.0+ds2-3_i386.deb	28-Oct-2025 19:31	280K
	libcasadi3.7_3.7.0+ds2-3_amd64.deb	28-Oct-2025 19:26	2.8M
	libcasadi3.7_3.7.0+ds2-3_arm64.deb	28-Oct-2025 19:26	2.3M
	libcasadi3.7_3.7.0+ds2-3_armhf.deb	28-Oct-2025 19:26	2.5M
	libcasadi3.7_3.7.0+ds2-3_i386.deb	28-Oct-2025 19:31	3.2M
	python3-casadi_3.7.0+ds2-3_amd64.deb	28-Oct-2025 19:26	778K
	python3-casadi_3.7.0+ds2-3_arm64.deb	28-Oct-2025 19:26	660K
	python3-casadi_3.7.0+ds2-3_armhf.deb	28-Oct-2025 19:26	659K
	python3-casadi_3.7.0+ds2-3_i386.deb	28-Oct-2025 19:31	781K