78cd07f
Add post-release bug fixes needed by cvc5
Authored and Committed by 
jjames
11 months ago
0001-Published-the-HEAD-as-0.1.11-on-launchpad.patch
file added
+24
0002-Fix-issue-with-lp_algebraic_number_neg-when-number-i.patch
file added
+73
0003-Add-operator-and-inverse-for-the-C-wrapper-Algebraic.patch
file added
+75
0004-Have-to_rational-return-an-exact-rational-more-often.patch
file added
+57
0005-Some-tests.patch
file added
+36
0006-Add-positive-root-function-of-a-positive-algebraic-n.patch
file added
+285
0007-Mispelling-documentation.patch
file added
+52
0008-Improve-algebraic-number-to-rational.patch
file added
+38
0009-Add-tests-for-positive_root.patch
file added
+143
0010-libpoly-fix-doctest.h-to-allow-PPC-build.patch
file added
+25
libpoly.spec
file modified
+16
-2
-
Build completedsuccessBuilt as libpoly-0.1.11-8.fc3911 months ago