Hello sreek,
no big affair, you just removed your desktop environment.
root@sidbox:~# LANG=C apt-get dist-upgrade
Reading package lists... Done
Building dependency tree
Reading state information... Done
Calculating upgrade... Done
The following packages will be REMOVED:
cinnamon cinnamon-screensaver gir1.2-webkit2-3.0 libwebkit2gtk-3.0-25
The following packages will be upgraded:
gir1.2-javascriptcoregtk-3.0 gir1.2-webkit-3.0 libjavascriptcoregtk-3.0-0
libwebkitgtk-3.0-0 libwebkitgtk-3.0-common
5 upgraded, 0 newly installed, 4 to remove and 0 not upgraded.
Need to get 0 B/10.4 MB of archives.
After this operation, 68.8 MB disk space will be freed.
Do you want to continue? [Y/n] No!
Abort.
root@sidbox:~#
In order to get it back you first need to downgrade theese five packages from version 2.4.9-2 to version 2.4.9-1 :
gir1.2-javascriptcoregtk-3.0
gir1.2-webkit-3.0
libjavascriptcoregtk-3.0-0
libwebkitgtk-3.0-0
libwebkitgtk-3.0-common
The current plan is "Let's wait for the migration of muffin, then we upload the new cinnamon"
So you would wait a bit longer until the debian-cinnamon team has prepared new packages changing from libwebkit2gtk-3.0-dev to libwebkit2gtk-4.0-dev.
greetings
musca