summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Collapse)Author
2020-05-25Sync with stableAntonio Rojas
2020-04-26Update patchesAntonio Rojas
2020-04-24Rebase patchesAntonio Rojas
2020-04-14Rebase patches, split dict sorting changes out of ipython7 patchAntonio Rojas
2020-03-29Update patchesAntonio Rojas
2020-03-29Fix deprecation warnings with jedi 0.16Antonio Rojas
2020-03-29Rebase patchesAntonio Rojas
2020-03-19RebaseAntonio Rojas
2020-03-11Update patchesAntonio Rojas
2020-03-09Rebase patchesAntonio Rojas
2020-03-07Add fixes for latest gap, pari and matplotlibAntonio Rojas
2020-03-02Add missing patchAntonio Rojas
2020-01-26Rebase patchesAntonio Rojas
2020-01-22Rebase patchesAntonio Rojas
2020-01-19Update singular patchAntonio Rojas
2020-01-10Rebase patches, add numerical backends optdependsAntonio Rojas
2020-01-04Remove fes moduleAntonio Rojas
2020-01-04Remove fes moduleAntonio Rojas
2020-01-02Sync with stableAntonio Rojas
2019-12-05Update patchesAntonio Rojas
2019-12-05DICT_IS_ORDERED is gone in ipython 7.10Antonio Rojas
2019-12-05Update ipython7 patch for ipython 7.10, fix some issues with letterplace ↵Antonio Rojas
algebras with singular 4.1.2
2019-11-28Update python 3.8 patch, don't install scripts that depend on sagenbAntonio Rojas
2019-11-22Fix python 3.8 issuesAntonio Rojas
2019-10-12Drop merged patchAntonio Rojas
2019-10-05No longer experimentalAntonio Rojas
2019-10-05Switch to python 3Antonio Rojas
2019-08-26Rebase patchesAntonio Rojas
2019-08-04Fix checksumsAntonio Rojas
2019-08-04Drop merged patchesAntonio Rojas
2019-07-29Kill sage-envAntonio Rojas
2019-07-20Rebase patchesAntonio Rojas
2019-07-16Sync patches with stableAntonio Rojas
2019-07-10Rebase patchesAntonio Rojas
2019-06-03Update SRCINFOAntonio Rojas
2019-05-20Use upstream linbox patchAntonio Rojas
2019-05-15Fix build with linbox 1.6Antonio Rojas
2019-04-07Rebase patchesAntonio Rojas
2019-03-30Rebase patchesAntonio Rojas
2019-03-10Add patch for GAP 4.10.1 supportAntonio Rojas
2019-03-03Add new python2-pplpy dependencyAntonio Rojas
2019-02-03Update patchesAntonio Rojas
2019-01-27Rebase patchesAntonio Rojas
2019-01-26Sync patches with stableAntonio Rojas
2019-01-13Update patchesAntonio Rojas
2018-12-27Rebase patchesAntonio Rojas
2018-12-23Sync with stableAntonio Rojas
2018-12-04Remove merged patchAntonio Rojas
2018-11-25Drop merged patchAntonio Rojas
2018-11-07Add m4rie dependencyAntonio Rojas