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/development/coq-modules/tlc/default.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/development/coq-modules/tlc/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/tlc/default.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/tlc/default.nix b/pkgs/development/coq-modules/tlc/default.nix new file mode 100644 index 00000000000..4748a0dd238 --- /dev/null +++ b/pkgs/development/coq-modules/tlc/default.nix @@ -0,0 +1,27 @@ +{ stdenv, fetchurl, coq }: + +stdenv.mkDerivation rec { + version = "20171206"; + name = "coq${coq.coq-version}-tlc-${version}"; + + src = fetchurl { + url = "http://tlc.gforge.inria.fr/releases/tlc-${version}.tar.gz"; + sha256 = "1wc44qb5zmarafp56gdrbka8gllipqna9cj0a6d99jzb361xg4mf"; + }; + + buildInputs = [ coq ]; + + installFlags = "CONTRIB=$(out)/lib/coq/${coq.coq-version}/user-contrib"; + + meta = { + homepage = "http://www.chargueraud.org/softs/tlc/"; + description = "A non-constructive library for Coq"; + license = stdenv.lib.licenses.free; + maintainers = [ stdenv.lib.maintainers.vbgl ]; + inherit (coq.meta) platforms; + }; + + passthru = { + compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6"; + }; +} |