diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2021-07-01 17:47:16 +0700 |
---|---|---|
committer | Ben Siraphob <bensiraphob@gmail.com> | 2021-07-01 21:46:19 +0700 |
commit | 9fd32c9121069f07a53c88863969e290d4d0a211 (patch) | |
tree | b00a566e1aed9bd57eee98dde55cda8fd24ec6cc /pkgs/top-level/coq-packages.nix | |
parent | dd9790a83f3e88d4fc1ca809ec53a48d0d10662e (diff) | |
download | nixpkgs-9fd32c9121069f07a53c88863969e290d4d0a211.tar nixpkgs-9fd32c9121069f07a53c88863969e290d4d0a211.tar.gz nixpkgs-9fd32c9121069f07a53c88863969e290d4d0a211.tar.bz2 nixpkgs-9fd32c9121069f07a53c88863969e290d4d0a211.tar.lz nixpkgs-9fd32c9121069f07a53c88863969e290d4d0a211.tar.xz nixpkgs-9fd32c9121069f07a53c88863969e290d4d0a211.tar.zst nixpkgs-9fd32c9121069f07a53c88863969e290d4d0a211.zip |
coqPackages.itauto: init at 8.13+no
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
-rw-r--r-- | pkgs/top-level/coq-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index f0e54a9ce1d..6fc0500ed53 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -49,6 +49,7 @@ let interval = callPackage ../development/coq-modules/interval {}; InfSeqExt = callPackage ../development/coq-modules/InfSeqExt {}; iris = callPackage ../development/coq-modules/iris {}; + itauto = callPackage ../development/coq-modules/itauto { }; ITree = callPackage ../development/coq-modules/ITree { }; ltac2 = callPackage ../development/coq-modules/ltac2 {}; math-classes = callPackage ../development/coq-modules/math-classes { }; |