aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/patches/minisat-install.patch
diff options
context:
space:
mode:
authorBruno Victal <mirai@makinata.eu>2023-07-16 19:47:47 +0100
committerLudovic Courtès <ludo@gnu.org>2023-08-16 23:13:55 +0200
commit2b031ca4b2daa1d429e79b08e28fcd26e395bdf2 (patch)
tree7c0f0c4c8aa31bb633b8a27be3daedac40dec2f5 /gnu/packages/patches/minisat-install.patch
parent63cf5a2a4eb64c31f5811b77e182965fd3320af0 (diff)
downloadguix-2b031ca4b2daa1d429e79b08e28fcd26e395bdf2.tar.gz
guix-2b031ca4b2daa1d429e79b08e28fcd26e395bdf2.zip
Revert "services: Add ddclient service."
ddclient is unmaintained as of 2023-07-04 [1] and this service has been broken for a while [2]. Remove it rather than shipping a broken service for an unmaintained program that's unlikely to be fixed. [1]: <https://github.com/ddclient/ddclient> [2]: <https://issues.guix.gnu.org/52770> This reverts commit 8490a8346b5c8207f5798be55bea1de865b0bd42. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/patches/minisat-install.patch')
0 files changed, 0 insertions, 0 deletions