GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
ReadPackage("cohomolo", "gap/coho4.g");