diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-05-22 19:26:32 +0200 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-05-22 19:26:32 +0200 |
| commit | 571a1e19e929d72bad5e99f3992728e4a16ca17b (patch) | |
| tree | 4571e52226e18bba46f0f42e789680f49171a479 /pkgs/top-level/coq-packages.nix | |
| parent | 11b343534578626d1354af507fcfb3572e3aaabe (diff) | |
| download | nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar.gz nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar.bz2 nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar.lz nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar.xz nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.tar.zst nixpkgs-571a1e19e929d72bad5e99f3992728e4a16ca17b.zip | |
coqPackages.iris: init at 3.1.0 (#40909)
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 519d1cb9ed4..2bc5671e987 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -29,6 +29,7 @@ let heq = callPackage ../development/coq-modules/heq {}; HoTT = callPackage ../development/coq-modules/HoTT {}; interval = callPackage ../development/coq-modules/interval {}; + iris = callPackage ../development/coq-modules/iris {}; math-classes = callPackage ../development/coq-modules/math-classes { }; mathcomp = callPackage ../development/coq-modules/mathcomp { }; metalib = callPackage ../development/coq-modules/metalib { }; |