New package: brial-1.2.10

This commit is contained in:
Gonzalo Tornaría
2021-11-20 20:06:15 -03:00
committed by Leah Neukirchen
parent a6302f82c7
commit c6dca34dd7
3 changed files with 30 additions and 0 deletions

View File

@@ -4061,5 +4061,7 @@ libfactory-4.2.1.so singular-4.2.1_1
libpolys-4.2.1.so singular-4.2.1_1
libomalloc-0.9.6.so singular-4.2.1_1
libsingular_resources-4.2.1.so singular-4.2.1_1
libbrial.so.3 brial-1.2.10_1
libbrial_groebner.so.3 brial-1.2.10_1
libm4ri-0.0.20200125.so m4ri-20200125_1
libm4rie-0.0.20200125.so m4rie-20200125_1