summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/base_bigstring/metadata.xml2
-rw-r--r--dev-ml/base_quickcheck/metadata.xml2
-rw-r--r--dev-ml/bin_prot/metadata.xml2
-rw-r--r--dev-ml/cinaps/metadata.xml2
-rw-r--r--dev-ml/jst-config/metadata.xml2
-rw-r--r--dev-ml/metadata.xml1
-rw-r--r--dev-ml/mmap/metadata.xml2
-rw-r--r--dev-ml/ocaml-migrate-parsetree/metadata.xml2
-rw-r--r--dev-ml/parsexp/metadata.xml2
-rw-r--r--dev-ml/ppx_cold/metadata.xml2
-rw-r--r--dev-ml/ppx_fixed_literal/metadata.xml2
-rw-r--r--dev-ml/ppx_module_timer/metadata.xml2
-rw-r--r--dev-ml/ppx_stable/metadata.xml2
-rw-r--r--dev-ml/ppx_string/metadata.xml2
-rw-r--r--dev-ml/ppxfind/metadata.xml2
-rw-r--r--dev-ml/ppxlib/metadata.xml2
-rw-r--r--dev-ml/sexplib0/metadata.xml2
-rw-r--r--dev-ml/time_now/metadata.xml2
18 files changed, 17 insertions, 18 deletions
diff --git a/dev-ml/base_bigstring/metadata.xml b/dev-ml/base_bigstring/metadata.xml
index 70e661420ebd..19d0dd1957af 100644
--- a/dev-ml/base_bigstring/metadata.xml
+++ b/dev-ml/base_bigstring/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/dev-ml/base_quickcheck/metadata.xml b/dev-ml/base_quickcheck/metadata.xml
index 9859b7303328..7249c288755a 100644
--- a/dev-ml/base_quickcheck/metadata.xml
+++ b/dev-ml/base_quickcheck/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">
diff --git a/dev-ml/bin_prot/metadata.xml b/dev-ml/bin_prot/metadata.xml
index 352205a61728..506875a7ca56 100644
--- a/dev-ml/bin_prot/metadata.xml
+++ b/dev-ml/bin_prot/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">
diff --git a/dev-ml/cinaps/metadata.xml b/dev-ml/cinaps/metadata.xml
index b15b69a6000e..5009a28d6d44 100644
--- a/dev-ml/cinaps/metadata.xml
+++ b/dev-ml/cinaps/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/dev-ml/jst-config/metadata.xml b/dev-ml/jst-config/metadata.xml
index dfb62d54d092..9695c81b0cf8 100644
--- a/dev-ml/jst-config/metadata.xml
+++ b/dev-ml/jst-config/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">
diff --git a/dev-ml/metadata.xml b/dev-ml/metadata.xml
index 54ef546c0f26..8c47159ecc84 100644
--- a/dev-ml/metadata.xml
+++ b/dev-ml/metadata.xml
@@ -37,4 +37,3 @@
językiem programowania ML.
</longdescription>
</catmetadata>
-
diff --git a/dev-ml/mmap/metadata.xml b/dev-ml/mmap/metadata.xml
index 3c0ce5319562..75a96f40ae08 100644
--- a/dev-ml/mmap/metadata.xml
+++ b/dev-ml/mmap/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">
diff --git a/dev-ml/ocaml-migrate-parsetree/metadata.xml b/dev-ml/ocaml-migrate-parsetree/metadata.xml
index bf3554de4973..a5f97e49777d 100644
--- a/dev-ml/ocaml-migrate-parsetree/metadata.xml
+++ b/dev-ml/ocaml-migrate-parsetree/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/dev-ml/parsexp/metadata.xml b/dev-ml/parsexp/metadata.xml
index 45889fd58f9d..ec5d4ff1ab88 100644
--- a/dev-ml/parsexp/metadata.xml
+++ b/dev-ml/parsexp/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">
diff --git a/dev-ml/ppx_cold/metadata.xml b/dev-ml/ppx_cold/metadata.xml
index fce837d2f493..6f4a7fe7e1eb 100644
--- a/dev-ml/ppx_cold/metadata.xml
+++ b/dev-ml/ppx_cold/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">
diff --git a/dev-ml/ppx_fixed_literal/metadata.xml b/dev-ml/ppx_fixed_literal/metadata.xml
index 257ae7bfeade..bba8ca659214 100644
--- a/dev-ml/ppx_fixed_literal/metadata.xml
+++ b/dev-ml/ppx_fixed_literal/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">
diff --git a/dev-ml/ppx_module_timer/metadata.xml b/dev-ml/ppx_module_timer/metadata.xml
index b993e4623ddc..b916abe0f3a0 100644
--- a/dev-ml/ppx_module_timer/metadata.xml
+++ b/dev-ml/ppx_module_timer/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">
diff --git a/dev-ml/ppx_stable/metadata.xml b/dev-ml/ppx_stable/metadata.xml
index b92f10916eeb..0eb54d519244 100644
--- a/dev-ml/ppx_stable/metadata.xml
+++ b/dev-ml/ppx_stable/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">
diff --git a/dev-ml/ppx_string/metadata.xml b/dev-ml/ppx_string/metadata.xml
index 1350c31c1a0c..d8a1d8c4676f 100644
--- a/dev-ml/ppx_string/metadata.xml
+++ b/dev-ml/ppx_string/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">
diff --git a/dev-ml/ppxfind/metadata.xml b/dev-ml/ppxfind/metadata.xml
index a5ded19769e9..a63014b289a3 100644
--- a/dev-ml/ppxfind/metadata.xml
+++ b/dev-ml/ppxfind/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/dev-ml/ppxlib/metadata.xml b/dev-ml/ppxlib/metadata.xml
index 196ba5d9bcbf..41c7d3b61556 100644
--- a/dev-ml/ppxlib/metadata.xml
+++ b/dev-ml/ppxlib/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/dev-ml/sexplib0/metadata.xml b/dev-ml/sexplib0/metadata.xml
index e579604e5a49..87919029451d 100644
--- a/dev-ml/sexplib0/metadata.xml
+++ b/dev-ml/sexplib0/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">
diff --git a/dev-ml/time_now/metadata.xml b/dev-ml/time_now/metadata.xml
index b78a86fdab86..7f3d529ba9a3 100644
--- a/dev-ml/time_now/metadata.xml
+++ b/dev-ml/time_now/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">