From cd546ebd9a310533868104aedd7b348159cd6b0b Mon Sep 17 00:00:00 2001 From: seth Date: Wed, 2 Oct 2024 22:23:40 -0400 Subject: [PATCH] doc/release-notes: remove MenhirLib from new modules section This is not a module --- nixos/doc/manual/release-notes/rl-2411.section.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/nixos/doc/manual/release-notes/rl-2411.section.md b/nixos/doc/manual/release-notes/rl-2411.section.md index 13e11ab4c008..b926067ed942 100644 --- a/nixos/doc/manual/release-notes/rl-2411.section.md +++ b/nixos/doc/manual/release-notes/rl-2411.section.md @@ -151,8 +151,6 @@ - [Playerctld](https://github.com/altdesktop/playerctl), a daemon to track media player activity. Available as [services.playerctld](option.html#opt-services.playerctld.enable). -- [MenhirLib](https://gitlab.inria.fr/fpottier/menhir/-/tree/master/coq-menhirlib) A support library for verified Coq parsers produced by Menhir. - - [Glance](https://github.com/glanceapp/glance), a self-hosted dashboard that puts all your feeds in one place. Available as [services.glance](option.html#opt-services.glance.enable). - [Apache Tika](https://github.com/apache/tika), a toolkit that detects and extracts metadata and text from over a thousand different file types. Available as [services.tika](option.html#opt-services.tika.enable).