[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]casadi_3.7.0+ds2-3.debian.tar.xz2025-10-29 04:11 6.0KTAR compressed archive
[TXT]casadi_3.7.0+ds2-3.dsc2025-10-29 04:11 2.3K 
[ ]casadi_3.7.0+ds2-3_amd64.deb2025-10-31 21:40 14KDebian Software Package
[ ]casadi_3.7.0+ds2-3_amd64v3.deb2025-10-31 21:40 15KDebian Software Package
[ ]casadi_3.7.0+ds2.orig.tar.xz2025-10-29 04:11 1.7MTAR compressed archive
[ ]libcasadi-dev_3.7.0+ds2-3_amd64.deb2025-10-31 21:40 277KDebian Software Package
[ ]libcasadi-dev_3.7.0+ds2-3_amd64v3.deb2025-10-31 21:40 277KDebian Software Package
[ ]libcasadi3.7_3.7.0+ds2-3_amd64.deb2025-10-31 21:40 2.9MDebian Software Package
[ ]libcasadi3.7_3.7.0+ds2-3_amd64v3.deb2025-10-31 21:40 2.9MDebian Software Package
[ ]python3-casadi_3.7.0+ds2-3_amd64.deb2025-10-31 21:40 846KDebian Software Package
[ ]python3-casadi_3.7.0+ds2-3_amd64v3.deb2025-10-31 21:40 857KDebian Software Package