diff options
author | Timo Kaufmann <timokau@zoho.com> | 2017-10-19 19:36:29 -0500 |
---|---|---|
committer | Timo Kaufmann <timokau@zoho.com> | 2017-11-05 17:37:40 -0600 |
commit | fe68ba81d28b1a8294d7c648022e3d9754d9c217 (patch) | |
tree | f073e911c75ad9b9416f456fc90b8efce3a9d12b /lib | |
parent | 0cabd5fa6782aa26167ce334a9b02338f8a7665f (diff) |
sage: 6.8 -> 8.0
This "un-breaks" sage while also updating it to 8.0. It compiles sage with its dependencies as one big pile, which is not the best approach but definately better than nothing for now. To be able to shrink the huge output pile a little, it also splits docs from the rest of the output.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/maintainers.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/maintainers.nix b/lib/maintainers.nix index e2d3c73301b44..a1a6d36b69839 100644 --- a/lib/maintainers.nix +++ b/lib/maintainers.nix @@ -627,6 +627,7 @@ ThomasMader = "Thomas Mader <thomas.mader@gmail.com>"; thoughtpolice = "Austin Seipp <aseipp@pobox.com>"; timbertson = "Tim Cuthbertson <tim@gfxmonk.net>"; + timokau = "Timo Kaufmann <timokau@zoho.com>"; titanous = "Jonathan Rudenberg <jonathan@titanous.com>"; tnias = "Philipp Bartsch <phil@grmr.de>"; tohl = "Tomas Hlavaty <tom@logand.com>"; |