Ubuntu

gedit-plugins binary package in Ubuntu Jammy riscv64

Jammy (22.04)
riscv64
gedit-plugins

gedit-plugins contain a set of plugins for gedit, GNOME's text editor.
.
The plugins are now split in separate packages; this metapackage brings all
of them but they can be installed separately.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2022-03-03 11:14:27 UTC	Published	Ubuntu Jammy riscv64	release	universe	gnome	Optional		41.0-1
Published on 2022-03-03 Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Jammy riscv64	proposed	universe	gnome	Optional		41.0-1
Removal requested on 2022-03-03. Deleted on 2022-03-03 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2022-02-17 Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
	2022-03-03 11:15:51 UTC	Superseded	Ubuntu Jammy riscv64	release	universe	gnome	Optional		40.1-2
Removed from disk on 2022-03-04. Removal requested on 2022-03-04. Superseded on 2022-03-03 by amd64 build of gedit-plugins 41.0-1 in ubuntu jammy PROPOSED Published on 2021-10-21 Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
	2022-03-04 12:10:09 UTC	Deleted	Ubuntu Jammy riscv64	proposed	universe	gnome	Optional		40.1-2
Removed from disk on 2022-03-04. Removal requested on 2021-10-21. Deleted on 2021-10-21 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2021-10-19 Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
	2021-10-21 12:25:46 UTC	Superseded	Ubuntu Jammy riscv64	release	universe	gnome	Optional		40.1-1
Removed from disk on 2022-07-24. Removal requested on 2021-10-22. Superseded on 2021-10-21 by amd64 build of gedit-plugins 40.1-2 in ubuntu jammy PROPOSED Published on 2021-10-15 Copied from ubuntu impish-proposed amd64 in Primary Archive for Ubuntu

Source package

gedit-plugins package in Ubuntu