diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2009-11-02 11:44:27 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2009-11-02 11:44:27 +0000 |
commit | a0207b3dc7ff3583df37f2bb8bab939390f964c7 (patch) | |
tree | 73d3a5c3f60ca547200cbd98064ad97b7bb973f9 /pkgs/development/tools/ocaml/camlp5 | |
parent | c4533b8d2487cdb501fa28649b84affb6d659105 (diff) |
Updated Coq to version 8.2pl1
svn path=/nixpkgs/trunk/; revision=18069
Diffstat (limited to 'pkgs/development/tools/ocaml/camlp5')
-rw-r--r-- | pkgs/development/tools/ocaml/camlp5/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/tools/ocaml/camlp5/default.nix b/pkgs/development/tools/ocaml/camlp5/default.nix index b630c05fe53fb..7c87243054bd7 100644 --- a/pkgs/development/tools/ocaml/camlp5/default.nix +++ b/pkgs/development/tools/ocaml/camlp5/default.nix @@ -24,7 +24,7 @@ stdenv.mkDerivation { buildFlags = "world.opt"; meta = { - description = "Preprocessor-pretty-printer for OCaml."; + description = "Preprocessor-pretty-printer for OCaml"; longDescription = '' Camlp5 is a preprocessor and pretty-printer for OCaml programs. It also provides parsing and printing tools. |