| fix-doc-path.patch |
fix links in documentation and provide a pointer to README about how to generatedeveloper's documentation. |
Lifeng Sun |
not-needed |
|
|
|
| givaro-makefile.patch |
fix interpreter of givaro-makefile |
|
no |
|
|
|
| doxygen-exclude-debian-dir.patch |
exclude debian/ dir when build documentation |
Lifeng Sun |
not-needed |
|
|
|
| local-include-syntax.patch |
fix system header include syntax for local header. (Closes: #681589) |
Lifeng Sun |
no |
|
|
|
| givaro-26932_recintvsflint_longlong.patch |
fixing double definition of macros between flint and givaro by isolating givaro's with recint_ prefix |
Clement Pernet <clement.pernet@gmail.com> |
yes |
upstream
|
https://git.sagemath.org/sage.git/plain/build/pkgs/givaro/patches/givaro-26932_recintvsflint_longlong.patch?h=develop |
2019-07-19 |
