diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda/metadata.xml | 2 | ||||
| -rw-r--r-- | sci-mathematics/cgal/metadata.xml | 2 | ||||
| -rw-r--r-- | sci-mathematics/metadata.xml | 1 | ||||
| -rw-r--r-- | sci-mathematics/normaliz/metadata.xml | 2 | ||||
| -rw-r--r-- | sci-mathematics/relational/metadata.xml | 2 | ||||
| -rw-r--r-- | sci-mathematics/z3/metadata.xml | 2 |
6 files changed, 5 insertions, 6 deletions
diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml index 5606f0f0585e..ea5eaca193ca 100644 --- a/sci-mathematics/agda/metadata.xml +++ b/sci-mathematics/agda/metadata.xml @@ -13,7 +13,7 @@ </use> <longdescription> Agda is a dependently typed functional programming language: It has - inductive families, which are similar to Haskell's GADTs, but they + inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the diff --git a/sci-mathematics/cgal/metadata.xml b/sci-mathematics/cgal/metadata.xml index d26f70426b39..c112d5c4888d 100644 --- a/sci-mathematics/cgal/metadata.xml +++ b/sci-mathematics/cgal/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="project"> diff --git a/sci-mathematics/metadata.xml b/sci-mathematics/metadata.xml index 1eb658e8e1cc..2fa3d175eaae 100644 --- a/sci-mathematics/metadata.xml +++ b/sci-mathematics/metadata.xml @@ -34,4 +34,3 @@ matematyką. </longdescription> </catmetadata> - diff --git a/sci-mathematics/normaliz/metadata.xml b/sci-mathematics/normaliz/metadata.xml index 6850002611f6..f2da9c77a667 100644 --- a/sci-mathematics/normaliz/metadata.xml +++ b/sci-mathematics/normaliz/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="project"> diff --git a/sci-mathematics/relational/metadata.xml b/sci-mathematics/relational/metadata.xml index e3c73f6f84a6..bbb1da01e845 100644 --- a/sci-mathematics/relational/metadata.xml +++ b/sci-mathematics/relational/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="project"> diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml index 2d840f8f9a83..382a4061fed7 100644 --- a/sci-mathematics/z3/metadata.xml +++ b/sci-mathematics/z3/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="person"> |