index
:
nixos/nixpkgs.git
master
nixos-16.03
nixos-16.09
nixos-18.09
nixos-18.09-small
nixos-19.03
nixos-19.03-small
nixos-19.09
nixos-19.09-small
nixos-20.03
nixos-20.03-small
nixos-20.09
nixos-20.09-aarch64
nixos-20.09-small
nixos-21.05
nixos-21.05-aarch64
nixos-21.05-small
nixos-21.11
nixos-21.11-aarch64
nixos-21.11-small
nixos-22.05
nixos-22.05-aarch64
nixos-22.05-small
nixos-22.11
nixos-22.11-small
nixos-23.05
nixos-23.05-small
nixos-23.11
nixos-23.11-small
nixos-24.05
nixos-24.05-small
nixos-24.11
nixos-24.11-small
nixos-25.05
nixos-25.05-small
nixos-25.11
nixos-25.11-small
nixos-test-staging
nixos-test-staging-baseline
nixos-unstable
nixos-unstable-small
nixpkgs-stable
nixpkgs-testing
nixpkgs-unstable
release-13.10
release-14.04
release-14.12
release-15.09
release-16.03
release-16.09
release-17.03
release-17.09
release-18.03
release-18.09
release-18.09-firefox64
release-19.03
release-19.09
release-20.03
release-20.09
release-21.05
release-21.11
release-22.05
release-22.11
release-23.05
release-23.11
release-24.05
release-24.11
release-25.05
release-25.11
staging
staging-18.03
staging-18.09
staging-19.03
staging-19.09
staging-20.03
staging-20.09
staging-21.05
staging-21.11
staging-22.05
staging-22.11
staging-23.05
staging-23.11
staging-24.05
staging-24.11
staging-25.05
staging-25.11
staging-next
staging-next-21.05
staging-next-21.11
staging-next-22.05
staging-next-22.11
staging-next-23.05
staging-next-23.11
staging-next-24.05
staging-next-24.11
staging-next-25.05
staging-next-25.11
staging-next-xdg-desktop-portal-gnome-dependency
staging-nixos
staging-patchelf
staging-python
staging.patchShebangs
Nix Packages collection
Octavian Cerna
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
ada-modules
Age
Commit message (
Expand
)
Author
8 days
treewide: fix `rec-set-dynamic-attrs`
Justin !
2025-12-12
ocamlPackages.yojson: 2.2.2 → 3.0.0
Vincent Laporte
2025-12-10
treewide: clean up 'meta = with' pattern
Ihar Hrachyshka
2025-10-21
treewide: replace "yes" else "no" usages to lib.boolToYesNo
Aliaksandr
2025-10-12
gnatPackages.gnatprove: Add fsf-15 version
Thomas Heijligen
2025-10-04
pkgs: remove optional builtins prefixes from prelude functions
NAHO
2025-08-03
gnat13Packages.gnatprove: fixup build after gcc13 update
Vladimír Čunát
2025-07-28
treewide: conform descriptions to the standards
mivorasu
2025-07-24
treewide: run nixfmt 1.0.0
Wolfgang Walther
2025-05-27
gnatprove: fix building with gcc-14.3
Thomas Heijligen
2025-04-19
treewide: remove usage of deprecated apple_sdk framework stubs
Ihar Hrachyshka
2025-04-08
Revert "treewide: replace `rev` with `tag`"
Winter
2025-04-07
treewide: replace `rev` with `tag`
Pol Dellaiera
2025-04-01
treewide: Format all Nix files
Silvan Mosberger
2025-03-28
gnatprove: mute warnings about type conversion for aarch64
jayay
2025-03-28
gprbuild: add compiler configuration for aarch64-unknown-linux-gnu
jayay
2025-03-14
treewide: remove unused rec expressions
Sigmanificient
2025-01-19
libpq: init at 17.2
Wolfgang Walther
2024-12-22
Merge staging-next into staging
github-actions[bot]
2024-12-21
gnatPackages: AdaCore 2025 updates (#352856)
sternenseemann
2024-12-17
gpr-project-darwin-rpath-hook.sh: append *Phases with appendToVar
Yueh-Shun Li
2024-12-10
treewide: format all inactive Nix files
Silvan Mosberger
2024-11-30
gnatPackages.gnatcoll-*(db): 24.0.0 -> 25.0.0
sternenseemann
2024-11-30
gnatPackages.gnatcoll-cpp: init at 25.0.0
sternenseemann
2024-11-30
gnatPackages.gpr2: 24.0.0 -> 25.0.0
sternenseemann
2024-11-30
gnatPackages.gnatcoll-*(bindings): 24.0.0 -> 25.0.0
sternenseemann
2024-11-30
gnatPackages.gnatcoll-core: 24.0.0 -> 25.0.0
sternenseemann
2024-11-30
gnatPackages.gprbuild: 24.0.0 -> 25.0.0
sternenseemann
2024-11-30
gnatPackages.xmlada: 24.0.0 -> 25.0.0
R. Ryantm
2024-10-25
gnatPackages.gnatprove: typo fix
sternenseemann
2024-10-25
gnatPackages.gnatprove: run pre/post hooks
sternenseemann
2024-10-25
gnatPackages.gnatprove: Add fsf-14 version
Thomas Heijligen
2024-10-25
gnatPackages.gpr2: init at 24.0.0
Thomas Heijligen
2024-10-25
gnatPackages.gnatprove: Regroup buildInputs
Thomas Heijligen
2024-09-25
treewide: replace `stdenv.is` with `stdenv.hostPlatform.is`
Artturin
2024-08-03
pkgs/development: remove unused arguments
Sigmanificient
2024-07-14
treewide: sha256 -> hash attribute for fetchgit (manually)
aleksana
2024-06-09
treewide: Remove indefinite article from meta.description
Alexis Hildebrandt
2024-05-24
pkgs/development: remove unused fetchpatch arguments
Sigmanificient
2024-04-06
gprbuild: add comment on headerpad_max_install_names
Weijia Wang
2024-04-04
gnat13Packages.gnatcoll-core: fix dylib names
Weijia Wang
2024-02-25
gprbuild: prevent cross compiled gprbuild-boot being pulled in
sternenseemann
2024-02-25
gnatPackages: Add scope for all ada packages
Thomas Heijligen
