diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-05-07 07:29:33 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-05-07 07:29:33 +0200 |
| commit | f393892bb369a73ff655d7336369d43fd45f06ff (patch) | |
| tree | 3ef1bff4bd233e0073d4d819e443856e7e3e65b7 /pkgs/development/coq-modules/itauto/default.nix | |
| parent | e9d3fe8f289627ed3f224339241d7317675effc2 (diff) | |
| download | nixpkgs-f393892bb369a73ff655d7336369d43fd45f06ff.tar nixpkgs-f393892bb369a73ff655d7336369d43fd45f06ff.tar.gz nixpkgs-f393892bb369a73ff655d7336369d43fd45f06ff.tar.bz2 nixpkgs-f393892bb369a73ff655d7336369d43fd45f06ff.tar.lz nixpkgs-f393892bb369a73ff655d7336369d43fd45f06ff.tar.xz nixpkgs-f393892bb369a73ff655d7336369d43fd45f06ff.tar.zst nixpkgs-f393892bb369a73ff655d7336369d43fd45f06ff.zip | |
coqPackages.smtcoq: disable for Coq > 8.13
Diffstat (limited to 'pkgs/development/coq-modules/itauto/default.nix')
0 files changed, 0 insertions, 0 deletions