diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-19 14:26:11 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-12-28 08:19:54 +0100 |
| commit | a9d066a990928b00f3e3578c0d324e465f05f1cd (patch) | |
| tree | ff39b890949f739f1545cd6f10477428c235e559 /pkgs/top-level/coq-packages.nix | |
| parent | 5128f43b283da1214ad5004092b1e0d9f34a7ec8 (diff) | |
| download | nixpkgs-a9d066a990928b00f3e3578c0d324e465f05f1cd.tar nixpkgs-a9d066a990928b00f3e3578c0d324e465f05f1cd.tar.gz nixpkgs-a9d066a990928b00f3e3578c0d324e465f05f1cd.tar.bz2 nixpkgs-a9d066a990928b00f3e3578c0d324e465f05f1cd.tar.lz nixpkgs-a9d066a990928b00f3e3578c0d324e465f05f1cd.tar.xz nixpkgs-a9d066a990928b00f3e3578c0d324e465f05f1cd.tar.zst nixpkgs-a9d066a990928b00f3e3578c0d324e465f05f1cd.zip | |
coqPackages.tlc: init at 20171206
TLC is a general purpose Coq library that provides an alternative to Coq's standard library. Homepage: http://www.chargueraud.org/softs/tlc/
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 fd6fc21c680..c27a2e7d39d 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -36,6 +36,7 @@ let paco = callPackage ../development/coq-modules/paco {}; QuickChick = callPackage ../development/coq-modules/QuickChick {}; ssreflect = callPackage ../development/coq-modules/ssreflect { }; + tlc = callPackage ../development/coq-modules/tlc {}; }; filterCoqPackages = coq: |