We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 62ad2a3 commit 98a8664Copy full SHA for 98a8664
src/sage/features/cddlib.py
@@ -34,4 +34,4 @@ def __init__(self, name='cddexec_gmp'):
34
True
35
"""
36
Executable.__init__(self, name=name, executable=name, spkg="cddlib",
37
- url="https://github.com/cddlib/cddlib")
+ url="https://github.com/cddlib/cddlib", type="standard")
0 commit comments