update barvinok to version 0.41.2
commit3e9607e3e1859d83b1781112ed6e9a7923f3ac50
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 13 Mar 2019 22:14:12 +0000 (13 23:14 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 30 Mar 2019 14:21:53 +0000 (30 15:21 +0100)
tree1091f334dd96c221a134449245452a18c059d148
parent709c1d4fac712e847dc592e560d4d23904ef41be
update barvinok to version 0.41.2

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