default.nix « coq « test « pkgs - nixpkgs - Nixpkgs mirror

index : nixpkgs

Nixpkgs mirror

NixOS

summary refs log tree commit diff stats

path: root/pkgs/test/coq/default.nix

blob: e0fa0e26ace94ccdef7482b97c9c10f19ee76d28 (plain)

{ lib, callPackage }:

lib.recurseIntoAttrs {
  overrideCoqDerivation = callPackage ./overrideCoqDerivation { };
}