void-packages/srcpkgs/armadillo
Johannes 80195d11ec armadillo: update to 8.600.0. (#964) 2018-07-18 11:21:10 +02:00
..
template