aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-03-05gnu: Add boolector....Liliana Marie Prikler
2023-03-05gnu: Add btor2tools....Liliana Marie Prikler
2023-03-05gnu: Add yices....Liliana Marie Prikler
2023-03-05gnu: Add libpoly....Liliana Marie Prikler
2023-03-05gnu: Add cudd....Liliana Marie Prikler
2023-03-05gnu: tracker: Update to 3.4.2....Liliana Marie Prikler
2023-03-05gnu: tracker: Use G-Expressions in arguments....Liliana Marie Prikler
2023-03-05gnu: tracker: Don't wrap binaries in libexec/tracker3 directory....Liliana Marie Prikler
2023-03-05gnu: meld: Use new package style....Andy Tai
2023-03-05gnu: meld: Update to 3.22.0...Andy Tai
2023-03-05gnu: sugar-datastore: Patch reference to md5sum....Ricardo Wurmus
2023-03-05gnu: sugar: Patch additional references to tools....Ricardo Wurmus
2023-03-04gnu: Add sugar-block-party-activity....Ricardo Wurmus
2023-03-04gnu: Add sugar-log-activity....Ricardo Wurmus
2023-03-04gnu: Add guile-gemini....Michal Atlas
2023-03-04gnu: gambit-c: Update gambit-c to 4.9.4....Preston M. Firestone
2023-03-04gnu: Remove and deprecate tidy for tidy-html...Morgan Smith
2023-03-04gnu: cross-base: Inherit arguments from 'mig'....Ludovic Courtès
2023-03-04gnu: cross-base: Remove input labels for GNU Mach and MiG....Ludovic Courtès
2023-03-04gnu: mig: Remove dependency on Perl....Ludovic Courtès
2023-03-04gnu: mig: Use gexps....Ludovic Courtès
2023-03-04gnu: Add sugar-read-activity....Ricardo Wurmus
2023-03-04gnu: Add sugar-terminal-activity....Ricardo Wurmus
2023-03-04gnu: telepathy-salut: Enable OLPC extensions....Ricardo Wurmus
2023-02-26nls: Fix typo in Italian translation....Tobias Geerinckx-Rice
2023-03-04gnu: sugar: Add XMPP telepathy inputs....Ricardo Wurmus
2023-03-04gnu: Add telepathy-gabble....Ricardo Wurmus
2023-03-03gnu: widelands: Update to 1.1....Vivien Kraus
2023-03-03gnu: linux-libre 4.19: Update to 4.19.275....Leo Famulari
2023-03-03gnu: linux-libre 5.4: Update to 5.4.234....Leo Famulari
2023-03-03gnu: linux-libre 5.10: Update to 5.10.172....Leo Famulari
2023-03-03gnu: linux-libre 5.15: Update to 5.15.98....Leo Famulari
2023-03-03gnu: linux-libre: Update to 6.1.15....Leo Famulari
2023-03-03gnu: Add telepathy-salut....Ricardo Wurmus
2023-03-03gnu: r-doubletcollection: Add missing inputs....Navid Afkhami
2023-02-26gnu: linux-libre-documentation: Honour ‘--cores’....Tobias Geerinckx-Rice
2023-02-26services: desktop: Set default value for geoclue-service-type....Bruno Victal
2023-03-03services: dbus: Deprecate 'dbus-service' procedure....Bruno Victal
2023-03-03services: spice: Deprecate 'spice-vdagent-service' procedure....Bruno Victal
2023-03-03services: lirc: Deprecate 'lirc-service' procedure....Bruno Victal
2023-03-03services: vpn: Deprecate 'openvpn-client-service' & 'openvpn-server-service' ......Bruno Victal
2023-03-03services: mail: Deprecate 'dovecot-service' procedure....Bruno Victal
2023-03-03services: desktop: Deprecate 'bluetooth-service' procedure....Bruno Victal
2023-03-03services: desktop: Deprecate 'geoclue-service' procedure....Bruno Victal
2023-03-03services: desktop: Deprecate 'udisks-service' procedure....Bruno Victal
2023-03-03services: dbus: Deprecate 'polkit-service' procedure....Bruno Victal
2023-03-03services: desktop: Deprecate 'accountsservice-service' procedure....Bruno Victal
2023-03-03services: elogind-configuration: Do not ignore 'handle-hibernate-key' by defa......Bruno Victal
2023-03-03services: desktop: Deprecate 'elogind-service' procedure....Bruno Victal
2023-03-03services: ssh: Deprecate 'dropbear-service' procedure....Bruno Victal