Index of /ubuntu/pool/universe/o/ortools
Name
Last modified
Size
Description
Parent Directory
-
ortools_8.2+ds-1.debian.tar.xz
2022-02-14 12:34
7.5K
ortools_8.2+ds-1.dsc
2022-02-14 12:34
2.6K
ortools_8.2+ds.orig.tar.xz
2022-02-14 12:34
87M
Apache/2.4.29 (Ubuntu) Server at mirror.espol.edu.ec Port 80
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}