update barvinok to version 0.41.3
commit9700fa742cb70ad6ef8a4450e5b2c09aaec6b92b
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 14 Nov 2019 16:24:12 +0000 (14 17:24 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 14 Nov 2019 16:24:45 +0000 (14 17:24 +0100)
tree79a8b28e614510c06b056400ccbdbd09a49c86cd
parent9bd809964ab291b49e10191d7c153b6de1acae0f
update barvinok to version 0.41.3

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
barvinok