summarylogtreecommitdiffstats
path: root/gurobi.install
diff options
context:
space:
mode:
authorMarcos M. Raimundo2018-01-22 18:32:00 -0200
committerMarcos M. Raimundo2018-01-22 18:32:00 -0200
commitda0827f2c338f4c80126cedf6d47983b4091a449 (patch)
tree71a3553fba2afd17360213d0c55a165e81436223 /gurobi.install
parent3f45948fdb5e01b64680e1e3a4cada2f754d78f9 (diff)
downloadaur-da0827f2c338f4c80126cedf6d47983b4091a449.tar.gz
update to version 7.5.2
Diffstat (limited to 'gurobi.install')
0 files changed, 0 insertions, 0 deletions