void-packages/srcpkgs/armadillo
maxice8 6b21056ec7 armadillo: update to 8.300.2.
Closes: #9994 [via git-merge-pr]
2017-12-22 09:40:08 +01:00
..
template