python312Packages.dbt-semantic-interfaces: 0.7.4 -> 0.8.1 (#356908)

[NixPkgs.git] / pkgs / test / coq / default.nix

{ lib, callPackage }:

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