New package: arb-2.20.0

This commit is contained in:
Gonzalo Tornaría 2018-02-04 01:00:19 -03:00 committed by Érico Nogueira Rolim
parent 9337068d3a
commit 20bbe10269
3 changed files with 30 additions and 0 deletions

View file

@ -3987,6 +3987,7 @@ libgtkdatabox.so.1 gtkdatabox3-1.0.0_1
libgf2x.so.3 gf2x-1.3.0_1
libntl.so.44 ntl-11.5.1_1
libflint.so.16 flintlib-2.8.0_1
libarb.so.2 arb-2.20.0_1
libwayland-client++.so.0 libwaylandpp-0.2.8_1
libwayland-cursor++.so.0 libwaylandpp-0.2.8_1
libwayland-egl++.so.0 libwaylandpp-0.2.8_1