Index of /pool/main/c/casadi

	Name	Last modified	Size
	Parent Directory		-
	casadi_3.8.1+ds2-1.debian.tar.xz	2026-10-07 05:19	6.7K
	casadi_3.8.1+ds2-1.dsc	2026-10-07 05:19	2.3K
	casadi_3.8.1+ds2-1_amd64.deb	2026-10-07 05:49	112K
	casadi_3.8.1+ds2-1_arm64.deb	2026-10-07 05:49	94K
	casadi_3.8.1+ds2-1_armhf.deb	2026-10-07 05:49	92K
	casadi_3.8.1+ds2-1_i386.deb	2026-10-07 05:59	118K
	casadi_3.8.1+ds2.orig.tar.xz	2026-10-07 05:19	2.3M
	libcasadi-dev_3.8.1+ds2-1_amd64.deb	2026-10-07 05:49	330K
	libcasadi-dev_3.8.1+ds2-1_arm64.deb	2026-10-07 05:49	330K
	libcasadi-dev_3.8.1+ds2-1_armhf.deb	2026-10-07 05:49	330K
	libcasadi-dev_3.8.1+ds2-1_i386.deb	2026-10-07 05:59	330K
	libcasadi3.7_3.8.1+ds2-1_amd64.deb	2026-10-07 05:49	3.3M
	libcasadi3.7_3.8.1+ds2-1_arm64.deb	2026-10-07 05:49	2.6M
	libcasadi3.7_3.8.1+ds2-1_armhf.deb	2026-10-07 05:49	2.8M
	libcasadi3.7_3.8.1+ds2-1_i386.deb	2026-10-07 05:59	3.6M
	python3-casadi_3.8.1+ds2-1_amd64.deb	2026-10-07 05:49	904K
	python3-casadi_3.8.1+ds2-1_arm64.deb	2026-10-07 05:49	731K
	python3-casadi_3.8.1+ds2-1_armhf.deb	2026-10-07 05:49	733K
	python3-casadi_3.8.1+ds2-1_i386.deb	2026-10-07 05:59	871K