New package: armadillo-7.800.2

Closes #6341
2017-05-07 12:33:24 +02:00
parent 4043b5a494
commit 95594e568b
3 changed files with 30 additions and 0 deletions
--- a/common/shlibs
+++ b/common/shlibs
@@ -2821,3 +2821,4 @@ libbrotlicommon.so.0.6.0 brotli-0.6.0_1
 libbrotlidec.so.0.6.0 brotli-0.6.0_1
 libbrotlienc.so.0.6.0 brotli-0.6.0_1
 libfilteraudio.so filter_audio-0.0.1_1
+libarmadillo.so.7 armadillo-7.800.2_1