nixpkgs
lol
Star 0
Fork 0
Watch

Version history of pkgs/development/coq-modules/ExtLib/default.nix

March 2026

nixpkgs-ci[bot]
Merge master into staging-nixos
committed
nixpkgs-ci[bot]
Merge staging-next into staging
committed
nixpkgs-ci[bot]
Merge master into staging-next
committed
Vincent Laporte
coqPackages.ExtLib: 0.13.0 → 0.13.1 (#504908)
committed
Vincent Laporte
coqPackages.ExtLib: 0.13.0 → 0.13.1
committed

October 2025

Charlie Collard
Merge branch 'master' of github.com:charlie-collard/nixpkgs into patch-1
committed
Wolfgang Walther
Merge commit 'aee3f2ec9ef6ddea6115097946bc237a5b6ad8d9' into haskell-updates
committed
Wolfgang Walther
Merge branch 'staging-next' into staging
committed
K900
Merge remote-tracking branch 'origin/master' into staging-next
committed
Jörg Thalheim
ci/treefmt: add nixf-diagnose (#438559)
committed
Wolfgang Walther
treewide: remove redundant parentheses
committed

July 2025

ilsubyeega
Merge branch 'master' into figma-agent
committed
nixpkgs-ci[bot]
Merge 686386f4cc49e76cb0c03a34e467a5489d6cbfc8 into haskell-updates
committed
nixpkgs-ci[bot]
Merge staging-next into staging
committed
nixpkgs-ci[bot]
Merge master into staging-next
committed
Pierre Roux
coqPackages.*: 9.0 -> 9.1
committed