gedit-plugin-bookmarks binary package in Ubuntu Jammy amd64
gedit-plugins contain a set of plugins for gedit, GNOME's text editor.
.
This plugin enables easy document navigation with bookmarks.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2022-03-03 11:14:27 UTC | Published | Ubuntu Jammy amd64 | release | universe | gnome | Optional | 41.0-1 | ||
|
|||||||||
Deleted | Ubuntu Jammy amd64 | proposed | universe | gnome | Optional | 41.0-1 | |||
|
|||||||||
2022-03-03 11:15:51 UTC | Superseded | Ubuntu Jammy amd64 | release | universe | gnome | Optional | 40.1-2 | ||
|
|||||||||
2022-03-04 12:10:09 UTC | Deleted | Ubuntu Jammy amd64 | proposed | universe | gnome | Optional | 40.1-2 | ||
|
|||||||||
2021-10-21 12:25:46 UTC | Superseded | Ubuntu Jammy amd64 | release | universe | gnome | Optional | 40.1-1 | ||
|