···142 # gares has no entry in the maintainers list
143 siraben
144 vbgl
0145 ];
146 scope = "Maintain the Coq theorem prover and related packages.";
147 shortName = "Coq";
···142 # gares has no entry in the maintainers list
143 siraben
144 vbgl
145+ alizter
146 ];
147 scope = "Maintain the Coq theorem prover and related packages.";
148 shortName = "Coq";
+1
nixos/doc/manual/release-notes/rl-2305.section.md
···33- [Cloudlog](https://www.magicbug.co.uk/cloudlog/), a web-based Amateur Radio logging application. Available as [services.cloudlog](#opt-services.cloudlog.enable).
3435- [fzf](https://github.com/junegunn/fzf), a command line fuzzyfinder. Available as [programs.fzf](#opt-programs.fzf.fuzzyCompletion).
03637- [gemstash](https://github.com/rubygems/gemstash), a RubyGems.org cache and private gem server. Available as [services.gemstash](#opt-services.gemstash.enable).
38
···33- [Cloudlog](https://www.magicbug.co.uk/cloudlog/), a web-based Amateur Radio logging application. Available as [services.cloudlog](#opt-services.cloudlog.enable).
3435- [fzf](https://github.com/junegunn/fzf), a command line fuzzyfinder. Available as [programs.fzf](#opt-programs.fzf.fuzzyCompletion).
36+- [readarr](https://github.com/Readarr/Readarr), Book Manager and Automation (Sonarr for Ebooks). Available as [services.readarr](options.html#opt-services.readarr.enable).
3738- [gemstash](https://github.com/rubygems/gemstash), a RubyGems.org cache and private gem server. Available as [services.gemstash](#opt-services.gemstash.enable).
39
···1{ haskellPackages, mkDerivation, fetchFromGitHub, lib
2# the following are non-haskell dependencies
3-, makeWrapper, which, maude, graphviz
4}:
56let
···76 executableToolDepends = [ makeWrapper which maude graphviz ];
77 postInstall = ''
78 wrapProgram $out/bin/tamarin-prover \
079 --prefix PATH : ${lib.makeBinPath [ which maude graphviz ]}
80 # so that the package can be used as a vim plugin to install syntax coloration
81 install -Dt $out/share/vim-plugins/tamarin-prover/syntax/ etc/syntax/spthy.vim
···1{ haskellPackages, mkDerivation, fetchFromGitHub, lib
2# the following are non-haskell dependencies
3+, makeWrapper, which, maude, graphviz, glibcLocales
4}:
56let
···76 executableToolDepends = [ makeWrapper which maude graphviz ];
77 postInstall = ''
78 wrapProgram $out/bin/tamarin-prover \
79+ --set LOCALE_ARCHIVE "${glibcLocales}/lib/locale/locale-archive" \
80 --prefix PATH : ${lib.makeBinPath [ which maude graphviz ]}
81 # so that the package can be used as a vim plugin to install syntax coloration
82 install -Dt $out/share/vim-plugins/tamarin-prover/syntax/ etc/syntax/spthy.vim
···318 # https://github.com/NixOS/nixpkgs/issues/149692
319 Agda = removeConfigureFlag "-foptimise-heavily" super.Agda;
320321- # regex-rure's test suite fails with a dylib not loaded error due to some
322- # rpath issue.
323- regex-rure = dontDistribute (markBroken super.regex-rure);
324- jacinda = dontDistribute super.jacinda;
325-326} // lib.optionalAttrs pkgs.stdenv.isx86_64 { # x86_64-darwin
327328 # tests appear to be failing to link or something:
···318 # https://github.com/NixOS/nixpkgs/issues/149692
319 Agda = removeConfigureFlag "-foptimise-heavily" super.Agda;
32000000321} // lib.optionalAttrs pkgs.stdenv.isx86_64 { # x86_64-darwin
322323 # tests appear to be failing to link or something: