2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-19 03:14:03 +00:00
nixpkgs/pkgs/test/coq/default.nix
2022-08-29 14:46:20 +09:00

7 lines
116 B
Nix

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