Ubuntu

gedit-plugin-bookmarks binary package in Ubuntu Mantic arm64

  1. Mantic (23.10)
  2. arm64
  3. gedit-plugin-bookmarks

 gedit-plugins contain a set of plugins for gedit.
 .
 This plugin enables easy document navigation with bookmarks.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-04-25 12:10:09 UTC Published Ubuntu Mantic arm64 release universe gnome Optional 44.1-2
  • Published
  • Copied from ubuntu lunar-proposed arm64 in Primary Archive for Ubuntu

Source package