id Summary Status Type Priority Milestone Component 52 DBM-Links not working on dynamically linked x86_64 new bug minor 3-1-1 dontKnow 435 Extension polybori.lib assigned proposed feature minor 3-1-5 and higher dontKnow 60 old bugs in modgen new task minor 3-1-1 dontKnow 180 documentation in/of SINGULAR new task major 3-1-1 dontKnow