To uninstall gir1.2-cinnamondesktop-3.0 just follow these instructions.
/linuxmint/sarah/backport///install/index.html Introspection data for CinnamonDesktop Linux Mint 18 introspection 3.0.2+sarah
sudo apt-get remove gir1.2-cinnamondesktop-3.0
Which will remove just the gir1.2-cinnamondesktop-3.0 package itself.
sudo apt-get remove --auto-remove gir1.2-cinnamondesktop-3.0
This will remove the gir1.2-cinnamondesktop-3.0 package and any other dependant packages which are no longer needed.
If you also want to delete your local/config files for gir1.2-cinnamondesktop-3.0 then this will work.
sudo apt-get purge gir1.2-cinnamondesktop-3.0
Or similarly, like this gir1.2-cinnamondesktop-3.0
sudo apt-get purge --auto-remove gir1.2-cinnamondesktop-3.0
Package | gir1.2-cinnamondesktop-3.0 |
Version | 3.0.2+sarah |
Maintainer | Clement Lefebvre |
Description | Introspection data for CinnamonDesktop |
Distro | linuxmint |
Release | sarah |
Repo | backport |
Section | introspection |