this repo has no description

git.robur.io is now git.robur.coop github.com/roburio is now github.com/robur-coop

Changed files
+90 -90
packages
lun
lun.0.0.1
miou
miou.0.0.1~beta1
mirage-monitoring
mirage-monitoring.0.0.1
mirage-monitoring.0.0.2
mirage-monitoring.0.0.3
mirage-monitoring.0.0.4
oneffs
oneffs.0.1.0
opam-graph
opam-graph.0.1.1
pf-qubes
pf-qubes.0.1.0
pf-qubes.0.1.1
ppx_lun
ppx_lun.0.0.1
solo5-elftool
solo5-elftool.0.1.0
solo5-elftool.0.2.0
solo5-elftool.0.3.0
solo5-elftool.0.3.1
u2f
u2f.0.1.0
u2f.0.1.1
u2f.0.1.2
webauthn
webauthn.0.1.0
+5 -5
packages/lun/lun.0.0.1/opam
···
maintainer: [ "romain.calascibetta@gmail.com" ]
authors: "Romain Calascibetta"
license: "ISC"
-
homepage: "https://git.robur.io/robur/lun"
-
bug-reports: "https://git.robur.io/robur/lun/issues"
-
dev-repo: "git+https://github.com/roburio/lun.git"
-
doc: "https://roburio.github.io/lun/"
synopsis: "Optics in OCaml"
description: """Optics in OCaml: accessors of records and adts as values - (▀̿Ĺ̯▀̿ ̿)"""
···
]
url {
src:
-
"https://github.com/roburio/lun/releases/download/v0.0.1/lun-0.0.1.tbz"
checksum: [
"sha256=cca8badff83b470fdcfb1840116f8e8a6f2cb86cde2f44ed28cf26cbf692a793"
"sha512=fdded797a6a89f2900a9a2676ad096dd6e5a37833d7a30702e55276f5e01f62da190df0385e721abd0619e3461902b007074e3c92b4283c8f9e325f6f6fb8e17"
···
maintainer: [ "romain.calascibetta@gmail.com" ]
authors: "Romain Calascibetta"
license: "ISC"
+
homepage: "https://git.robur.coop/robur/lun"
+
bug-reports: "https://git.robur.coop/robur/lun/issues"
+
dev-repo: "git+https://github.com/robur-coop/lun.git"
+
doc: "https://robur-coop.github.io/lun/"
synopsis: "Optics in OCaml"
description: """Optics in OCaml: accessors of records and adts as values - (▀̿Ĺ̯▀̿ ̿)"""
···
]
url {
src:
+
"https://github.com/robur-coop/lun/releases/download/v0.0.1/lun-0.0.1.tbz"
checksum: [
"sha256=cca8badff83b470fdcfb1840116f8e8a6f2cb86cde2f44ed28cf26cbf692a793"
"sha512=fdded797a6a89f2900a9a2676ad096dd6e5a37833d7a30702e55276f5e01f62da190df0385e721abd0619e3461902b007074e3c92b4283c8f9e325f6f6fb8e17"
+2 -2
packages/miou/miou.0.0.1~beta1/opam
···
authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
homepage: "https://git.robur.coop/robur/miou"
bug-reports: "https://git.robur.coop/robur/miou/issues"
-
dev-repo: "git+https://github.com/roburio/miou.git"
doc: "https://docs.osau.re/miou/"
license: "MIT"
synopsis: "Composable concurrency primitives for OCaml"
···
flags: avoid-version
url {
src:
-
"https://github.com/roburio/miou/releases/download/v0.0.1_beta1/miou-0.0.1.beta1.tbz"
checksum: [
"sha256=d6a688f389dc43b2647de4515bc0717952184367e8c9f37071f1baad338e4415"
"sha512=b42b315f4e0a205acd54e4206bfe4761d708520cfc2389a0be0b160546bf11b6f65c973ff3937bd6c567323094523a2f527036f0ad792aa73f6c9a2330343eee"
···
authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
homepage: "https://git.robur.coop/robur/miou"
bug-reports: "https://git.robur.coop/robur/miou/issues"
+
dev-repo: "git+https://github.com/robur-coop/miou.git"
doc: "https://docs.osau.re/miou/"
license: "MIT"
synopsis: "Composable concurrency primitives for OCaml"
···
flags: avoid-version
url {
src:
+
"https://github.com/robur-coop/miou/releases/download/v0.0.1_beta1/miou-0.0.1.beta1.tbz"
checksum: [
"sha256=d6a688f389dc43b2647de4515bc0717952184367e8c9f37071f1baad338e4415"
"sha512=b42b315f4e0a205acd54e4206bfe4761d708520cfc2389a0be0b160546bf11b6f65c973ff3937bd6c567323094523a2f527036f0ad792aa73f6c9a2330343eee"
+5 -5
packages/mirage-monitoring/mirage-monitoring.0.0.1/opam
···
opam-version: "2.0"
maintainer: "Robur <team@robur.coop>"
authors: ["Robur <team@robur.coop>"]
-
homepage: "https://github.com/roburio/mirage-monitoring"
-
doc: "https://roburio.github.io/mirage-monitoring"
-
dev-repo: "git+https://github.com/roburio/mirage-monitoring.git"
-
bug-reports: "https://github.com/roburio/mirage-monitoring/issues"
license: "AGPL-3.0-only"
depends: [
···
"""
url {
src:
-
"https://github.com/roburio/mirage-monitoring/releases/download/v0.0.1/mirage-monitoring-0.0.1.tbz"
checksum: [
"sha256=eeab5fdc332a97c361bc1c76ea7124a761ac8e2e88214129e2085b73cf02142b"
"sha512=d990da8398ae70ed5644bcff6eb995370798a5bb33a7b309e5ea15831959e93db20183d24c2a35b95e36bda870e8df6f4e584416f9dc5010c75a99bbf00ff504"
···
opam-version: "2.0"
maintainer: "Robur <team@robur.coop>"
authors: ["Robur <team@robur.coop>"]
+
homepage: "https://github.com/robur-coop/mirage-monitoring"
+
doc: "https://robur-coop.github.io/mirage-monitoring"
+
dev-repo: "git+https://github.com/robur-coop/mirage-monitoring.git"
+
bug-reports: "https://github.com/robur-coop/mirage-monitoring/issues"
license: "AGPL-3.0-only"
depends: [
···
"""
url {
src:
+
"https://github.com/robur-coop/mirage-monitoring/releases/download/v0.0.1/mirage-monitoring-0.0.1.tbz"
checksum: [
"sha256=eeab5fdc332a97c361bc1c76ea7124a761ac8e2e88214129e2085b73cf02142b"
"sha512=d990da8398ae70ed5644bcff6eb995370798a5bb33a7b309e5ea15831959e93db20183d24c2a35b95e36bda870e8df6f4e584416f9dc5010c75a99bbf00ff504"
+5 -5
packages/mirage-monitoring/mirage-monitoring.0.0.2/opam
···
opam-version: "2.0"
maintainer: "Robur <team@robur.coop>"
authors: ["Robur <team@robur.coop>"]
-
homepage: "https://github.com/roburio/mirage-monitoring"
-
doc: "https://roburio.github.io/mirage-monitoring"
-
dev-repo: "git+https://github.com/roburio/mirage-monitoring.git"
-
bug-reports: "https://github.com/roburio/mirage-monitoring/issues"
license: "AGPL-3.0-only"
depends: [
···
"""
url {
src:
-
"https://github.com/roburio/mirage-monitoring/releases/download/v0.0.2/mirage-monitoring-0.0.2.tbz"
checksum: [
"sha256=8de98abda5e9cf202c2cfe0494faa9822726b3dfb262bc0eef444fc0ca4873c6"
"sha512=c48950425733175aa9b48b57b34329be0cfb7aeb8a0f98e07def5f0e2be21f65ebdf9ab2782c21eeb56f7a64f30caef7e332941c649516a889763a95540dd49a"
···
opam-version: "2.0"
maintainer: "Robur <team@robur.coop>"
authors: ["Robur <team@robur.coop>"]
+
homepage: "https://github.com/robur-coop/mirage-monitoring"
+
doc: "https://robur-coop.github.io/mirage-monitoring"
+
dev-repo: "git+https://github.com/robur-coop/mirage-monitoring.git"
+
bug-reports: "https://github.com/robur-coop/mirage-monitoring/issues"
license: "AGPL-3.0-only"
depends: [
···
"""
url {
src:
+
"https://github.com/robur-coop/mirage-monitoring/releases/download/v0.0.2/mirage-monitoring-0.0.2.tbz"
checksum: [
"sha256=8de98abda5e9cf202c2cfe0494faa9822726b3dfb262bc0eef444fc0ca4873c6"
"sha512=c48950425733175aa9b48b57b34329be0cfb7aeb8a0f98e07def5f0e2be21f65ebdf9ab2782c21eeb56f7a64f30caef7e332941c649516a889763a95540dd49a"
+5 -5
packages/mirage-monitoring/mirage-monitoring.0.0.3/opam
···
opam-version: "2.0"
maintainer: "Robur <team@robur.coop>"
authors: ["Robur <team@robur.coop>"]
-
homepage: "https://github.com/roburio/mirage-monitoring"
-
doc: "https://roburio.github.io/mirage-monitoring"
-
dev-repo: "git+https://github.com/roburio/mirage-monitoring.git"
-
bug-reports: "https://github.com/roburio/mirage-monitoring/issues"
license: "AGPL-3.0-only"
depends: [
···
"""
url {
src:
-
"https://github.com/roburio/mirage-monitoring/releases/download/v0.0.3/mirage-monitoring-0.0.3.tbz"
checksum: [
"sha256=89b588f8100dcb8791a898454eaf80bdbb1732bbf4050d7434f90ba242fabe20"
"sha512=821b6bf9f8c3c530e3e3f730cca813caefe53614145ec6b4c99099159ccc08d5633517d17a02c12a18d5bd427c09e9d483e9ff28d6494228ed9df40f6b8e5fd4"
···
opam-version: "2.0"
maintainer: "Robur <team@robur.coop>"
authors: ["Robur <team@robur.coop>"]
+
homepage: "https://github.com/robur-coop/mirage-monitoring"
+
doc: "https://robur-coop.github.io/mirage-monitoring"
+
dev-repo: "git+https://github.com/robur-coop/mirage-monitoring.git"
+
bug-reports: "https://github.com/robur-coop/mirage-monitoring/issues"
license: "AGPL-3.0-only"
depends: [
···
"""
url {
src:
+
"https://github.com/robur-coop/mirage-monitoring/releases/download/v0.0.3/mirage-monitoring-0.0.3.tbz"
checksum: [
"sha256=89b588f8100dcb8791a898454eaf80bdbb1732bbf4050d7434f90ba242fabe20"
"sha512=821b6bf9f8c3c530e3e3f730cca813caefe53614145ec6b4c99099159ccc08d5633517d17a02c12a18d5bd427c09e9d483e9ff28d6494228ed9df40f6b8e5fd4"
+5 -5
packages/mirage-monitoring/mirage-monitoring.0.0.4/opam
···
opam-version: "2.0"
maintainer: "Robur <team@robur.coop>"
authors: ["Robur <team@robur.coop>"]
-
homepage: "https://github.com/roburio/mirage-monitoring"
-
doc: "https://roburio.github.io/mirage-monitoring"
-
dev-repo: "git+https://github.com/roburio/mirage-monitoring.git"
-
bug-reports: "https://github.com/roburio/mirage-monitoring/issues"
license: "AGPL-3.0-only"
depends: [
···
"""
url {
src:
-
"https://github.com/roburio/mirage-monitoring/releases/download/v0.0.4/mirage-monitoring-0.0.4.tbz"
checksum: [
"sha256=8e0bec0ea98fd029684adef9269d05df1ffe22294d71e4eca35476871460a96e"
"sha512=7f80dd59fba8c7e1553fedb3534606b4fad1211c2883e34715c5129da8c08aef255f9eebd8956e6766cba674bdd6130bfcda8971552b2894f99d43caf762854f"
···
opam-version: "2.0"
maintainer: "Robur <team@robur.coop>"
authors: ["Robur <team@robur.coop>"]
+
homepage: "https://github.com/robur-coop/mirage-monitoring"
+
doc: "https://robur-coop.github.io/mirage-monitoring"
+
dev-repo: "git+https://github.com/robur-coop/mirage-monitoring.git"
+
bug-reports: "https://github.com/robur-coop/mirage-monitoring/issues"
license: "AGPL-3.0-only"
depends: [
···
"""
url {
src:
+
"https://github.com/robur-coop/mirage-monitoring/releases/download/v0.0.4/mirage-monitoring-0.0.4.tbz"
checksum: [
"sha256=8e0bec0ea98fd029684adef9269d05df1ffe22294d71e4eca35476871460a96e"
"sha512=7f80dd59fba8c7e1553fedb3534606b4fad1211c2883e34715c5129da8c08aef255f9eebd8956e6766cba674bdd6130bfcda8971552b2894f99d43caf762854f"
+3 -3
packages/oneffs/oneffs.0.1.0/opam
···
opam-version: "2.0"
maintainer: [ "Reynir Björnsson <reynir@reynir.dk>" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" ]
-
homepage: "https://git.robur.io/reynir/oneffs"
-
bug-reports: "https://git.robur.io/reynir/oneffs/issues"
-
dev-repo: "git+https://git.robur.io/reynir/oneffs.git"
license: "ISC"
synopsis: "One-file filesystem is a filesystem for storing a single unnamed file"
description: """
···
opam-version: "2.0"
maintainer: [ "Reynir Björnsson <reynir@reynir.dk>" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" ]
+
homepage: "https://git.robur.coop/reynir/oneffs"
+
bug-reports: "https://git.robur.coop/reynir/oneffs/issues"
+
dev-repo: "git+https://git.robur.coop/reynir/oneffs.git"
license: "ISC"
synopsis: "One-file filesystem is a filesystem for storing a single unnamed file"
description: """
+4 -4
packages/opam-graph/opam-graph.0.1.1/opam
···
maintainer: "Robur <team@robur.coop>"
authors: "Robur <team@robur.coop>"
license: "ISC"
-
homepage: "https://git.robur.io/robur/opam-graph"
-
bug-reports: "https://github.com/roburio/opam-graph/issues"
depends: [
"ocaml" {>= "4.08.0"}
"dune" {>= "2.0.0"}
···
["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"}
]
-
dev-repo: "git+https://git.robur.io/robur/opam-graph.git"
url {
src:
-
"https://git.robur.io/attachments/aabe0e23-c411-4747-a44e-62e33f7f0658"
checksum: [
"sha512=33e76715684b9f34f97f34a3033975beafa3cbcf88a861e937b80b6c4b08d4dd9b2aa1f7da51830a44166ae519c9a6c3f695c9b9af5583e17140359e0de1d73e"
]
···
maintainer: "Robur <team@robur.coop>"
authors: "Robur <team@robur.coop>"
license: "ISC"
+
homepage: "https://git.robur.coop/robur/opam-graph"
+
bug-reports: "https://github.com/robur-coop/opam-graph/issues"
depends: [
"ocaml" {>= "4.08.0"}
"dune" {>= "2.0.0"}
···
["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"}
]
+
dev-repo: "git+https://git.robur.coop/robur/opam-graph.git"
url {
src:
+
"https://git.robur.coop/attachments/aabe0e23-c411-4747-a44e-62e33f7f0658"
checksum: [
"sha512=33e76715684b9f34f97f34a3033975beafa3cbcf88a861e937b80b6c4b08d4dd9b2aa1f7da51830a44166ae519c9a6c3f695c9b9af5583e17140359e0de1d73e"
]
+6 -6
packages/pf-qubes/pf-qubes.0.1.0/opam
···
opam-version: "2.0"
synopsis: "QubesOS firewall ruleset handling library"
-
maintainer: "team@robur.io"
authors: ["Robur.coop"]
-
homepage: "https://github.com/roburio/ocaml-pf"
-
bug-reports: "https://github.com/roburio/ocaml-pf/issues"
-
dev-repo: "git+https://github.com/roburio/ocaml-pf.git#just-qubes"
-
doc: "https://roburio.github.io/ocaml-pf/just-qubes/"
license: "AGPL-3.0-only"
tags: "org:mirage"
···
"""
url {
src:
-
"https://github.com/roburio/ocaml-pf/releases/download/v0.1.0/pf-qubes-v0.1.0.tbz"
checksum: [
"sha256=30064f5dc4bd5f53df0e30085c48ab1ac8a5987c760effd68ef432de1afb0b06"
"sha512=59c4bd27a54fad2ba45d0aacb2217fd358011e4cec302b951ece1a8f150d57ef4571d6f7c8fbaed4e3ad05a41bd5b17dd2f21dbbf6bb1bdd14ddb4f2c4795e6e"
···
opam-version: "2.0"
synopsis: "QubesOS firewall ruleset handling library"
+
maintainer: "team@robur.coop"
authors: ["Robur.coop"]
+
homepage: "https://github.com/robur-coop/ocaml-pf"
+
bug-reports: "https://github.com/robur-coop/ocaml-pf/issues"
+
dev-repo: "git+https://github.com/robur-coop/ocaml-pf.git#just-qubes"
+
doc: "https://robur-coop.github.io/ocaml-pf/just-qubes/"
license: "AGPL-3.0-only"
tags: "org:mirage"
···
"""
url {
src:
+
"https://github.com/robur-coop/ocaml-pf/releases/download/v0.1.0/pf-qubes-v0.1.0.tbz"
checksum: [
"sha256=30064f5dc4bd5f53df0e30085c48ab1ac8a5987c760effd68ef432de1afb0b06"
"sha512=59c4bd27a54fad2ba45d0aacb2217fd358011e4cec302b951ece1a8f150d57ef4571d6f7c8fbaed4e3ad05a41bd5b17dd2f21dbbf6bb1bdd14ddb4f2c4795e6e"
+6 -6
packages/pf-qubes/pf-qubes.0.1.1/opam
···
opam-version: "2.0"
synopsis: "QubesOS firewall ruleset handling library"
-
maintainer: "team@robur.io"
authors: ["Robur.coop"]
-
homepage: "https://github.com/roburio/ocaml-pf"
-
bug-reports: "https://github.com/roburio/ocaml-pf/issues"
-
dev-repo: "git+https://github.com/roburio/ocaml-pf.git#just-qubes"
-
doc: "https://roburio.github.io/ocaml-pf/just-qubes/"
license: "AGPL-3.0-only"
tags: "org:mirage"
···
"""
url {
src:
-
"https://github.com/roburio/ocaml-pf/releases/download/v0.1.1/pf-qubes-v0.1.1.tbz"
checksum: [
"sha256=4e21b305a83a5e4e4972d776298a05b4a9a177c8ad5a232f88654eed2909a7cf"
"sha512=a89295829a6b794dcd79a5d3092f92b77c67ecdb802a86beece6a93bdb24d3d5813e12c48f1d214d798d3e826c129cd14e8e77d6f23968a891b91cce0685100c"
···
opam-version: "2.0"
synopsis: "QubesOS firewall ruleset handling library"
+
maintainer: "team@robur.coop"
authors: ["Robur.coop"]
+
homepage: "https://github.com/robur-coop/ocaml-pf"
+
bug-reports: "https://github.com/robur-coop/ocaml-pf/issues"
+
dev-repo: "git+https://github.com/robur-coop/ocaml-pf.git#just-qubes"
+
doc: "https://robur-coop.github.io/ocaml-pf/just-qubes/"
license: "AGPL-3.0-only"
tags: "org:mirage"
···
"""
url {
src:
+
"https://github.com/robur-coop/ocaml-pf/releases/download/v0.1.1/pf-qubes-v0.1.1.tbz"
checksum: [
"sha256=4e21b305a83a5e4e4972d776298a05b4a9a177c8ad5a232f88654eed2909a7cf"
"sha512=a89295829a6b794dcd79a5d3092f92b77c67ecdb802a86beece6a93bdb24d3d5813e12c48f1d214d798d3e826c129cd14e8e77d6f23968a891b91cce0685100c"
+4 -4
packages/ppx_lun/ppx_lun.0.0.1/opam
···
authors: ["Romain Calascibetta <romain.calascibetta@gmail.com>"]
license: "MIT"
tags: ["ppx" "optics"]
-
homepage: "https://git.robur.io/robur/lun"
-
bug-reports: "https://git.robur.io/robur/lun/issues"
-
dev-repo: "git+https://github.com/roburio/lun.git"
synopsis: "Optics with lun package and PPX"
build: [
···
]
url {
src:
-
"https://github.com/roburio/lun/releases/download/v0.0.1/lun-0.0.1.tbz"
checksum: [
"sha256=cca8badff83b470fdcfb1840116f8e8a6f2cb86cde2f44ed28cf26cbf692a793"
"sha512=fdded797a6a89f2900a9a2676ad096dd6e5a37833d7a30702e55276f5e01f62da190df0385e721abd0619e3461902b007074e3c92b4283c8f9e325f6f6fb8e17"
···
authors: ["Romain Calascibetta <romain.calascibetta@gmail.com>"]
license: "MIT"
tags: ["ppx" "optics"]
+
homepage: "https://git.robur.coop/robur/lun"
+
bug-reports: "https://git.robur.coop/robur/lun/issues"
+
dev-repo: "git+https://github.com/robur-coop/lun.git"
synopsis: "Optics with lun package and PPX"
build: [
···
]
url {
src:
+
"https://github.com/robur-coop/lun/releases/download/v0.0.1/lun-0.0.1.tbz"
checksum: [
"sha256=cca8badff83b470fdcfb1840116f8e8a6f2cb86cde2f44ed28cf26cbf692a793"
"sha512=fdded797a6a89f2900a9a2676ad096dd6e5a37833d7a30702e55276f5e01f62da190df0385e721abd0619e3461902b007074e3c92b4283c8f9e325f6f6fb8e17"
+5 -5
packages/solo5-elftool/solo5-elftool.0.1.0/opam
···
opam-version: "2.0"
-
homepage: "https://github.com/roburio/ocaml-solo5-elftool"
-
dev-repo: "git+https://github.com/roburio/ocaml-solo5-elftool.git"
-
bug-reports: "https://github.com/roburio/ocaml-solo5-elftool/issues"
-
doc: "https://roburio.github.io/ocaml-solo5-elftool/doc"
maintainer: "team@robur.coop"
authors: [ "Reynir Björnsson <reynir@reynir.dk>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
-
"https://github.com/roburio/ocaml-solo5-elftool/releases/download/v0.1.0/solo5-elftool-0.1.0.tbz"
checksum: [
"sha256=1581449e71f79bd150bb4d1d928f046c844a8045be210721fd1d4d8bb5b27767"
"sha512=c70f8eb00a910bfc2ada4a7467a6e52490adb54c99ad23d0430e696b83ad05e2bbb6c7df24134f9a5f3be9938767b352a043119b8035b12d571cda1642a30891"
···
opam-version: "2.0"
+
homepage: "https://github.com/robur-coop/ocaml-solo5-elftool"
+
dev-repo: "git+https://github.com/robur-coop/ocaml-solo5-elftool.git"
+
bug-reports: "https://github.com/robur-coop/ocaml-solo5-elftool/issues"
+
doc: "https://robur-coop.github.io/ocaml-solo5-elftool/doc"
maintainer: "team@robur.coop"
authors: [ "Reynir Björnsson <reynir@reynir.dk>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
+
"https://github.com/robur-coop/ocaml-solo5-elftool/releases/download/v0.1.0/solo5-elftool-0.1.0.tbz"
checksum: [
"sha256=1581449e71f79bd150bb4d1d928f046c844a8045be210721fd1d4d8bb5b27767"
"sha512=c70f8eb00a910bfc2ada4a7467a6e52490adb54c99ad23d0430e696b83ad05e2bbb6c7df24134f9a5f3be9938767b352a043119b8035b12d571cda1642a30891"
+5 -5
packages/solo5-elftool/solo5-elftool.0.2.0/opam
···
opam-version: "2.0"
-
homepage: "https://git.robur.io/robur/ocaml-solo5-elftool"
-
dev-repo: "git+https://git.robur.io/robur/ocaml-solo5-elftool.git"
-
bug-reports: "https://github.com/roburio/ocaml-solo5-elftool/issues"
-
doc: "https://roburio.github.io/ocaml-solo5-elftool/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
-
"https://github.com/roburio/ocaml-solo5-elftool/releases/download/v0.2.0/solo5-elftool-0.2.0.tbz"
checksum: [
"sha256=fb09e45777ed2aa49e0adb7e9ba974c8f15c6ff8fbee301bf0a16e2364906b83"
"sha512=3eb434f1bce11e5f14708cb64a8bcc97d17656df3dadf53f398821fa2fb7354996d6ae064cff0b9c98143c6e41393ba2f273083f771bfaa98c6e62ef0053d288"
···
opam-version: "2.0"
+
homepage: "https://git.robur.coop/robur/ocaml-solo5-elftool"
+
dev-repo: "git+https://git.robur.coop/robur/ocaml-solo5-elftool.git"
+
bug-reports: "https://github.com/robur-coop/ocaml-solo5-elftool/issues"
+
doc: "https://robur-coop.github.io/ocaml-solo5-elftool/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
+
"https://github.com/robur-coop/ocaml-solo5-elftool/releases/download/v0.2.0/solo5-elftool-0.2.0.tbz"
checksum: [
"sha256=fb09e45777ed2aa49e0adb7e9ba974c8f15c6ff8fbee301bf0a16e2364906b83"
"sha512=3eb434f1bce11e5f14708cb64a8bcc97d17656df3dadf53f398821fa2fb7354996d6ae064cff0b9c98143c6e41393ba2f273083f771bfaa98c6e62ef0053d288"
+5 -5
packages/solo5-elftool/solo5-elftool.0.3.0/opam
···
opam-version: "2.0"
-
homepage: "https://git.robur.io/robur/ocaml-solo5-elftool"
-
dev-repo: "git+https://git.robur.io/robur/ocaml-solo5-elftool.git"
-
bug-reports: "https://github.com/roburio/ocaml-solo5-elftool/issues"
-
doc: "https://roburio.github.io/ocaml-solo5-elftool/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
-
"https://github.com/roburio/ocaml-solo5-elftool/releases/download/v0.3.0/solo5-elftool-0.3.0.tbz"
checksum: [
"sha256=72eeec01675fef461bce4d49d860fdf893e281b142b9018504ccbec5c3552c7e"
"sha512=3fc15772be393ed24db98fa428e24377f6f38d50fa57e2de9bb6ec614ba2120b7cce8cf1c12bcb297c901f4645cc1a278c5487e49b5e64e2946a1982209b321e"
···
opam-version: "2.0"
+
homepage: "https://git.robur.coop/robur/ocaml-solo5-elftool"
+
dev-repo: "git+https://git.robur.coop/robur/ocaml-solo5-elftool.git"
+
bug-reports: "https://github.com/robur-coop/ocaml-solo5-elftool/issues"
+
doc: "https://robur-coop.github.io/ocaml-solo5-elftool/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
+
"https://github.com/robur-coop/ocaml-solo5-elftool/releases/download/v0.3.0/solo5-elftool-0.3.0.tbz"
checksum: [
"sha256=72eeec01675fef461bce4d49d860fdf893e281b142b9018504ccbec5c3552c7e"
"sha512=3fc15772be393ed24db98fa428e24377f6f38d50fa57e2de9bb6ec614ba2120b7cce8cf1c12bcb297c901f4645cc1a278c5487e49b5e64e2946a1982209b321e"
+5 -5
packages/solo5-elftool/solo5-elftool.0.3.1/opam
···
opam-version: "2.0"
-
homepage: "https://git.robur.io/robur/ocaml-solo5-elftool"
-
dev-repo: "git+https://git.robur.io/robur/ocaml-solo5-elftool.git"
-
bug-reports: "https://github.com/roburio/ocaml-solo5-elftool/issues"
-
doc: "https://roburio.github.io/ocaml-solo5-elftool/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
-
"https://github.com/roburio/ocaml-solo5-elftool/releases/download/v0.3.1/solo5-elftool-0.3.1.tbz"
checksum: [
"sha256=8e8186f006c634fe5a7822f10aead39db7b36d540dbb17a67550252cfcbace8e"
"sha512=6911a3786c7255973a77ac9ff3da913d751d981a1841b349ae0b2cbf6bd31257912adba8fd270b4354d4ab2344241e1e7644e3d2d3d32a4920ccc4d137462bd7"
···
opam-version: "2.0"
+
homepage: "https://git.robur.coop/robur/ocaml-solo5-elftool"
+
dev-repo: "git+https://git.robur.coop/robur/ocaml-solo5-elftool.git"
+
bug-reports: "https://github.com/robur-coop/ocaml-solo5-elftool/issues"
+
doc: "https://robur-coop.github.io/ocaml-solo5-elftool/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
+
"https://github.com/robur-coop/ocaml-solo5-elftool/releases/download/v0.3.1/solo5-elftool-0.3.1.tbz"
checksum: [
"sha256=8e8186f006c634fe5a7822f10aead39db7b36d540dbb17a67550252cfcbace8e"
"sha512=6911a3786c7255973a77ac9ff3da913d751d981a1841b349ae0b2cbf6bd31257912adba8fd270b4354d4ab2344241e1e7644e3d2d3d32a4920ccc4d137462bd7"
+5 -5
packages/u2f/u2f.0.1.0/opam
···
opam-version: "2.0"
-
homepage: "https://github.com/roburio/u2f"
-
dev-repo: "git+https://github.com/roburio/u2f.git"
-
bug-reports: "https://github.com/roburio/u2f/issues"
-
doc: "https://roburio.github.io/u2f/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" "Hannes Mehnert <hannes@mehnert.org>" ]
license: "BSD-2-Clause"
···
x-commit-hash: "1f0c245c2bbae07df5e078e7b93d30da4cc35b6b"
url {
src:
-
"https://github.com/roburio/u2f/releases/download/v0.1.0/u2f-v0.1.0.tbz"
checksum: [
"sha256=a3b8df1ea2cc50807f29261425fcaa048147c86e30e079093efc1617c1902d93"
"sha512=45733ddba0b86e89dad9c2a9b42c4da985f41f716dce33d9683a6ddc730a21c0a18fa4cf8a1a1ff52c6ea7f80bdd9a67ce76d14078304639e0da8521677e9437"
···
opam-version: "2.0"
+
homepage: "https://github.com/robur-coop/u2f"
+
dev-repo: "git+https://github.com/robur-coop/u2f.git"
+
bug-reports: "https://github.com/robur-coop/u2f/issues"
+
doc: "https://robur-coop.github.io/u2f/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" "Hannes Mehnert <hannes@mehnert.org>" ]
license: "BSD-2-Clause"
···
x-commit-hash: "1f0c245c2bbae07df5e078e7b93d30da4cc35b6b"
url {
src:
+
"https://github.com/robur-coop/u2f/releases/download/v0.1.0/u2f-v0.1.0.tbz"
checksum: [
"sha256=a3b8df1ea2cc50807f29261425fcaa048147c86e30e079093efc1617c1902d93"
"sha512=45733ddba0b86e89dad9c2a9b42c4da985f41f716dce33d9683a6ddc730a21c0a18fa4cf8a1a1ff52c6ea7f80bdd9a67ce76d14078304639e0da8521677e9437"
+5 -5
packages/u2f/u2f.0.1.1/opam
···
opam-version: "2.0"
-
homepage: "https://github.com/roburio/u2f"
-
dev-repo: "git+https://github.com/roburio/u2f.git"
-
bug-reports: "https://github.com/roburio/u2f/issues"
-
doc: "https://roburio.github.io/u2f/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" "Hannes Mehnert <hannes@mehnert.org>" ]
license: "BSD-2-Clause"
···
x-commit-hash: "0c16a7fce67f4500b3ba68dfe5ffdbdb1df091bf"
url {
src:
-
"https://github.com/roburio/u2f/releases/download/v0.1.1/u2f-v0.1.1.tbz"
checksum: [
"sha256=e122725cdcd6245301e5c28d7cf5bc013e0e8e01c7f34767d135e33a6a57fe98"
"sha512=e563a61ecb5748fc6409f227b2dec5ecd0181cc2676ee59e765b59b23453c8cc08fe1f917e9b28b2c8465b7f2c0cb2745a389bef752ca2707449344bd616163d"
···
opam-version: "2.0"
+
homepage: "https://github.com/robur-coop/u2f"
+
dev-repo: "git+https://github.com/robur-coop/u2f.git"
+
bug-reports: "https://github.com/robur-coop/u2f/issues"
+
doc: "https://robur-coop.github.io/u2f/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" "Hannes Mehnert <hannes@mehnert.org>" ]
license: "BSD-2-Clause"
···
x-commit-hash: "0c16a7fce67f4500b3ba68dfe5ffdbdb1df091bf"
url {
src:
+
"https://github.com/robur-coop/u2f/releases/download/v0.1.1/u2f-v0.1.1.tbz"
checksum: [
"sha256=e122725cdcd6245301e5c28d7cf5bc013e0e8e01c7f34767d135e33a6a57fe98"
"sha512=e563a61ecb5748fc6409f227b2dec5ecd0181cc2676ee59e765b59b23453c8cc08fe1f917e9b28b2c8465b7f2c0cb2745a389bef752ca2707449344bd616163d"
+5 -5
packages/u2f/u2f.0.1.2/opam
···
opam-version: "2.0"
-
homepage: "https://github.com/roburio/u2f"
-
dev-repo: "git+https://github.com/roburio/u2f.git"
-
bug-reports: "https://github.com/roburio/u2f/issues"
-
doc: "https://roburio.github.io/u2f/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" "Hannes Mehnert <hannes@mehnert.org>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
-
"https://github.com/roburio/u2f/releases/download/v0.1.2/u2f-0.1.2.tbz"
checksum: [
"sha256=37b31e6636745172a3d4bce6152dafe497da4ca4e90b582cbfa74bfcf94f621e"
"sha512=dd0e3535eefa3bd30aa2508ab46055baec580d3c5f8924adba5a92b7ac09e4af0a329f2b8f56c4a0691b71109c86ef3ee5b25337d5ffe11b1496250eeaa24e98"
···
opam-version: "2.0"
+
homepage: "https://github.com/robur-coop/u2f"
+
dev-repo: "git+https://github.com/robur-coop/u2f.git"
+
bug-reports: "https://github.com/robur-coop/u2f/issues"
+
doc: "https://robur-coop.github.io/u2f/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" "Hannes Mehnert <hannes@mehnert.org>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
+
"https://github.com/robur-coop/u2f/releases/download/v0.1.2/u2f-0.1.2.tbz"
checksum: [
"sha256=37b31e6636745172a3d4bce6152dafe497da4ca4e90b582cbfa74bfcf94f621e"
"sha512=dd0e3535eefa3bd30aa2508ab46055baec580d3c5f8924adba5a92b7ac09e4af0a329f2b8f56c4a0691b71109c86ef3ee5b25337d5ffe11b1496250eeaa24e98"
+5 -5
packages/webauthn/webauthn.0.1.0/opam
···
opam-version: "2.0"
-
homepage: "https://github.com/roburio/webauthn"
-
dev-repo: "git+https://github.com/roburio/webauthn.git"
-
bug-reports: "https://github.com/roburio/webauthn/issues"
-
doc: "https://roburio.github.io/webauthn/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" "Hannes Mehnert <hannes@mehnert.org>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
-
"https://github.com/roburio/webauthn/releases/download/v0.1.0/webauthn-0.1.0.tbz"
checksum: [
"sha256=c9082576c49d34f49884c361afb5f856b82ff7066d1d6f3b3d03c41314449701"
"sha512=a7e9e41be396ce7bd4a201eac693be725827208d92fabd90201b23b7657599b6a5cd82592758db9e7d2d9401b5e17b8d19f6a4fc74a01deb9cb6c3bd26e99a51"
···
opam-version: "2.0"
+
homepage: "https://github.com/robur-coop/webauthn"
+
dev-repo: "git+https://github.com/robur-coop/webauthn.git"
+
bug-reports: "https://github.com/robur-coop/webauthn/issues"
+
doc: "https://robur-coop.github.io/webauthn/doc"
maintainer: [ "team@robur.coop" ]
authors: [ "Reynir Björnsson <reynir@reynir.dk>" "Hannes Mehnert <hannes@mehnert.org>" ]
license: "BSD-2-Clause"
···
"""
url {
src:
+
"https://github.com/robur-coop/webauthn/releases/download/v0.1.0/webauthn-0.1.0.tbz"
checksum: [
"sha256=c9082576c49d34f49884c361afb5f856b82ff7066d1d6f3b3d03c41314449701"
"sha512=a7e9e41be396ce7bd4a201eac693be725827208d92fabd90201b23b7657599b6a5cd82592758db9e7d2d9401b5e17b8d19f6a4fc74a01deb9cb6c3bd26e99a51"