anil.recoil.org
forked from
gazagnaire.org/ocaml-crypto
upstream: https://github.com/mirage/mirage-crypto
Fix dev-repo URLs to use tangled.org
+3
-3
crypto-ec.opam
+3
-3
crypto-ec.opam
···
25
25
"Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>"
26
26
]
27
27
license: "MIT"
28
-
homepage: "https://git.recoil.org/gazagnaire.org/ocaml-crypto"
29
-
bug-reports: "https://git.recoil.org/gazagnaire.org/ocaml-crypto/issues"
28
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-crypto"
29
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-crypto/issues"
30
30
depends: [
31
31
"dune" {>= "2.7"}
32
32
"ocaml" {>= "4.13.0"}
···
50
50
["dune" "build" "-p" name "-j" jobs]
51
51
["dune" "runtest" "-p" name "-j" jobs] {with-test}
52
52
]
53
-
dev-repo: "git+ssh://git@git.recoil.org/gazagnaire.org/ocaml-crypto.git"
53
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-crypto.git"
54
54
tags: ["org:mirage"]
55
55
x-maintenance-intent: [ "(latest)" ]
+3
-3
crypto-pk.opam
+3
-3
crypto-pk.opam
···
1
1
opam-version: "2.0"
2
-
homepage: "https://git.recoil.org/gazagnaire.org/ocaml-crypto"
3
-
dev-repo: "git+ssh://git@git.recoil.org/gazagnaire.org/ocaml-crypto.git"
4
-
bug-reports: "https://git.recoil.org/gazagnaire.org/ocaml-crypto/issues"
2
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-crypto"
3
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-crypto.git"
4
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-crypto/issues"
5
5
authors: ["David Kaloper <dk505@cam.ac.uk>" "Hannes Mehnert <hannes@mehnert.org>" ]
6
6
maintainer: "Thomas Gazagnaire <thomas@gazagnaire.org>"
7
7
license: "ISC"
+3
-3
crypto-rng.opam
+3
-3
crypto-rng.opam
···
1
1
opam-version: "2.0"
2
-
homepage: "https://git.recoil.org/gazagnaire.org/ocaml-crypto"
3
-
dev-repo: "git+ssh://git@git.recoil.org/gazagnaire.org/ocaml-crypto.git"
4
-
bug-reports: "https://git.recoil.org/gazagnaire.org/ocaml-crypto/issues"
2
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-crypto"
3
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-crypto.git"
4
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-crypto/issues"
5
5
authors: ["David Kaloper <dk505@cam.ac.uk>" "Hannes Mehnert <hannes@mehnert.org>" ]
6
6
maintainer: "Thomas Gazagnaire <thomas@gazagnaire.org>"
7
7
license: "ISC"
+3
-3
crypto.opam
+3
-3
crypto.opam
···
1
1
opam-version: "2.0"
2
-
homepage: "https://git.recoil.org/gazagnaire.org/ocaml-crypto"
3
-
dev-repo: "git+ssh://git@git.recoil.org/gazagnaire.org/ocaml-crypto.git"
4
-
bug-reports: "https://git.recoil.org/gazagnaire.org/ocaml-crypto/issues"
2
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-crypto"
3
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-crypto.git"
4
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-crypto/issues"
5
5
authors: ["David Kaloper <dk505@cam.ac.uk>" "Hannes Mehnert <hannes@mehnert.org>" ]
6
6
maintainer: "Thomas Gazagnaire <thomas@gazagnaire.org>"
7
7
license: "ISC"