tomcharnock/void-packages
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

New package: flintlib-2.8.0

Browse Source
This commit is contained in:
Gonzalo Tornaría
2018-02-02 22:42:49 -03:00
committed by Érico Nogueira Rolim
parent 492d9102b0
commit 9337068d3a
4 changed files with 31 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
common/shlibs
View File

@@ -3986,6 +3986,7 @@ libtree-sitter.so.0 tree-sitter-0.19.0_1
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
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