Index of /pool/main/c/casadi

	Name	Last modified	Size
	Parent Directory		-
	casadi_3.7.2+ds2-1.debian.tar.xz	2026-07-01 07:15	6.0K
	casadi_3.7.2+ds2-1.dsc	2026-07-01 07:15	2.3K
	casadi_3.7.2+ds2-1_amd64.deb	2026-07-01 08:16	16K
	casadi_3.7.2+ds2-1_arm64.deb	2026-07-01 08:17	15K
	casadi_3.7.2+ds2-1_armhf.deb	2026-07-01 08:17	14K
	casadi_3.7.2+ds2-1_i386.deb	2026-07-01 08:17	17K
	casadi_3.7.2+ds2.orig.tar.xz	2026-07-01 07:15	1.7M
	libcasadi-dev_3.7.2+ds2-1_amd64.deb	2026-07-01 08:16	282K
	libcasadi-dev_3.7.2+ds2-1_arm64.deb	2026-07-01 08:17	282K
	libcasadi-dev_3.7.2+ds2-1_armhf.deb	2026-07-01 08:17	282K
	libcasadi-dev_3.7.2+ds2-1_i386.deb	2026-07-01 08:17	282K
	libcasadi3.7_3.7.2+ds2-1_amd64.deb	2026-07-01 08:16	2.9M
	libcasadi3.7_3.7.2+ds2-1_arm64.deb	2026-07-01 08:17	2.4M
	libcasadi3.7_3.7.2+ds2-1_armhf.deb	2026-07-01 08:17	2.5M
	libcasadi3.7_3.7.2+ds2-1_i386.deb	2026-07-01 08:17	3.2M
	python3-casadi_3.7.2+ds2-1_amd64.deb	2026-07-01 08:16	782K
	python3-casadi_3.7.2+ds2-1_arm64.deb	2026-07-01 08:17	663K
	python3-casadi_3.7.2+ds2-1_armhf.deb	2026-07-01 08:17	666K
	python3-casadi_3.7.2+ds2-1_i386.deb	2026-07-01 08:17	783K