answered 5 years ago
Tio find the correct package
sage --package list | grep kohel database_kohel
then
sage -i database_kohel