this repo has no description
Merge pull request #25100 from backtracking/fix-broken-tarballs-from-lri
fix broken tarball URLs from lri.fr
authored by
Marcello Seri
and committed by
GitHub
2bd2db26
9d80cd35
+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
}