+38
−16
ccsrc/Ports/LibNGAP/NGAPPort.cc
0 → 100644
+139
−0
ccsrc/Ports/LibNGAP/NGAPPort.hh
0 → 100644
+59
−0
ccsrc/Ports/LibNGAP/module.mk
0 → 100644
+3
−0
+1
−1
Loading