The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ gnome-video-trimmer_0.8.2-2.debian.tar.xz 11-Nov-2023 23:09 9500 gnome-video-trimmer_0.8.2-2.dsc 11-Nov-2023 23:09 2522 gnome-video-trimmer_0.8.2-2_arm64.deb 13-Nov-2023 16:19 1149432 gnome-video-trimmer_0.8.2.orig.tar.gz 11-Nov-2023 23:09 187815 gnome-video-trimmer_25.03-2.debian.tar.xz 30-Mar-2025 22:56 9880 gnome-video-trimmer_25.03-2.dsc 30-Mar-2025 22:56 2751 gnome-video-trimmer_25.03-2_arm64.deb 31-Mar-2025 00:08 452534 gnome-video-trimmer_25.03-2_armhf.deb 31-Mar-2025 00:08 454334 gnome-video-trimmer_25.03-6.debian.tar.xz 03-Oct-2025 04:00 11192 gnome-video-trimmer_25.03-6.dsc 03-Oct-2025 04:00 2729 gnome-video-trimmer_25.03-6_arm64.deb 03-Oct-2025 04:01 451586 gnome-video-trimmer_25.03-6_armhf.deb 03-Oct-2025 04:01 455052 gnome-video-trimmer_25.03.orig.tar.bz2 30-Mar-2025 22:56 171020
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.