this repo has no description

bare_encoding.0.1: Add missing dev-repo and remove redundant constraint

Kate aaa08901 31a5a235

Changed files
+2 -2
packages
bare_encoding
bare_encoding.0.1
+2 -2
packages/bare_encoding/bare_encoding.0.1/opam
···
-
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "BARE encoding, see https://baremessages.org/"
maintainer: ["simon cruanes"]
···
tags: ["encoding" "binary" "bare"]
homepage: "https://github.com/c-cube/bare-ocaml"
bug-reports: "https://github.com/c-cube/bare-ocaml/issues"
+
dev-repo: "git+https://github.com/c-cube/bare-ocaml.git"
depends: [
-
"dune" {>= "2.8" & >= "2.5"}
+
"dune" {>= "2.8"}
"ocaml" {>= "4.08"}
"qtest" {with-test & >= "2.10"}
"odoc" {with-doc}