You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Now that there's a dist/debian directory in the extcode spkg, my Debian scripts try to build extcode as a separate package. This doesn't work; I've attached a trivial patch to make this not happen.
Now that there's a dist/debian directory in the extcode spkg, my Debian scripts try to build extcode as a separate package. This doesn't work; I've attached a trivial patch to make this not happen.
Component: debian-package
Issue created by migration from https://trac.sagemath.org/ticket/2965
The text was updated successfully, but these errors were encountered: