/debian-ports/pool/main/g/gedit-plugins/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
gedit-plugins_48.1-1_all.deb
12.1 KiB
13.02.2025 18:07
gedit-plugins_46.0-2_all.deb
11.9 KiB
17.11.2023 17:46
