public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed some descriptions

Browse Source
This commit is contained in:
Pascal Wittmann
2015-04-28 10:54:58 +02:00
parent 74742ad584
commit f99d5cf2fc
54 changed files with 77 additions and 78 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/unimath/default.nix
View File

@@ -18,7 +18,7 @@ stdenv.mkDerivation rec {
meta = with stdenv.lib; {
homepage = https://github.com/UniMath/UniMath;
description = "UniMath aims to formalize a substantial body of mathematics using the univalent point of view.";
description = "A formalization of a substantial body of mathematics using the univalent point of view";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
};