Not compatible with LLVM 16. We'll hopefully be bumping the default
to 17 soon on Linux anyway, but since this package seems to be
explicit about LLVM version required anyway.
The latest longterm kernel release series is 6.6, and we should roll it
out as the default now, to receive as much testing as possible before
the NixOS 24.05 release.
Upstream calls it Bitwarden Desktop, and we have other “bitwarden-*”
packages, so having an unsuffixed one can be confusing.
I assume the hash for cargoDeps is changing since it encodes the pname.
This jumps Mattermost ESR Versions (see [1] for their release cycle). The
new version makes use of Go's workspace feature, which unfortunately the
buildGoModule function does not (yet?) support [2], which breaks the
previous build process for mattermost.
Further, the new release also makes use of private modules only included
in the (non-free) enterprise version of mattermost which makes it impossible
to build in the usual way even outside of nixpkgs's build abstractions [3].
Both issues can be solved by using Go 1.22, which has added support for
vendoring when using workspaces, and instructing it to ignore errors with
the -e flag. This requires overriding the go-modules derivation's
buildPhase, and still produces a functional binary.
[1] https://docs.mattermost.com/upgrade/extended-support-release.html
[2] https://github.com/NixOS/nixpkgs/issues/203039
[3] https://github.com/mattermost/mattermost/issues/26221
Add namespace gnat12Packages and gnat13Packages to get ada-modules build
with a specific gnat version.
For gnatprove this means building the gnat12 and gnat13 version.
Ada depencencies musst be build with the same gnat version as the
project. Use a namespace as preperation to build with different gnat
versions.
gprbuild and gnatprove are still globaly visable.
Gnatprove is the tool distributed out of the spark2014 repository.
AdaCore, the developer behind it, distribute it under the name gnatprove
in the Ada alire package repository [0].
Rename the package to keep in line with other distribution channels.
[0] https://alire.ada.dev/crates/gnatprove
