ccsrc/Ports/LibNGAP/NGAPPort.cc
0 → 100644
+133
−0
ccsrc/Ports/LibNGAP/NGAPPort.hh
0 → 100644
+56
−0
ccsrc/Ports/LibNGAP/module.mk
0 → 100644
+3
−0
Loading