First time here? Check out the FAQ!
answered 2019-05-24 20:39:14 +0100
Tio find the correct package
sage --package list | grep kohel database_kohel
then
sage -i database_kohel