aboutsummaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorJustin Lecher <jlec@gentoo.org>2015-06-21 12:25:27 +0200
committerJustin Lecher <jlec@gentoo.org>2015-06-21 12:25:27 +0200
commita891336052fb27fd9f3f82e33c30f0984f50ea54 (patch)
treede17e959b3cccda4481344867f797bfdb42713e2 /dev-ml
parentMerge remote-tracking branch 'github/master' (diff)
downloadsci-a891336052fb27fd9f3f82e33c30f0984f50ea54.tar.gz
sci-a891336052fb27fd9f3f82e33c30f0984f50ea54.tar.bz2
sci-a891336052fb27fd9f3f82e33c30f0984f50ea54.zip
Revert "Gentoo does https by default now"
This reverts commit 98718494343af4990facdefb0033471686e975a6.
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/gsl-ocaml/metadata.xml2
-rw-r--r--dev-ml/lacaml/metadata.xml2
-rw-r--r--dev-ml/mlgmpidl/metadata.xml2
-rw-r--r--dev-ml/zarith/metadata.xml2
4 files changed, 4 insertions, 4 deletions
diff --git a/dev-ml/gsl-ocaml/metadata.xml b/dev-ml/gsl-ocaml/metadata.xml
index acc88c8a8..8a2bb7bd7 100644
--- a/dev-ml/gsl-ocaml/metadata.xml
+++ b/dev-ml/gsl-ocaml/metadata.xml
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>sci</herd>
<longdescription lang="en">
diff --git a/dev-ml/lacaml/metadata.xml b/dev-ml/lacaml/metadata.xml
index 2514af660..e0b7a097d 100644
--- a/dev-ml/lacaml/metadata.xml
+++ b/dev-ml/lacaml/metadata.xml
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>sci</herd>
<longdescription lang="en">
diff --git a/dev-ml/mlgmpidl/metadata.xml b/dev-ml/mlgmpidl/metadata.xml
index 0101f1e17..2bf2d92bd 100644
--- a/dev-ml/mlgmpidl/metadata.xml
+++ b/dev-ml/mlgmpidl/metadata.xml
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>sci-mathematics</herd>
<longdescription>
diff --git a/dev-ml/zarith/metadata.xml b/dev-ml/zarith/metadata.xml
index 1d746df6e..0677155e7 100644
--- a/dev-ml/zarith/metadata.xml
+++ b/dev-ml/zarith/metadata.xml
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>sci-mathematics</herd>
<longdescription>