this repo has no description
fix broken tarball URLs from lri.fr
The websites at lri.fr no longer exist, or will be discontinued
very soon.
This PR updates several URLs of tarballs that have been moved to
github. In the process, it also updates contact emails and
homepages of various packages.
+31
-31
+3
-3
packages/bibtex2html/bibtex2html.1.97/opam
+3
-3
packages/bibtex2html/bibtex2html.1.97/opam
···
1
1
opam-version: "2.0"
2
-
maintainer: "filliatr@lri.fr"
2
+
maintainer: ["jean-christophe.filliatre@cnrs.fr"]
3
3
authors: [
4
4
"Jean-Christophe Filliâtre"
5
5
"Claude Marché"
6
6
]
7
-
homepage: "https://www.lri.fr/~filliatr/bibtex2html/"
7
+
homepage: "https://github.com/backtracking/bibtex2html"
8
8
dev-repo: "git+https://github.com/backtracking/bibtex2html.git"
9
9
bug-reports: "https://github.com/backtracking/bibtex2html/issues"
10
10
license: "GPL-2.0-only"
···
24
24
synopsis: "BibTeX to HTML translator"
25
25
extra-files: ["make-uninstall.patch" "md5=9b4962f579a48817413af55901dc1db1"]
26
26
url {
27
-
src: "http://www.lri.fr/~filliatr/ftp/bibtex2html/bibtex2html-1.97.tar.gz"
27
+
src: "https://github.com/backtracking/bibtex2html/releases/download/v1.97/bibtex2html-1.97.tar.gz"
28
28
checksum: "md5=d20d0d607be3f6aa770554f3eee0dde1"
29
29
}
+3
-3
packages/bibtex2html/bibtex2html.1.98/opam
+3
-3
packages/bibtex2html/bibtex2html.1.98/opam
···
1
1
opam-version: "2.0"
2
-
maintainer: "filliatr@lri.fr"
2
+
maintainer: ["jean-christophe.filliatre@cnrs.fr"]
3
3
authors: [
4
4
"Jean-Christophe Filliâtre"
5
5
"Claude Marché"
6
6
]
7
-
homepage: "https://www.lri.fr/~filliatr/bibtex2html/"
7
+
homepage: "https://github.com/backtracking/bibtex2html"
8
8
dev-repo: "git+https://github.com/backtracking/bibtex2html.git"
9
9
bug-reports: "https://github.com/backtracking/bibtex2html/issues"
10
10
license: "GPL-2.0-only"
···
24
24
synopsis: "BibTeX to HTML translator"
25
25
extra-files: ["make-uninstall.patch" "md5=9b4962f579a48817413af55901dc1db1"]
26
26
url {
27
-
src: "http://www.lri.fr/~filliatr/ftp/bibtex2html/bibtex2html-1.98.tar.gz"
27
+
src: "https://github.com/backtracking/bibtex2html/releases/download/v1.98/bibtex2html-1.98.tar.gz"
28
28
checksum: "md5=33a96d32d6ca870163855573253aa720"
29
29
}
+3
-3
packages/bibtex2html/bibtex2html.1.99-1/opam
+3
-3
packages/bibtex2html/bibtex2html.1.99-1/opam
···
1
1
opam-version: "2.0"
2
-
maintainer: "filliatr@lri.fr"
2
+
maintainer: ["jean-christophe.filliatre@cnrs.fr"]
3
3
authors: [
4
4
"Jean-Christophe Filliâtre"
5
5
"Claude Marché"
6
6
]
7
-
homepage: "https://www.lri.fr/~filliatr/bibtex2html/"
7
+
homepage: "https://github.com/backtracking/bibtex2html"
8
8
dev-repo: "git+https://github.com/backtracking/bibtex2html.git"
9
9
bug-reports: "https://github.com/backtracking/bibtex2html/issues"
10
10
license: "GPL-2.0-only"
···
19
19
install: [make "install"]
20
20
synopsis: "BibTeX to HTML translator"
21
21
url {
22
-
src: "http://www.lri.fr/~filliatr/ftp/bibtex2html/bibtex2html-1.99.tar.gz"
22
+
src: "https://github.com/backtracking/bibtex2html/releases/download/v-1-99/bibtex2html-1.99.tar.gz"
23
23
checksum: "md5=85f8d617b13d34a552261b3fbb406a0f"
24
24
}
+3
-3
packages/bibtex2html/bibtex2html.1.99/opam
+3
-3
packages/bibtex2html/bibtex2html.1.99/opam
···
1
1
opam-version: "2.0"
2
-
maintainer: "filliatr@lri.fr"
2
+
maintainer: ["jean-christophe.filliatre@cnrs.fr"]
3
3
authors: [
4
4
"Jean-Christophe Filliâtre"
5
5
"Claude Marché"
6
6
]
7
-
homepage: "https://www.lri.fr/~filliatr/bibtex2html/"
7
+
homepage: "https://github.com/backtracking/bibtex2html"
8
8
dev-repo: "git+https://github.com/backtracking/bibtex2html.git"
9
9
bug-reports: "https://github.com/backtracking/bibtex2html/issues"
10
10
license: "GPL-2.0-only"
···
27
27
["0001-make-uninstall.patch" "md5=9b4962f579a48817413af55901dc1db1"]
28
28
]
29
29
url {
30
-
src: "http://www.lri.fr/~filliatr/ftp/bibtex2html/bibtex2html-1.99.tar.gz"
30
+
src: "https://github.com/backtracking/bibtex2html/releases/download/v-1-99/bibtex2html-1.99.tar.gz"
31
31
checksum: "md5=85f8d617b13d34a552261b3fbb406a0f"
32
32
}
+1
-1
packages/combine/combine.0.42/opam
+1
-1
packages/combine/combine.0.42/opam
+1
-1
packages/combine/combine.0.55/opam
+1
-1
packages/combine/combine.0.55/opam
+3
-3
packages/combine/combine.0.6/opam
+3
-3
packages/combine/combine.0.6/opam
···
1
1
opam-version: "2.0"
2
2
license: "LGPL-2.1-only"
3
-
maintainer: "Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr>"
4
-
authors: ["Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr>" "Rémy El Sibaie <remy.el-sibaie@lip6.fr>"]
5
-
homepage: "https://www.lri.fr/~filliatr/combine/"
3
+
maintainer: "Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr>"
4
+
authors: ["Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr>" "Rémy El Sibaie <remy.el-sibaie@lip6.fr>"]
5
+
homepage: "https://github.com/backtracking/combine"
6
6
bug-reports: "http://github.com/backtracking/combine/issues"
7
7
dev-repo: "git+https://github.com/backtracking/combine.git"
8
8
build: [
+1
-1
packages/flex-array/flex-array.1.0.0/opam
+1
-1
packages/flex-array/flex-array.1.0.0/opam
+1
-1
packages/flex-array/flex-array.1.1.0/opam
+1
-1
packages/flex-array/flex-array.1.1.0/opam
+1
-1
packages/flex-array/flex-array.1.2.0/opam
+1
-1
packages/flex-array/flex-array.1.2.0/opam
+2
-2
packages/functory/functory.0.5/opam
+2
-2
packages/functory/functory.0.5/opam
···
4
4
"Jean-Christophe Filliâtre"
5
5
"Kalyan Krishnamani"
6
6
]
7
-
homepage: "http://functory.lri.fr/"
7
+
homepage: "https://github.com/backtracking/functory"
8
8
dev-repo: "git+https://github.com/backtracking/functory.git"
9
9
license: "LGPL-2.1-only"
10
10
build: [
···
20
20
synopsis: "Distributed computing library."
21
21
flags: light-uninstall
22
22
url {
23
-
src: "https://www.lri.fr/~filliatr/functory/download/functory-0.5.tar.gz"
23
+
src: "https://github.com/backtracking/functory/releases/download/v-0-5/functory-0.5.tar.gz"
24
24
checksum: "md5=c7e6576c3e6b3a7e247eab530d7e4de8"
25
25
}
+2
-2
packages/functory/functory.0.6/opam
+2
-2
packages/functory/functory.0.6/opam
···
4
4
"Jean-Christophe Filliâtre"
5
5
"Kalyan Krishnamani"
6
6
]
7
-
homepage: "http://functory.lri.fr/"
7
+
homepage: "https://github.com/backtracking/functory"
8
8
dev-repo: "git+https://github.com/backtracking/functory.git"
9
9
license: "LGPL-2.1-only"
10
10
build: [
···
20
20
synopsis: "Distributed computing library."
21
21
flags: light-uninstall
22
22
url {
23
-
src: "https://www.lri.fr/~filliatr/functory/download/functory-0.6.tar.gz"
23
+
src: "https://github.com/backtracking/functory/releases/download/v-0-6/functory-0.6.tar.gz"
24
24
checksum: "md5=0dd4a8ce7f2c8f293686a7df5c307477"
25
25
}
+1
-1
packages/mlpost/mlpost.0.9/opam
+1
-1
packages/mlpost/mlpost.0.9/opam
+2
-2
packages/ocamlwc/ocamlwc.0.3/opam
+2
-2
packages/ocamlwc/ocamlwc.0.3/opam
···
1
1
opam-version: "2.0"
2
-
maintainer: "filliatr@lri.fr"
2
+
maintainer: ["jean-christophe.filliatre@cnrs.fr"]
3
3
authors: ["Jean-Christophe Filliâtre"]
4
4
license: "GPL-2.0-only"
5
5
build: [
···
10
10
synopsis: "Count lines in OCaml source code"
11
11
depends: ["ocaml"]
12
12
url {
13
-
src: "http://www.lri.fr/~filliatr/ftp/ocaml/misc/ocamlwc-0.3.tar.gz"
13
+
src: "https://github.com/backtracking/ocamlwc/releases/download/V-0-3/ocamlwc-0.3.tar.gz"
14
14
checksum: "md5=72bb9e8c0dad08735b62dabe216967d6"
15
15
}
+2
-2
packages/ocamlweb/ocamlweb.1.38/opam
+2
-2
packages/ocamlweb/ocamlweb.1.38/opam
···
1
1
opam-version: "2.0"
2
-
maintainer: "filliatr@lri.fr"
2
+
maintainer: ["jean-christophe.filliatre@cnrs.fr"]
3
3
authors: ["Jean-Christophe Filliâtre"]
4
4
license: "LGPL-2.1-only"
5
5
build: [
···
25
25
]
26
26
extra-files: ["ocamlweb.install" "md5=8190c722de440e2f113fd8c332c29be6"]
27
27
url {
28
-
src: "http://www.lri.fr/~filliatr/ftp/ocamlweb/ocamlweb-1.38.tar.gz"
28
+
src: "https://github.com/backtracking/ocamlweb/releases/download/v1.38/ocamlweb-1.38.tar.gz"
29
29
checksum: "md5=8b4d446a0a6cfc0925c60647d424510e"
30
30
}
+2
-2
packages/ocamlweb/ocamlweb.1.39/opam
+2
-2
packages/ocamlweb/ocamlweb.1.39/opam
···
1
1
opam-version: "2.0"
2
-
maintainer: "filliatr@lri.fr"
2
+
maintainer: ["jean-christophe.filliatre@cnrs.fr"]
3
3
authors: ["Jean-Christophe Filliâtre"]
4
4
license: "LGPL-2.1-only"
5
5
build: [
···
25
25
]
26
26
extra-files: ["ocamlweb.install" "md5=8190c722de440e2f113fd8c332c29be6"]
27
27
url {
28
-
src: "http://www.lri.fr/~filliatr/ftp/ocamlweb/ocamlweb-1.39.tar.gz"
28
+
src: "https://github.com/backtracking/ocamlweb/releases/download/v1.39/ocamlweb-1.39.tar.gz"
29
29
checksum: "md5=d6038bba8c67a36abe156c172637be24"
30
30
}